mkcamlp4 question

mkcamlp4 question

[Andrew I. Schein]

[-- Attachment #1: Type: text/plain, Size: 1038 bytes --]

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.

Thanks,

Andy


-- 
Andrew I. Schein

web: www.andrewschein.com

[-- Attachment #2: Type: text/html, Size: 1265 bytes --]

Re: [Caml-list] mkcamlp4 question

[Richard Jones]

On Tue, Apr 01, 2008 at 10:23:15PM -0400, Andrew I. Schein wrote:
> 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.

mkcamlp4 is broken in OCaml 3.10.x.

Rich.

-- 
Richard Jones
Red Hat