From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id SFdvCnQq0V/TIAAA0tVLHw (envelope-from ) for ; Wed, 09 Dec 2020 19:50:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id yCxaBnQq0V8MNgAA1q6Kng (envelope-from ) for ; Wed, 09 Dec 2020 19:50:12 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 8882594043A for ; Wed, 9 Dec 2020 19:50:11 +0000 (UTC) Received: from localhost ([::1]:59348 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kn5TW-0007xS-BG for larch@yhetil.org; Wed, 09 Dec 2020 14:50:10 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37634) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kn4ta-0007jr-DB for guix-patches@gnu.org; Wed, 09 Dec 2020 14:13:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:52802) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kn4ta-0002u6-3J for guix-patches@gnu.org; Wed, 09 Dec 2020 14:13:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kn4tZ-0003yE-U1 for guix-patches@gnu.org; Wed, 09 Dec 2020 14:13:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45133] Add ocaml reactiveData Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 09 Dec 2020 19:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45133 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: zimoun ,divoplade Cc: 45133@debbugs.gnu.org Received: via spool by 45133-submit@debbugs.gnu.org id=B45133.160754118115255 (code B ref 45133); Wed, 09 Dec 2020 19:13:01 +0000 Received: (at 45133) by debbugs.gnu.org; 9 Dec 2020 19:13:01 +0000 Received: from localhost ([127.0.0.1]:36115 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kn4tY-0003xz-Un for submit@debbugs.gnu.org; Wed, 09 Dec 2020 14:13:01 -0500 Received: from lepiller.eu ([89.234.186.109]:56914) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kn4tV-0003xn-OQ for 45133@debbugs.gnu.org; Wed, 09 Dec 2020 14:12:58 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 91ccd727; Wed, 9 Dec 2020 19:12:55 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:cc:from:message-id; s= dkim; bh=0G96XYMaED9b/GKjgBD90F/mxFONaAzp4+4eTHDtnCY=; b=jJ5NACe l+lplvTs/XJ8mlGZ/R5WBPcbnxIjWKFUQKNBockAag4YUalIUu+3cSdWpOgk1TI6 9w73y8VKALsLQycnGY+EXxSOjplOG3xa+Lhp3G+61aOWibHBUD922Ea8Ymh+dLE5 WRi4l5H5T7tb+BExv8APOgfNMil+0Yo6KPB0803qKULQ9KTDPCtzMzWtlYqwYyvK zKTpxWIgRJqtxbFUM0WVK1GmklbZgNjwq/FtHEr1I04vQBQbRfVbq0P8LEp4RiX2 ydIFa4QE2LTWpD08bSFyispxAkFs7GVwnfoCcTaRvyLYzDtUUgTFVmhERw2TOmmz YihdYaPCc96m89A== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 4c7d7785 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Wed, 9 Dec 2020 19:12:54 +0000 (UTC) Date: Wed, 09 Dec 2020 14:12:36 -0500 User-Agent: K-9 Mail for Android In-Reply-To: References: <071FCE1F-5CBA-47E3-98B2-952FFFFAE217@lepiller.eu> <874kkuoo75.fsf@gmail.com> <2986b776fa7dd8b813ecc5c3afc32cfce01e3f95.camel@divoplade.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----ZOC32XJ7GPEA0DH3NU6XX14C5RE5Z7" Content-Transfer-Encoding: 7bit From: Julien Lepiller Message-ID: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: 0.30 Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=lepiller.eu header.s=dkim header.b=jJ5NACe ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 8882594043A X-Spam-Score: 0.30 X-Migadu-Scanner: scn1.migadu.com X-TUID: HXERRcDuXqLo ------ZOC32XJ7GPEA0DH3NU6XX14C5RE5Z7 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable The ocaml-build-system will use the Makefile if it exists, otherwise it run= s opam-install -i --prefix=3Dout --libdir=3Dout/lib/ocaml/site-lib You need opam as an input=2E Le 9 d=C3=A9cembre 2020 13:35:57 GMT-05:00, zimoun a =C3=A9crit : >On Wed, 9 Dec 2020 at 19:05, divoplade wrote: > >> I'm not sure that's the reason, but the ocaml build dance runs make >> install, and there's no install target in the Makefile, and the opam >> file does not need to have an install target because it installs >> everything=2E I think=2E > >I do not know, I have not looked at the details, but for example: > > tar -jtvf $(guix build ocaml-uutf -S) > >does not even show a Makefile and the Guix package looks like: > >--8<---------------cut here---------------start------------->8--- > (build-system ocaml-build-system) > (arguments > `(#:tests? #f > #:build-flags (list "build") > #:phases > (modify-phases %standard-phases > (delete 'configure)))) > (native-inputs > `(("ocamlbuild" ,ocamlbuild) > ("opam" ,opam) > ("topkg" ,ocaml-topkg))) >--8<---------------cut here---------------end--------------->8--- > >That's why I find it weird to have to patch the reactiveData Makefile >to be able to install it=2E I am probably wrong and Julien will correct >me with their insight=2E :-) > > >All the best, >simon ------ZOC32XJ7GPEA0DH3NU6XX14C5RE5Z7 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable The ocaml-build-system will use the Makefile if it= exists, otherwise it runs opam-install -i --prefix=3Dout --libdir=3Dout/li= b/ocaml/site-lib

You need opam as an input=2E

Le 9 d=C3=A9cembre 2020 13:35:57 GMT-05:00, zimoun <zimon=2E= toutoune@gmail=2Ecom> a =C3=A9crit :
On Wed, 9 Dec 2020 at 19:05, divoplade <d@divopla=
de=2Efr> wrote:

=
I'm not sure that's the reason, but the ocaml build dance runs make
inst=
all, and there's no install target in the Makefile, and the opam
file do=
es not need to have an install target because it installs
everything=2E =
I think=2E

I do not know, I have not looked at the deta=
ils, but for example:

  tar -jtvf $(guix build ocaml-uutf -S)
does not even show a Makefile and the Guix package looks like:

--8&=
lt;---------------cut here---------------start------------->8---
    =
(build-system ocaml-build-system)
    (arguments
     `(#:tests? #f       #:build-flags (list "build")
       #:phases
       (modify-=
phases %standard-phases
         (delete 'configure))))
    (native-i=
nputs
     `(("ocamlbuild" ,ocamlbuild)
       ("opam" ,opam)
    =
   ("topkg" ,ocaml-topkg)))
--8<---------------cut here--------------=
-end--------------->8---

That's why I find it weird to have to pa=
tch the reactiveData Makefile
to be able to install it=2E  I am probably=
 wrong and Julien will correct
me with their insight=2E :-)


A=
ll the best,
simon
------ZOC32XJ7GPEA0DH3NU6XX14C5RE5Z7--