check that polylib is recent enough to correctly compute validity domains
commit190380504127b5376c888477b44babb6228baa8c
authorskimo <skimo>
Mon, 23 Aug 2004 20:48:21 +0000 (23 20:48 +0000)
committerskimo <skimo>
Mon, 23 Aug 2004 20:48:21 +0000 (23 20:48 +0000)
treeedb28b436490d14199f906f1af4ea97691fdfda4
parent05bf26a22137ec26c3a94ca5d7cb70bf68f26051
check that polylib is recent enough to correctly compute validity domains
configure.in