configure: allow specification of exec-prefix of PolyLib installation
commitf9bc39531b35a34a6e16989a031d3c387ed40839
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 15 Sep 2007 14:40:18 +0000 (15 16:40 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 15 Sep 2007 14:40:18 +0000 (15 16:40 +0200)
tree16ab34406738eb0a2ccd539b6fbe3a7c408dc2f1
parentf8036e51d55e1aa422b4b744c5ea62de54e2bd5c
configure: allow specification of exec-prefix of PolyLib installation

This should cover the other use of b5fef7e7bf54802c428ecd19377e8aa4685790a2,
which was remove by f8036e51d55e1aa422b4b744c5ea62de54e2bd5c.
configure.in