This is the command cduce_mktop that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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>.
cduce_mktop(1)
Use cduce_mktop online using onworks.net services