-
Alejandro Homs Puron authored
* Better command line option management: --no-xxxx is equivalent to --xxxx=no * Installation is now optional, the default is 'no', if --install-prefix is specified, then --install will be assumed
c6a7e6a4
* Better command line option management: --no-xxxx is equivalent to --xxxx=no * Installation is now optional, the default is 'no', if --install-prefix is specified, then --install will be assumed