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