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 18A557F919 for ; Wed, 1 Jun 2016 18:25:40 +0200 (CEST) IronPort-PHdr: 9a23:eorw8x+rlhwTnv9uRHKM819IXTAuvvDOBiVQ1KB92+McTK2v8tzYMVDF4r011RmSDdSdtq0P2reempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iP0I/miqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysebrrxjYUQyX5nZUbn8RnwFUBwXfpEXRXo3wqTf9rupwnhWAOsDtUbQ5Qxy/6qBtU1nhg2ENOmhq3nvQj5lXiKtV6DKsvR15zMaAZ4WcOtJ3c7vTed5cSWcXDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=olaf@aepfle.de; spf=None smtp.mailfrom=olaf@aepfle.de; spf=None smtp.helo=postmaster@mo4-p00-ob.smtp.rzone.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=pra; client-ip=81.169.146.160; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=mailfrom; client-ip=81.169.146.160; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo4-p00-ob.smtp.rzone.de) identity=helo; client-ip=81.169.146.160; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="postmaster@mo4-p00-ob.smtp.rzone.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DqAACAC09Xf6CSqVFdDoMDgQJ9uAmCDwENgXoahXcCgTI4FAEBAQEBAQEBEQEBCQsLCSEvgjCCFgEBAwEjDwENAQE3AQQLCxoCBSECAg8FGDGIOgkDrxFnhEEBAQWMegEBAQEGAQEBARsIHmOJc4dBK4IujWqKUoYAiBYKZoFRhnwKhV+PTB4BAYI7gTk9bIo3AQEB X-IPAS-Result: A0DqAACAC09Xf6CSqVFdDoMDgQJ9uAmCDwENgXoahXcCgTI4FAEBAQEBAQEBEQEBCQsLCSEvgjCCFgEBAwEjDwENAQE3AQQLCxoCBSECAg8FGDGIOgkDrxFnhEEBAQWMegEBAQEGAQEBARsIHmOJc4dBK4IujWqKUoYAiBYKZoFRhnwKhV+PTB4BAYI7gTk9bIo3AQEB X-IronPort-AV: E=Sophos;i="5.26,401,1459807200"; d="scan'208";a="220675505" Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.160]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Jun 2016 18:25:23 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1464798322; l=1477; s=domk; d=aepfle.de; h=In-Reply-To:Content-Transfer-Encoding:Content-Disposition: Content-Type:MIME-Version:References:Subject:Cc:To:From:Date; bh=A25vvsqTGt4/DyeTq38g+y1zhInTPIC49IXWYCgqWxU=; b=cKNRywO6DLAVkUMG9I/A3RaSLtSDMgTuSSftPjf3BM/g5PBMBkuRBFDHi+7G0itLunq SyZrwscePJupk8gzmaTSdAz8v1wfK3iba93O/7f7qyWbbkpsMeF4QB52MC3R1PLUJJteH r/UxlYzJjw4f8HZEkSl6Crv7mwoobW3+a0c= X-RZG-AUTH: :P2EQZWCpfu+qG7CngxMFH1J+yackYocTD1iAi8x+OWi/zfN1cLnDYUgpTAeBkYe9zE5ZsKOX9fJ73rs59M62lYQn1xBR X-RZG-CLASS-ID: mo00 Received: from probook ([2001:a62:123c:67ff:a1e8:8250:6417:a29]) by smtp.strato.de (RZmta 38.1 AUTH) with ESMTPSA id I08c65s51GPK1mr (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (curve secp521r1 with 521 ECDH bits, eq. 15360 bits RSA)) (Client did not present a certificate); Wed, 1 Jun 2016 18:25:20 +0200 (CEST) Received: by probook (Postfix, from userid 1000) id 7FE6150B06; Wed, 1 Jun 2016 18:25:20 +0200 (CEST) Date: Wed, 1 Jun 2016 18:25:20 +0200 From: Olaf Hering To: Christophe Troestler Cc: caml-list@inria.fr Message-ID: <20160601162520.GA7712@aepfle.de> References: <20160526201110.GA14443@aepfle.de> <87twhkk035.fsf@poincare3.umons.ac.be> <20160527081429.GA18793@gmail.com> <87h9djf5np.fsf@poincare3.umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87h9djf5np.fsf@poincare3.umons.ac.be> User-Agent: Mutt/1.6.1 (6648) Subject: Re: [Caml-list] OASIS help: link stublib to system lib and another caml lib On Sat, May 28, Christophe Troestler wrote: > You wan only pass static options via _oasis. If you can get the path to > camlidl — which the camlidl library should provide, try "ocamlfind query > camlidl" — then you can use the trick below to pass it to ocamlbuild and set > appropriate flags. I'm new to all this. I took the time to create an _oasis file for camlidl in its rpm specfile, shown below. As you can see the source needs some header file. But the "runtime" directory is not in the search path, and appearently there is no generic way to specify the "-I$PWD/runtime". How is this supposed to be handled? ... %build pushd compiler sed -e 's|%%%%CPP%%%%|cpp|' config.mlp > config.ml popd tee _oasis <<_EOF_ OASISFormat: 0.4 Name: camlidl Version: %{version} Authors: Xavier Leroy LicenseFile: LICENSE License: QPL-1.0 and LGPL-2.0 Synopsis: Stub code generator for OCaml Plugins: META(`oasis version`) BuildTools: ocamlbuild Library com Path: lib Install: true Modules: Com Library camlidl Path: runtime Install: true Datafiles: camlidlruntime.h (\$standard_library/caml) CSources: idlalloc.c CCOpt: -I$PWD/runtime -Wall -O2 -g Executable camlidl Install: true Path: compiler MainIs: main.ml CompiledObject: best _EOF_ oasis setup ocaml setup.ml -configure \ --destdir %{buildroot} \ --libdir %{_libdir} \ --bindir %{_bindir} \ --prefix %{_prefix} ocaml setup.ml -build ... Olaf