---
name: "cf"
section: "1"
platform: "linux"
package: "confluence"
version: "0.10.6-7+b1"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/cf"
---

# cf(1)

### 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

**0.10.6**

### AUTHOR

**Tom Hawkins (tomahawkins@yahoo.com)**

### SEE ALSO

**http://www.confluent.org/**

### COPYRIGHT

**Copyright (C) 2003-2005 Tom Hawkins**