let help () =
print_string ("
NAME
cf - Confluence compiler
SYNOPSIS
cf [options] [file] [arguments]
DESCRIPTION
Confluence is a functional programming language for reactive system design, including
digital logic systems (ASIC, FPGA) and control oriented hard real-time software.
The Confluence compiler (cf) translates a Confluence description into
Verilog and VHDL (for digital logic synthesis), C (for simulation and
software targets), and NuSMV (for formal verification, via model checking).
OPTIONS
-h OR -help
Prints this information then exits.
-b filename OR -base_env filename
Sets the base environment for the compilation. Overrides the CF_ENV
environment variable. If CF_ENV not defined and -base_env option not
set, the base environment defaults to /usr/share/confluence/base.cf.
-e integer OR -error_limit integer
Sets the maximum number of reported errors. A negative number
reports all errors.
-c OR -compile_only
Parses and compiles, but does not evaluate a program.
-o name
Sets the output file name. Default is out.fnf.
-test
Run the built in unit tests.
ENVIRONMENT VARIABLES
CF_ENV
A filename that specifies the base environment (commonly base.cf).
CF_LIB
The directory location of the Confluence standard library (optional).
VERSION
" ^ Version.version ^ "
AUTHOR
Tom Hawkins (tomahawkins@yahoo.com)
SEE ALSO
http://www.confluent.org/
COPYRIGHT
Copyright (C) 2003-2005 Tom Hawkins
");
print_newline ();
exit 0