MANPAGES
Skip Quicknav
Index
About Manpages
FAQ
Service Information
/
jessie
/
cduce
/ cduce_mktop(1)
links
language-indep link
package tracker
raw man page
table of contents
NAME
SYNOPSIS
Description
Author
other versions
jessie
0.6.0-1
stretch
0.6.0-5+b6
unstable
0.6.0-5+b7
Scroll to navigation
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>.