English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
mkcamlp4 question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-04-02 (02:23)
From: Andrew I. Schein <andrew@a...>
Subject: mkcamlp4 question
Does anyone have a working example of mkcamlp4  in use for ocaml 3.10.2?  I
am having the following problem in attempting to turn 3.10 pa_bounds (
http://code.google.com/p/paboundsfor310/) into a standalone preprocessor.

ais@ubuntu:pa_bounds$ make exe
mkcamlp4 pa_bounds.cmo -o myp4
/opt/godi/lib/ocaml/std-lib/extract_crc -I
/opt/godi/lib/ocaml/std-lib/camlp4 -I . > /tmp/crc_4f3f26.ml
ocamlc -I /opt/godi/lib/ocaml/std-lib/camlp4 Camlp4.cma /tmp/crc_4f3f26.ml
-I . pa_bounds.cmo -o myp4 Camlp4Bin.cmo -linkall
Cannot find file Camlp4.cma
rm -f /tmp/crc_4f3f26.ml /tmp/crc_4f3f26.cmi /tmp/crc_4f3f26.cmo
Fatal error: exception Failure("Exit: 2")
make: *** [exe] Error 2

A search with "find" shows there is no Camlp4.cma in any subdirectory of the
ocaml installation, though there is a Camlp4.cmi.  Note that I did not put
the Camlp4.cma on the command line; this decision is made by mkcamlp4.

This error occurs both with GODI-installed OCaml in addition to standalone.



Andrew I. Schein

web: www.andrewschein.com