Man pages sections > man1 > cduce_mktop

cduce_mktop — Produce a customized CDuce toplevel/compiler.

cduce_mktop(1) General Commands Manual cduce_mktop(1)

NAME

cduce_mktop — Produce a customized CDuce toplevel/compiler.

SYNOPSIS

cduce_mktop [target] [primitive file ]

Description

See the CDuce users' manual:
 
http://www.cduce.org/manual_interfacewithocaml.html#link.

Author

Alain Frisch <Alain.Frisch@ens.fr>.
Debian Sid