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 06FBF7EEBF for ; Tue, 30 Jun 2015 22:12:04 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Pietro.Abate@pps.univ-paris-diderot.fr) identity=pra; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="abate@pps.univ-paris-diderot.fr"; x-sender="Pietro.Abate@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of abate@pps.univ-paris-diderot.fr) identity=mailfrom; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="abate@pps.univ-paris-diderot.fr"; x-sender="abate@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@korolev.univ-paris7.fr) identity=helo; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="abate@pps.univ-paris-diderot.fr"; x-sender="postmaster@korolev.univ-paris7.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CNAQAr95JVnIo9/sJbg2VftRuKFYdXTAEBAQEBARIBAQEBAQgLCQkhLoQjAQU6GTYLGAklDwV3iBjKAotKhSODAYEUBYcDjQSEWoZ8gTtEkmKDWwKBb4IzbYJIAQEB X-IPAS-Result: A0CNAQAr95JVnIo9/sJbg2VftRuKFYdXTAEBAQEBARIBAQEBAQgLCQkhLoQjAQU6GTYLGAklDwV3iBjKAotKhSODAYEUBYcDjQSEWoZ8gTtEkmKDWwKBb4IzbYJIAQEB X-IronPort-AV: E=Sophos;i="5.15,380,1432591200"; d="scan'208";a="168140401" Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Jun 2015 22:12:03 +0200 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/56100) with ESMTP id t5UKC3Px006283 for ; Tue, 30 Jun 2015 22:12:03 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 6DBD361FA4 for ; Tue, 30 Jun 2015 22:12:03 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id 6qEP3nlrW66R for ; Tue, 30 Jun 2015 22:12:02 +0200 (CEST) Received: from pps.univ-paris-diderot.fr (126.18.31.93.rev.sfr.net [93.31.18.126]) (Authenticated sender: abate) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 8769061FA2 for ; Tue, 30 Jun 2015 22:12:02 +0200 (CEST) Received: (nullmailer pid 23674 invoked by uid 1000); Tue, 30 Jun 2015 20:12:02 -0000 Date: Tue, 30 Jun 2015 22:12:02 +0200 From: Pietro Abate To: caml-list@inria.fr Message-ID: <20150630201202.GA23568@pps.univ-paris-diderot.fr> References: <20150630170800.GA30250@pps.univ-paris-diderot.fr> <20150630110342.50001508@kiwi.local.tld> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20150630110342.50001508@kiwi.local.tld> X-Operating-System: GNU/Linux X-Organization: PPS - =?iso-8859-1?Q?Universit?= =?iso-8859-1?Q?=E9?= Paris Diderot - Paris 7 User-Agent: Mutt/1.5.23 (2014-03-12) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [194.254.61.138]); Tue, 30 Jun 2015 22:12:03 +0200 (CEST) X-Miltered: at korolev with ID 5592F813.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5592F813.002 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5592F813.002 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham Subject: Re: [Caml-list] pre-process myocamlbuild.ml with ocamlbuild ... On 30/06/15 11:03, ygrek wrote: > Probably you are not calling ocamlbuild directly, but through make or shell script, so just put > preprocessing step there to generate real myocamlbuild.ml You are suggesting something along these lines : -------------- Makefile snippet ocamlbuild: mkdir -p _build cp myocamlbuild.ml _build cd _build ; /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -pp "cppo -D OCAML4022" myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild cd .. OCAMLBUILD=_build/myocamlbuild all: ocamlbuild everything else ... ------------- Makefile snippet Yes, your solution works, but it's extremely hackish ! I was hoping for something more clean. Is it possible to accomplish this with ocamlbuild ? p