From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 96EE67EE49 for ; Wed, 20 Feb 2013 02:53:01 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=pra; client-ip=130.113.64.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=mailfrom; client-ip=130.113.64.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@pinegw01.uts.mcmaster.ca) identity=helo; client-ip=130.113.64.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="postmaster@pinegw01.uts.mcmaster.ca"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8BAGMrJFGCcUBDnGdsb2JhbABFvXSCVoEkDgEBAQEBCAsJCRQngh8BAQU4QAEQCxgJFg8JAwIBAgFFBg0BBwEBiA6wOJAgjw4Hg0ADiGaTNo4M X-IPAS-Result: Am8BAGMrJFGCcUBDnGdsb2JhbABFvXSCVoEkDgEBAQEBCAsJCRQngh8BAQU4QAEQCxgJFg8JAwIBAgFFBg0BBwEBiA6wOJAgjw4Hg0ADiGaTNo4M X-IronPort-AV: E=Sophos;i="4.84,698,1355094000"; d="scan'208";a="2793669" Received: from pinegw01.uts.mcmaster.ca ([130.113.64.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Feb 2013 02:53:00 +0100 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.McMaster.CA [130.113.196.62]) by pinegw01.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id r1K1pxjT021506; Tue, 19 Feb 2013 20:52:00 -0500 Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id r1K1pug3011976; Tue, 19 Feb 2013 20:51:56 -0500 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca [130.113.68.27] verified) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 445457837; Tue, 19 Feb 2013 20:52:02 -0500 Message-ID: <51242C2D.3030506@mcmaster.ca> Date: Tue, 19 Feb 2013 20:51:41 -0500 From: Jacques Carette User-Agent: Mozilla/5.0 (X11; Linux i686; rv:17.0) Gecko/20130106 Thunderbird/17.0.2 MIME-Version: 1.0 To: bob zhang CC: oleg@okmij.org, caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.6.1.2065439, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2013.2.20.14220 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' MULTIPLE_RCPTS 0.1, HTML_00_01 0.05, HTML_00_10 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1600_1699 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, NO_URI_FOUND 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __FORWARDED_MSG 0, __HAS_FROM 0, __HAS_MSGID 0, __IN_REP_TO 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __MOZILLA_USER_AGENT 0, __MULTIPLE_RCPTS_CC_X2 0, __SANE_MSGID 0, __USER_AGENT 0' X-Spam-Flag: NO Subject: Re: [Caml-list] ANN: Brand-new BER MetaOCaml for OCaml 4.00.1 You need to use 'metaocamlmktop' to make a custom top-level which supports metaocaml. I have tested this, and it works. I will let Oleg answer the other queries. Jacques On 13-02-18 10:37 PM, bob zhang wrote: > Dear Oleg, > After reading the patch of BER MetaOCaml today, I found that it is > not too hard to port camlp4/Fan to support metaocaml. > I tried to compile and install metaocaml with the patches you provided: > > I get an install error > ./build/partial-install.sh: line 25: config/config.sh: No such file or > directory > make: *** [install] Error 1 > > After I ignore the error message, the metaocaml toplevel works > perfectly well. > > But if I customized my own toplevel (I used my toplevel as > 'ocamlmktop -custom -o mocaml') > mocaml is bundled with compiler-libs, the toplevel does not work, I > get the following > error message: > # let spower7 = .! spower7_code;; > Error: Reference to undefined global `Runcode' > > Currently metaocaml does not support native code, but it seems that > the patch only installs ocamlc, is it possible to get ocamlc.opt > installed as well? (not the ocamlopt.opt) ocamlbuild is not installed > either. It would be even nicer that ocamlopt.opt could be installed > without supporting metaocaml, otherwise I have to switch between > different compilers from time to time. > > Would you mind get the ocamlbuild, ocamlc.opt also works? I would > be happy to port Fan/Camlp4 to support metaoaml, and it would be > really cool to get compile-time and run-time metaprogramming work together > > Thank you in advance!