coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ocamlbuild plugin for exporting Ocaml from Coq

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Ocamlbuild plugin for exporting Ocaml from Coq
Date: Tue, 21 Jun 2016 10:16:16 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga11.intel.com
Ironport-phdr: 9a23:xOAcoBNoEj4g2Z1J5Zwl6mtUPXoX/o7sNwtQ0KIMzox0KPv6rarrMEGX3/hxlliBBdydsKMczbKO+Pi8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxj7j5o8GbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBO/xeL19RrhFBhwnNXo07Yvlr1OLGQCI/z4XVngcuhtOGQnMqh/gCMTfqCz/46BG3ySVIdfxVfR8fDWp765mTFWg3CIGPD4w/WWRkct9g75BpwqJphpjzoqSa4aQYqktNpjBdM8XEDISFv1aUDZMV9ux

Dear Coq Users,

I wonder if someone has a myocamlbuild.ml file to handle Coq files which export Ocaml code directly in an ocamlbuild project. I am aware of

https://github.com/maximedenes/native-coq/blob/master/myocamlbuild.ml

https://github.com/herbelin/coq-hh/blob/master/myocamlbuild.ml

but both seem to be made to build Coq itself using ocamlbuild and seem to be more complex than required for the simpler task of using Coq in an Ocaml project.

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Ocamlbuild plugin for exporting Ocaml from Coq, Soegtrop, Michael, 06/21/2016