---
name: "cduce_mktop"
section: "1"
platform: "linux"
package: "cduce"
version: "0.6.0-5+b6"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/cduce_mktop"
---

# cduce\_mktop(1)

Produce a customized CDuce toplevel/compiler.

## 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\>.**