Allow the use of --with-ppl without parameter
commit9da78e5d9fa54a03d7fc4e97dc4b6592b7c633f9
authorSebastian Pop <sebpop@gmail.com>
Thu, 9 Apr 2009 08:18:50 +0000 (9 03:18 -0500)
committerSebastian Pop <sebpop@gmail.com>
Thu, 9 Apr 2009 08:18:50 +0000 (9 03:18 -0500)
treef55692a8ceca28d4475a295d81fc7489c0829f93
parenta684ffddff465cde366ab57c1c22c2a3e4b535f1
Allow the use of --with-ppl without parameter

2009-04-06  Dodji Seketeli <dodji@redhat.com>

* configure.in: When --with-ppl is supplied without
any path, consider that the ppl library is installed
at the default system prefix. Otherwise, with
--with-ppl=/some/path is specified, take the
/some/path in account.
configure.in