From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 2EXYIgsu0l9VGQAA0tVLHw (envelope-from ) for ; Thu, 10 Dec 2020 14:17:47 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id aMeYHgsu0l+tBwAAbx9fmQ (envelope-from ) for ; Thu, 10 Dec 2020 14:17:47 +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 032B394042E for ; Thu, 10 Dec 2020 14:17:46 +0000 (UTC) Received: from localhost ([::1]:47618 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1knMlM-000764-7V for larch@yhetil.org; Thu, 10 Dec 2020 09:17:45 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59192) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1knMgo-0002iT-A8 for guix-patches@gnu.org; Thu, 10 Dec 2020 09:13:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53969) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1knMgo-0002Ma-0m for guix-patches@gnu.org; Thu, 10 Dec 2020 09:13:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1knMgn-00051q-SB for guix-patches@gnu.org; Thu, 10 Dec 2020 09:13:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45133] Add ocaml reactiveData Resent-From: divoplade Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 10 Dec 2020 14: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: Julien Lepiller , zimoun Received: via spool by 45133-submit@debbugs.gnu.org id=B45133.160760953819277 (code B ref 45133); Thu, 10 Dec 2020 14:13:01 +0000 Received: (at 45133) by debbugs.gnu.org; 10 Dec 2020 14:12:18 +0000 Received: from localhost ([127.0.0.1]:37282 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1knMg5-00050r-Ue for submit@debbugs.gnu.org; Thu, 10 Dec 2020 09:12:18 -0500 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:51703) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1knMg1-00050Y-E4 for 45133@debbugs.gnu.org; Thu, 10 Dec 2020 09:12:16 -0500 X-Originating-IP: 86.233.155.91 Received: from divoplade.home (lfbn-poi-1-192-91.w86-233.abo.wanadoo.fr [86.233.155.91]) (Authenticated sender: d@divoplade.fr) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 0A1441C000F; Thu, 10 Dec 2020 14:12:05 +0000 (UTC) Message-ID: From: divoplade Date: Thu, 10 Dec 2020 15:12:04 +0100 In-Reply-To: <322C6C39-C571-4871-B3B1-D58D67913EEE@lepiller.eu> References: <071FCE1F-5CBA-47E3-98B2-952FFFFAE217@lepiller.eu> <874kkuoo75.fsf@gmail.com> <2986b776fa7dd8b813ecc5c3afc32cfce01e3f95.camel@divoplade.fr> <1dcecaea52ad5d96b93fe7ef5675e5f5a52065b9.camel@divoplade.fr> <322C6C39-C571-4871-B3B1-D58D67913EEE@lepiller.eu> Content-Type: multipart/mixed; boundary="=-SJ50ph6lZZNyXh9HNqrX" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 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: , Cc: 45133@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.20 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=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: 032B394042E X-Spam-Score: -1.20 X-Migadu-Scanner: scn1.migadu.com X-TUID: UcPfBprPz8Pp --=-SJ50ph6lZZNyXh9HNqrX Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Le jeudi 10 décembre 2020 à 08:53 -0500, Julien Lepiller a écrit : > > If I delete the makefile in a snippet, the ocaml-build-system will > > not > > pass "native=true" to the pkg/build.ml script, so it fails. That's > > why > > there's a Makefile. > > > > If I replace my install command with opam-install, I get that opam- > > install does not exist (I have opam in inputs and native-inputs). > > Are > > you sure that this program exists? I don't see it in the opam > > package. > > Sorry, opam-installer. The solution was to delete the Makefile just before the install phase ^^ I've tried to reproduce the changes of simon but I'm not sure I reproduced the indentation correctly (it's different from what etc/indent.el does, but a lot of ocaml packages are not indented according to that script). So the last point is about url-fetch vs git-fetch: why do you want to use git-fetch? --=-SJ50ph6lZZNyXh9HNqrX Content-Disposition: attachment; filename="0001-gnu-add-ocaml-reactivedata.patch" Content-Type: text/x-patch; name="0001-gnu-add-ocaml-reactivedata.patch"; charset="UTF-8" Content-Transfer-Encoding: base64 RnJvbSA2YjQ2MjdmNmQ0MGI2MWI2MDc4ODQ4MGUzNTNhNDU5MjU0MjY4NGE0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBkaXZvcGxhZGUgPGRAZGl2b3BsYWRlLmZyPgpEYXRlOiBUaHUs IDEwIERlYyAyMDIwIDE1OjA2OjUwICswMTAwClN1YmplY3Q6IFtQQVRDSF0gZ251OiBhZGQgb2Nh bWwtcmVhY3RpdmVkYXRhCgoJKiBvY2FtbC5zY20gKG9jYW1sLXJlYWN0aXZlZGF0YSk6IGFkZCBv Y2FtbC1yZWFjdGl2ZWRhdGEKLS0tCiBnbnUvcGFja2FnZXMvb2NhbWwuc2NtIHwgNDEgKysrKysr KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysKIDEgZmlsZSBjaGFuZ2VkLCA0MSBp bnNlcnRpb25zKCspCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL29jYW1sLnNjbSBiL2dudS9w YWNrYWdlcy9vY2FtbC5zY20KaW5kZXggMmJmZGE3MzA3ZS4uNGNkMWUwNTQ2NCAxMDA2NDQKLS0t IGEvZ251L3BhY2thZ2VzL29jYW1sLnNjbQorKysgYi9nbnUvcGFja2FnZXMvb2NhbWwuc2NtCkBA IC01ODU5LDMgKzU4NTksNDQgQEAgTGFibEdMKSwgZ25vbWVjYW52YXMsIGdub21ldWksIGd0a3Nv dXJjZXZpZXcsIGd0a3NwZWxsLCBsaWJnbGFkZSAoYW5kIGl0IGNhbgogZ2VuZXJhdGUgT0NhbWwg Y29kZSBmcm9tIC5nbGFkZSBmaWxlcyksIGxpYnBhbmVsLCBsaWJyc3ZnIGFuZCBxdWFydHouIikK ICAgICA7OyBWZXJzaW9uIDIgb25seSwgd2l0aCBsaW5raW5nIGV4Y2VwdGlvbi4KICAgICAobGlj ZW5zZSBsaWNlbnNlOmxncGwyLjApKSkKKworKGRlZmluZS1wdWJsaWMgb2NhbWwtcmVhY3RpdmVk YXRhCisgIDs7IEZ1dHVyZSByZWxlYXNlcyB3aWxsIHVzZSBkdW5lLgorICAocGFja2FnZQorICAg IChuYW1lICJvY2FtbC1yZWFjdGl2ZWRhdGEiKQorICAgICh2ZXJzaW9uICIwLjIuMiIpCisgICAg KHNvdXJjZSAob3JpZ2luCisgICAgICAgICAgICAgIChtZXRob2QgdXJsLWZldGNoKQorICAgICAg ICAgICAgICAodXJpICJodHRwczovL2dpdGh1Yi5jb20vb2NzaWdlbi9yZWFjdGl2ZURhdGEvYXJj aGl2ZS8wLjIuMi50YXIuZ3oiKQorICAgICAgICAgICAgICAoc2hhMjU2CisgICAgICAgICAgICAg ICAoYmFzZTMyCisgICAgICAgICAgICAgICAgIjBqemFneXA0emxhMjh3eWt2Y2dxd2Q4ZGY3MWly MHZiNHM4YWtwMDJjZmFjZDV2ODZzbmciKSkpKQorICAgIChhcmd1bWVudHMKKyAgICAgYCgjOnBo YXNlcworICAgICAgIChtb2RpZnktcGhhc2VzCisgICAgICAgICAgICVzdGFuZGFyZC1waGFzZXMK KyAgICAgICAgIChkZWxldGUgJ2NvbmZpZ3VyZSkKKyAgICAgICAgIChhZGQtYmVmb3JlICdidWls ZCAnZml4LWRlcHJlY2F0ZWQKKyAgICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgKHN1 YnN0aXR1dGUqCisgICAgICAgICAgICAgICAgICJzcmMvcmVhY3RpdmVEYXRhLm1sIgorICAgICAg ICAgICAgICAgKCgiUGVydmFzaXZlcy5jb21wYXJlIikgImNvbXBhcmUiKSkKKyAgICAgICAgICAg ICAjdCkpCisgICAgICAgICAoYWRkLWJlZm9yZSAnaW5zdGFsbCAnZm9yZ2V0LW1ha2VmaWxlCisg ICAgICAgICAgIChsYW1iZGEgXworICAgICAgICAgICAgIChkZWxldGUtZmlsZSAiTWFrZWZpbGUi KQorICAgICAgICAgICAgICN0KSkpKSkKKyAgICAoYnVpbGQtc3lzdGVtIG9jYW1sLWJ1aWxkLXN5 c3RlbSkKKyAgICAobmF0aXZlLWlucHV0cworICAgICBgKCgib2NhbWxidWlsZCIgLG9jYW1sYnVp bGQpCisgICAgICAgKCJvcGFtIiAsb3BhbSkpKQorICAgIChwcm9wYWdhdGVkLWlucHV0cworICAg ICBgKCgib2NhbWwtcmVhY3QiICxvY2FtbC1yZWFjdCkpKQorICAgIChob21lLXBhZ2UgImh0dHBz Oi8vZ2l0aHViLmNvbS9vY3NpZ2VuL3JlYWN0aXZlRGF0YSIpCisgICAgKHN5bm9wc2lzICJEZWNs YXJhdGl2ZSBldmVudHMgYW5kIHNpZ25hbHMgZm9yIE9DYW1sIikKKyAgICAoZGVzY3JpcHRpb24K KyAgICAgIlJlYWN0IGlzIGFuIE9DYW1sIG1vZHVsZSBmb3IgZnVuY3Rpb25hbCByZWFjdGl2ZSBw cm9ncmFtbWluZyAoRlJQKS4gSXQKK3Byb3ZpZGVzIHN1cHBvcnQgdG8gcHJvZ3JhbSB3aXRoIHRp bWUgdmFyeWluZyB2YWx1ZXMgOiBkZWNsYXJhdGl2ZSBldmVudHMgYW5kCisgc2lnbmFscy4gUmVh Y3QgZG9lc24ndCBkZWZpbmUgYW55IHByaW1pdGl2ZSBldmVudCBvciBzaWduYWwsIGl0IGxldHMg dGhlCitjbGllbnQgY2hvb3NlcyB0aGUgY29uY3JldGUgdGltZWxpbmUuIikKKyAgICAobGljZW5z ZSBsaWNlbnNlOmxncGwyLjErKSkpCi0tIAoyLjI5LjIKCg== --=-SJ50ph6lZZNyXh9HNqrX--