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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 639997EE49 for ; Wed, 20 Feb 2013 15:03:37 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.128.179 as permitted sender) identity=mailfrom; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ve0-f179.google.com) identity=helo; client-ip=209.85.128.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-ve0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgCAC/XJFHRVYCzhmdsb2JhbABFwFd1CBYOAQEBEwsbKYIfAQEEAUABGx0BAwELBgUEBw0uIgERAQUBHAYTCId3AQMJBqF2jDKCe4RPChknDVmIewEFDI8CB4NAA4hmjUaOeRYphEg X-IPAS-Result: AmgCAC/XJFHRVYCzhmdsb2JhbABFwFd1CBYOAQEBEwsbKYIfAQEEAUABGx0BAwELBgUEBw0uIgERAQUBHAYTCId3AQMJBqF2jDKCe4RPChknDVmIewEFDI8CB4NAA4hmjUaOeRYphEg X-IronPort-AV: E=Sophos;i="4.84,702,1355094000"; d="scan'208";a="3723055" Received: from mail-ve0-f179.google.com ([209.85.128.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Feb 2013 15:03:09 +0100 Received: by mail-ve0-f179.google.com with SMTP id da11so6971491veb.10 for ; Wed, 20 Feb 2013 06:03:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=DNNpXh6jE9kOLijH7tThWadymEkjoKmT23+1LZAZ9yA=; b=GhrO2M9jCjYHMugaOuQIYRkHxISOGQjF+awFYxM8YTBk+Ef9fUZvmUkWP9m3Rw5bFo CvY6eGLP03gXHQh85uNdIr7YtgkWhZnP55RsoEG/UT9rMmWwmHNLVN0XJyAVvOiSSyWH 1yTNoewZncpVaOREACpNynbQLnaR8YX+u7ByzeKoreiL3Nf0DGtXCsT423e6QiWKEh1Q QN0OBmH1Trp2SMT2uMSXREmH87Sa81uf6IHXDaAVDFsQEjCYqtrfiyWv7XCAaJKzd5+H RnboieF42TXuJ8YigxvU5A34KHiaXcuLlx3Qg4ucQUIZgR1TDbK7ia0hZpBPgI7s1xAV PFyA== MIME-Version: 1.0 X-Received: by 10.52.175.130 with SMTP id ca2mr8222527vdc.109.1361368988175; Wed, 20 Feb 2013 06:03:08 -0800 (PST) Received: by 10.220.252.133 with HTTP; Wed, 20 Feb 2013 06:03:08 -0800 (PST) In-Reply-To: <51242C2D.3030506@mcmaster.ca> References: <51242C2D.3030506@mcmaster.ca> Date: Wed, 20 Feb 2013 09:03:08 -0500 Message-ID: From: bob zhang To: Jacques Carette Cc: oleg@okmij.org, caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec5014c1df2cf0c04d6286aca Subject: Re: [Caml-list] ANN: Brand-new BER MetaOCaml for OCaml 4.00.1 --bcaec5014c1df2cf0c04d6286aca Content-Type: text/plain; charset=ISO-8859-1 Hi Jacques, metaocamlmktop works well, thanks! On Tue, Feb 19, 2013 at 8:51 PM, Jacques Carette wrote: > 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! >> > > -- Regards -- Bob --bcaec5014c1df2cf0c04d6286aca Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi Jacques,
=A0 metaocamlmktop works well, thanks!

On Tue, Feb 19, 2013 at 8:51 PM, Jacques Carette <carette@= mcmaster.ca> wrote:
You need to use 'metaocamlmktop' to = make a custom top-level which supports metaocaml. =A0I have tested this, an= d it works.

I will let Oleg answer the other queries.

Jacques


On 13-02-18 10:37 PM, bob zhang wrote:
Dear Oleg,
=A0 =A0After reading the patch of BER MetaOCaml today, I found that it is n= ot too hard to port camlp4/Fan to support metaocaml.
=A0 =A0I tried to compile and install metaocaml with the patches you provid= ed:

=A0 =A0I get an install error
./build/partial-install.sh: line 25: config/config.sh: No such file or dire= ctory
make: *** [install] Error 1

=A0 =A0After I ignore the error message, the metaocaml toplevel works perfe= ctly well.

=A0 =A0But if I customized my own toplevel (I used my toplevel as 'ocam= lmktop -custom -o mocaml')
=A0 =A0mocaml is bundled with compiler-libs, the toplevel does not work, I = get the following
=A0 =A0error message:
=A0 =A0# let spower7 =3D .! spower7_code;;
=A0 =A0Error: Reference to undefined global `Runcode'

=A0 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 b= e even nicer that ocamlopt.opt could be installed without supporting metaoc= aml, otherwise I have to switch between different compilers from time to ti= me.

=A0 =A0Would 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

=A0 =A0Thank you in advance!




--
=
Regards
-- Bob
--bcaec5014c1df2cf0c04d6286aca--