It is not possible to get the list of supported options from the Equelle compiler without giving a input equelle file.
E.g.
./ec -h (or ./ec --help) gives Error parsing options: missing required option input
but the user is likely to type exactly that in order to find out how to specify input.
./ec -h -i myFile.equelle prints the compiler options correctly though.
It is not possible to get the list of supported options from the Equelle compiler without giving a input equelle file.
E.g.
./ec -h(or./ec --help) givesError parsing options: missing required option inputbut the user is likely to type exactly that in order to find out how to specify input.
./ec -h -i myFile.equelleprints the compiler options correctly though.