configure.in: pass path of GMP installation to PolyLib's configure
commit09e39bdf9e49dd9de60cd07574644ff049d4ba15
authorSven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>
Sat, 17 Nov 2007 14:31:48 +0000 (17 15:31 +0100)
committerSven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>
Sat, 17 Nov 2007 14:31:48 +0000 (17 15:31 +0100)
tree825a5445de1b749c136faeda320d919cd58b809b
parent8ea912ce69bb88bef146407674dfcbb360a41ea1
configure.in: pass path of GMP installation to PolyLib's configure

Before, we would only tell PolyLib that we wanted the GMP version
if no installation prefix for GMP was specified.
configure.in