From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=HTML_10_20,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 52D69BBCA for ; Wed, 2 Apr 2008 04:23:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgYCAFqL8kdC+VLjc2dsb2JhbACCOzeOWAEMAwQFCRSUK4Yi X-IronPort-AV: E=Sophos;i="4.25,590,1199660400"; d="scan'208";a="24481356" Received: from wx-out-0506.google.com ([66.249.82.227]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Apr 2008 04:23:18 +0200 Received: by wx-out-0506.google.com with SMTP id h27so2321607wxd.15 for ; Tue, 01 Apr 2008 19:23:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; bh=VaXGP0qXh0sAYMt2WE1OR7oJiVMHacdIRr4TFaYqb/c=; b=Fsp7Tu4XRX4ePQl8iDXOU7v69h4EHaaOz97Uz3ckQj7mL2N6AQ+uVjHiPo7diiyuDsIIS/eJyLrAxXiCR6p5EImrxPCAVsEOPsQZ4WD/5fXfW2VYpdXQG2I3j0Az3Y6xKvIz86sxU9n9b6oSBGTYyS8SieqHADKzPlyXjGelVt0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; b=khNNu3GpqwuU9aTrMPDtwwD6oy8rL75w+6/NcAG0ZKFVF+tzrB3s/gkOZPU9Oog0MXAC0fxDJq+8BdKXa+7efWUOinnU5IuqNku9uBWUELoPRIFQedCBsbKVs4moJCvWoJPCJXYp9/j6j8TW9p9r0AZ2+QUjGOkbqh4Qd4DidhM= Received: by 10.140.165.21 with SMTP id n21mr3670395rve.289.1207102995799; Tue, 01 Apr 2008 19:23:15 -0700 (PDT) Received: by 10.140.158.1 with HTTP; Tue, 1 Apr 2008 19:23:15 -0700 (PDT) Message-ID: Date: Tue, 1 Apr 2008 22:23:15 -0400 From: "Andrew I. Schein" Sender: drandrewschein@gmail.com To: caml-list@yquem.inria.fr Subject: mkcamlp4 question MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_11773_30989011.1207102995793" X-Google-Sender-Auth: 554c377cea961a34 X-Spam: no; 0.00; ocaml:01 cmo:01 lib:01 ocaml:01 lib:01 camlp:01 ocamlc:01 camlp:01 cmo:01 -linkall:01 cmi:01 subdirectory:01 cmi:01 ocamlc:01 -linkall:01 ------=_Part_11773_30989011.1207102995793 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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 ------=_Part_11773_30989011.1207102995793 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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

------=_Part_11773_30989011.1207102995793--