Rechercher une page de manuel
cf
Langue: en
Version: November 24, 2007 (ubuntu - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
cf - Confluence compilerSYNOPSIS
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\fB-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
\fB-h OR -help Prints this information then exits.\fB-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 \fB-base_env option not set, the base environment defaults to /usr/share/confluence/base.cf.
\fB-e integer OR -error_limit integer
-
- Sets the maximum number of reported errors.
- A negative number reports all errors.
\fB-c OR -compile_only Parses and compiles, but does not evaluate a program.
\fB-o name
-
- Sets the output file name.
- Default is out.fnf.
\fB-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
0.10.6AUTHOR
Tom Hawkins (tomahawkins@yahoo.com)SEE ALSO
http://www.confluent.org/COPYRIGHT
Copyright (C) 2003\fB-2005 Tom HawkinsContenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre