[not loaded]All predicatesShow sourcesetup.pl

Source setup
Setup ClioPatria. This installs files *.in from the ClioPatria after localization and creates config-enabled.
Source 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-Xwithout(X)
--with-Xwith(X)
--Name=ValueName(Value)
--NameName(true)