[not loaded]setup.pl
- setup
- Setup ClioPatria. This installs files *.in from the ClioPatria after localization and creates config-enabled.
- options(-Options) is det[private]
- Options is a list of (long) commandline options. This uses a
simple generic conversion between command-line argument and
option value, defined as follows:
--without-X without(X)
--with-X with(X)
--Name=Value Name(Value) --Name Name(true)