cduce_mktop

cduce_mktop — Produce a customized CDuce toplevel/compiler.

cduce_mktop [target] [primitive file]

See the CDuce users’ manual:

http://www.cduce.org/manual_interfacewithocaml.html#link.

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