[PPL-devel] Option to disable build of demos?
Roberto Bagnara
bagnara at cs.unipr.it
Wed Oct 29 20:22:43 CET 2008
Michael Tautschnig wrote:
> Would it be possible to add a configure option to disable the build of the
> demos? If you prefer not to do so, just let me know such that we can add a
> Debian-specific patch.
>
> The reason here is that we don't see a real need for shipping the demos, and the
> introduce an otherwise not necessary dependency on glpk.
Dear Michael,
these options have been added:
$ configure --help
`configure' configures the Parma Polyhedra Library 0.10pre37 to adapt to many kinds of systems.
Usage: ./configure [OPTION]... [VAR=VALUE]...
[...]
--enable-ppl_lcdd build the ppl_lcdd program
--enable-ppl_lpsol build the ppl_lpsol program
[...]
So you can now say --disable-ppl_lcdd and --disable-ppl_lpsol.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
More information about the PPL-devel
mailing list