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 8EF657EE49 for ; Tue, 19 Feb 2013 04:37:13 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.128.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.128.182 as permitted sender) identity=mailfrom; client-ip=209.85.128.182; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ve0-f182.google.com) identity=helo; client-ip=209.85.128.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-ve0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsCAOXxIlHRVYC2jmdsb2JhbABEwC59CBYOAQEBARILHSeCZgEbHQEDEgkHXQERAQUBiDQBAw+jH4wygnuESAoZJw1ZiHsBBQyPIh1Ngl0DiGeNRY52FimEHSs X-IPAS-Result: ApsCAOXxIlHRVYC2jmdsb2JhbABEwC59CBYOAQEBARILHSeCZgEbHQEDEgkHXQERAQUBiDQBAw+jH4wygnuESAoZJw1ZiHsBBQyPIh1Ngl0DiGeNRY52FimEHSs X-IronPort-AV: E=Sophos;i="4.84,692,1355094000"; d="scan'208";a="2657661" Received: from mail-ve0-f182.google.com ([209.85.128.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Feb 2013 04:37:12 +0100 Received: by mail-ve0-f182.google.com with SMTP id ox1so5503003veb.27 for ; Mon, 18 Feb 2013 19:37:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:date:message-id:subject:from:to:cc :content-type; bh=uWDNi/WxvWzGk6itMlFU4FYIQnlP13tC0jXkC73RgI0=; b=BMJkeWqCDmTiIcV2skZNI9Ac2Btc2I/OKDqiJxKcmTiIjxd89XeqvfDm479948dhmS wIItoF+IBgxkbzbYsdS7Tl39zSTFj4vR7ObkkpSh8Tk3BTIHV3JiuQbRmGW/oXd7kUgY vzD5ds+mgLdE0URRLGhRexExI7rcN3JXVxDce1usvSLQ/c1g91Xm/OSS7UFr/+4tOrpp xJfSRuVqlbHCtpsf8PxCiTAL5a5DQHSyPBzETopTfqReKbXJjY6QcJF0hj7UYMQfbDjI G/srLyYgUXhxx2JyN40LF6hdkHGc9OWDzMgORhQ/boUPva5I5eHCNBF58tob4NqBGkIm on+Q== MIME-Version: 1.0 X-Received: by 10.52.28.176 with SMTP id c16mr15934922vdh.126.1361245031354; Mon, 18 Feb 2013 19:37:11 -0800 (PST) Received: by 10.220.252.133 with HTTP; Mon, 18 Feb 2013 19:37:11 -0800 (PST) Date: Mon, 18 Feb 2013 22:37:11 -0500 Message-ID: From: bob zhang To: oleg@okmij.org Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf3079bdba8bd1d904d60b8e07 Subject: [Caml-list] ANN: Brand-new BER MetaOCaml for OCaml 4.00.1 --20cf3079bdba8bd1d904d60b8e07 Content-Type: text/plain; charset=ISO-8859-1 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! --20cf3079bdba8bd1d904d60b8e07 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear Oleg,
=A0 =A0After reading the patch of BER MetaOCaml today, I fou= nd that it is not too hard to port camlp4/Fan to support metaocaml.
=A0 =A0I tried to compile and install metaocaml with the patches you pro= vided:

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

=A0 =A0Aft= er I ignore the error message, the metaocaml toplevel works perfectly well.=

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

=A0 Currently metaocaml does not s= upport 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) ocaml= build is not installed either. It would be even nicer that ocamlopt.opt cou= ld be installed without supporting metaocaml, otherwise I have to switch be= tween different compilers from time to time.

=A0 =A0Would you mind get the ocamlbuild, ocamlc.opt al= so works? I would be happy to port Fan/Camlp4 to support metaoaml, and it w= ould be really cool to get compile-time and run-time metaprogramming work t= ogether

=A0 =A0Thank you in advance!
--20cf3079bdba8bd1d904d60b8e07--