From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 48FE57FFC7 for ; Tue, 6 Sep 2016 13:47:19 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lf0-f44.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.215.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.215.44 as permitted sender) identity=mailfrom; client-ip=209.85.215.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-lf0-f44.google.com) identity=helo; client-ip=209.85.215.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lf0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AeTSKixXeG5x09Wr94p76SfOUnCbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZheFt8tkgFKBZ4jH8fUM07OQ6PG5HzFRqsrb+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f//6mI9pbSewRFgiamKfM3dU3u7FbnjdQNmYZpNoo2zxLIpDMIJ7?= =?us-ascii?q?UXlitUIge3mAv9/Y+f8YVp/j5M86Yl8NNBSuP1cr8yQKZEJDMtOmUx/Nfs8xLE?= =?us-ascii?q?SF3cyGEbVzA3jBNOSyfC8BbkVZfwrjCy4utj1wGbMMD7C7cuVmLxvO9QVBb0hX?= =?us-ascii?q?JfZHYC+2bNh5k10ftW?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AwAQC3q85XhizXVdFcGwEBAQMBAQEXA?= =?us-ascii?q?QEEAQGDDgEBAQEBPDl8B4NAiWeZKIxShQ2CAiSFeAKBUgc4FAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgLCwkZL4IyBAEVBYIRAQEEEhEdAQEsCwEPCwQHDQ0dAgIiEgEFAQoSB?= =?us-ascii?q?hMIChCIDgMXDqFhgTI+MopWZ4RHAQEFhC4DgyUBAQEBAQEBAwEBAQEBAQEYCBC?= =?us-ascii?q?GH4ROhG2CVYJahmgMkmSGIYkVgjyNHYxMgjgTHoERDw+CXSsegXMgNAGFKIFAA?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0AwAQC3q85XhizXVdFcGwEBAQMBAQEXAQEEAQGDDgEBAQE?= =?us-ascii?q?BPDl8B4NAiWeZKIxShQ2CAiSFeAKBUgc4FAEBAQEBAQEBAQEBEgEBAQgLCwkZL?= =?us-ascii?q?4IyBAEVBYIRAQEEEhEdAQEsCwEPCwQHDQ0dAgIiEgEFAQoSBhMIChCIDgMXDqF?= =?us-ascii?q?hgTI+MopWZ4RHAQEFhC4DgyUBAQEBAQEBAwEBAQEBAQEYCBCGH4ROhG2CVYJah?= =?us-ascii?q?mgMkmSGIYkVgjyNHYxMgjgTHoERDw+CXSsegXMgNAGFKIFAAQEB?= X-IronPort-AV: E=Sophos;i="5.30,291,1470693600"; d="scan'208,217";a="235402022" Received: from mail-lf0-f44.google.com ([209.85.215.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Sep 2016 13:47:18 +0200 Received: by mail-lf0-f44.google.com with SMTP id u14so21437717lfd.1 for ; Tue, 06 Sep 2016 04:47:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=PG7Yva5KKxJZHwy1C2B+spgrQOMY19WqvB8AicKF3r4=; b=J4gvzJ6g7gjXzVlF7v3elB72JIw8aqLgqNDow4OxjatiGy7dwp1Sss9F5oxNqVWZus 5j3aonlMjQL2D+IA22mRArbvawZm2CRsdSM4hlqQWRQRiA26UVFHL9LnacGa7PZFIGTD d5r07LJgb40F3K7IY6rwXDFXgepFqlkcYfh73MHXCz8Ka1XWGrAO1EubiThLDlLjYUbx MX01f2Kilx3/HvpRp33AUJt19zAYHEbB3qYNX36uhyESTkdHKF+7oSivMxFqmuoknvkH V+5jxaD4hwDLMK/TomjP/WHDV1AdKNRCfKBAZ48afV39JwLdzmyREIAFReswdD52hL6N W7ww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=PG7Yva5KKxJZHwy1C2B+spgrQOMY19WqvB8AicKF3r4=; b=meX3QfevRQkEb0BvpW+ZmWL75Ij0O/j+oKNZGhIPyqIx5QqEmmYP4DaKt87FyQZXbR XGExPfZNzF4FV8L7gRIyj0P3xPoj+ZzUz70uq/K8kU+avRcVZVfT+WscHs4SiLeGZHGO KEpas5pZR1NmKFUPY8rDPhXtEOoWJNLYgyCccKJN60iwcfVIabDugQfcApNgkLfiiIpu qTadxL1TYUjqoT9t9vZ3osn0r6GOCneFpoeX0VRhxb0mr4MdCFz1pQSR6osNwRvZxkeO MuWY9IRrYh6KsMfrvh8SvyRkctSPdGJfmqkV2taqcfp1qjxu+//LLQL4rbC8oew+ete9 ZtfA== X-Gm-Message-State: AE9vXwPfNq9hFmEuDkdzVOPD87fFXcxr0QfZtGpsyDhxEcW338vMI2xB2Y3ru/4LgwuKGccospnSYfwNP98zyg9s X-Received: by 10.25.210.205 with SMTP id j196mr1673671lfg.139.1473162437528; Tue, 06 Sep 2016 04:47:17 -0700 (PDT) MIME-Version: 1.0 Received: by 10.114.64.17 with HTTP; Tue, 6 Sep 2016 04:47:16 -0700 (PDT) In-Reply-To: <2170048.Zk88dHpl0p@agaric> References: <5D0EE89A3CF845AFBF34123DA49C1806@erratique.ch> <3A394B73874C405CAC4515AD24757E9F@erratique.ch> <2170048.Zk88dHpl0p@agaric> From: Ivan Gotovchits Date: Tue, 6 Sep 2016 07:47:16 -0400 Message-ID: To: Louis Gesbert Cc: caml-list , =?UTF-8?Q?Daniel_B=C3=BCnzli?= , =?UTF-8?Q?Christoph_H=C3=B6ger?= Content-Type: multipart/alternative; boundary=001a11403562c938bc053bd55b07 Subject: Re: [Caml-list] Passing configuration options to opam --001a11403562c938bc053bd55b07 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Christoph, Since ocaml-lua is using oasis build system underneath the hood it is possible to control configuration parameters via environment variables. Any variable, if not set explicitly by a command line, will be looked up in the environment. In your case enabling `luajit` should be as simple as: luajit=3Dtrue opam install ocaml-lua Regards, Ivan On Tue, Sep 6, 2016 at 6:34 AM, Louis Gesbert wrote: > > - Daniel B=C3=BCnzli, 06/09/2016 11:49 - > > On Tuesday 6 September 2016 at 11:46, Daniel B=C3=BCnzli wrote: > > > You can do `opam pin edit ocaml-lua` and change the build instructions > to your wishes. But best would be to upstream luajit discovery. > > > > Note that you will first need to pin to a specific version using e.g. > `opam pin add ocaml-lua 1.4` > > [not anymore in opam 2.0, but it's not out yet] > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11403562c938bc053bd55b07 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Christoph,

Since ocaml-lua is using = oasis build system underneath the hood it is possible to control configurat= ion parameters via environment variables. Any variable, if not set
explicitly by a command line, will be looked up in the environment.=C2=A0= In your case enabling `luajit` should be as simple as:

=C2=A0 =C2=A0 =C2=A0luajit=3Dtrue opam install ocaml-lua
Regards,
Ivan
=
On Tue, Sep 6, 2016 at 6:34 AM, Louis Gesber= t <louis.gesbert@ocamlpro.com> wrote:
> - Daniel B=C3=BCnzli, 06/09/2016 11:49 -
> On Tuesday 6 September 2016 at 11:46, Daniel B=C3=BCn= zli wrote:
> > You can do `opam pin edit ocaml-lua` and change the build instruc= tions to your wishes. But best would be to upstream luajit discovery.
>
> Note that you will first need to pin to a specific version using e.g. = `opam pin add ocaml-lua 1.4`

[not anymore in opam 2.0, but it's not out yet]

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a11403562c938bc053bd55b07--