.\"Text automatically generated by txt2man
.TH cf 1 "02 December 2013" "" ""

.SS  NAME
\fBcf \fP- Confluence compiler
\fB
.SS  SYNOPSIS
.nf
.fam C
    \fBcf\fP [\fIoptions\fP] [\fIfile\fP] [\fIarguments\fP]

.fam T
.fi
.fam T
.fi
.SS  DESCRIPTION
Confluence is a functional programming language for reactive system design, including
digital logic systems (ASIC, FPGA) and control oriented hard real-time software.
.PP
The Confluence compiler (\fBcf\fP) 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).
.SS  OPTIONS
\fB-h\fP OR \fB-help\fP
Prints this information then exits.
.PP
\fB-b\fP filename OR \fB-base_env\fP filename
.RS
.TP
.B
Sets the base environment for the compilation.
Overrides the CF_ENV
.TP
.B
environment variable.
If CF_ENV not defined and \fB-base_env\fP option not
set, the base environment defaults to /usr/share/confluence/base.cf.
.RE
.PP
\fB-e\fP integer OR \fB-error_limit\fP integer
.RS
.TP
.B
Sets the maximum number of reported errors.
A negative number
reports all errors.
.RE
.PP
\fB-c\fP OR \fB-compile_only\fP
Parses and compiles, but does not evaluate a program.
.PP
\fB-o\fP name
.RS
.TP
.B
Sets the output \fIfile\fP name.
Default is out.fnf.
.RE
.PP
\fB-test\fP
Run the built in unit tests.
.SS  ENVIRONMENT VARIABLES
CF_ENV
A filename that specifies the base environment (commonly base.cf).
.PP
CF_LIB
The directory location of the Confluence standard library (optional).
.SS  VERSION
0.10.6
.SS  AUTHOR
Tom Hawkins (tomahawkins@yahoo.com)
.SS  SEE ALSO
http://www.confluent.org/
.SS  COPYRIGHT
Copyright (C) 2003-2005 Tom Hawkins
.RE
.PP