From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id ieSHDQ4p0V9OEAAA0tVLHw (envelope-from ) for ; Wed, 09 Dec 2020 19:44:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id UHzBCA4p0V9SdgAAB5/wlQ (envelope-from ) for ; Wed, 09 Dec 2020 19:44:14 +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 E060994011A for ; Wed, 9 Dec 2020 19:44:13 +0000 (UTC) Received: from localhost ([::1]:47476 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kn5Nk-0002wL-Hj for larch@yhetil.org; Wed, 09 Dec 2020 14:44:12 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59930) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kn4Kl-0004Dt-C5 for guix-patches@gnu.org; Wed, 09 Dec 2020 13:37:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:52764) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kn4Kk-0000Vu-PL for guix-patches@gnu.org; Wed, 09 Dec 2020 13:37:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kn4Kk-00010I-NL for guix-patches@gnu.org; Wed, 09 Dec 2020 13:37:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45133] Add ocaml reactiveData Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 09 Dec 2020 18:37:02 +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: divoplade Cc: Julien Lepiller , 45133@debbugs.gnu.org Received: via spool by 45133-submit@debbugs.gnu.org id=B45133.16075389753783 (code B ref 45133); Wed, 09 Dec 2020 18:37:02 +0000 Received: (at 45133) by debbugs.gnu.org; 9 Dec 2020 18:36:15 +0000 Received: from localhost ([127.0.0.1]:36073 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kn4Jz-0000yx-Io for submit@debbugs.gnu.org; Wed, 09 Dec 2020 13:36:15 -0500 Received: from mail-qk1-f175.google.com ([209.85.222.175]:37725) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kn4Jy-0000yk-7r for 45133@debbugs.gnu.org; Wed, 09 Dec 2020 13:36:14 -0500 Received: by mail-qk1-f175.google.com with SMTP id h20so2217540qkk.4 for <45133@debbugs.gnu.org>; Wed, 09 Dec 2020 10:36:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=v4zFBClk3+A0Pu1DkhyY+0EqzGTIXMH3CZb9+79o9r4=; b=lCNf62LUpCXVxF2v/LNjH0Zc6DSRrdaUr0poNbxopyNk0VBX7D+notAuLilA/0Y0v+ lXsf95hpZSaoO7z2V8OApSK9f5kRzOnlus/AO18S3yMhxonUMf7G7b8f0tDZhdeop1X2 D1eGqbWbuZXf5rT0HkJddv44MbvFlX8sBi/DaEU4BXQD+sIrW81m6z/JRXC9YZazoLtA ENzwiC8Pvrt8ZNaOMmp8MgK/MNl7PDNBn0XkY6IjTTMDp6DYrgCirQ3wa5HoqDu4jyFp sGYuhhjvAMp8osYv2uHpiXtv077nym+8k6sMh8xAA3s1zbY09gG4S8wi6GvrquByBYVg gaEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=v4zFBClk3+A0Pu1DkhyY+0EqzGTIXMH3CZb9+79o9r4=; b=C//myfjglVfJprNa4ftYL9EEHeFX42t8ifppu9lwHYnAsnxJ1fN3FWLB1+D5Fj/vsj LBZXZ2ikMyXAyxhK9YL0jSkS3vxaHPfkBn10r3ATESlVxlZHlRMTKqWQCcK/FFoKH5ef GayV5t03nWiqT5o2RQvu8voA48KNjY4wFviKAQztjcBs82DlSwgKxNAJUPDGsgclIxLr 4BYjVrjYhaWL6nZzf/ihbprxWcGKSp7d/btTSnejkUDe94JXykN8m2CRRyKfoFQTfSeZ NDa7Dmu+qfhtjMW7WT/sRoMSlFCnlhZTQbB37m1NfnGoqOAH/LDa+hfC4Zh2OniS3Cr1 U86g== X-Gm-Message-State: AOAM532T3qdAyTG/1eFio4vXosA+P0n3xAjEs7fmBDb6YWZF9XqljaML CzONKybhs8+DqedTFj3MuBlJ28fC66079I1JKFaN5Bau6YA= X-Google-Smtp-Source: ABdhPJxdDkHGRC1hCGEMpXlxuemZdLJeyVxGRO/JOT+zTcL0xmyZYbnqpIJu3UVsEPMl5JjOj/EnNlxyLiA1U89X2m0= X-Received: by 2002:a37:a64b:: with SMTP id p72mr4644001qke.304.1607538968558; Wed, 09 Dec 2020 10:36:08 -0800 (PST) MIME-Version: 1.0 References: <071FCE1F-5CBA-47E3-98B2-952FFFFAE217@lepiller.eu> <874kkuoo75.fsf@gmail.com> <2986b776fa7dd8b813ecc5c3afc32cfce01e3f95.camel@divoplade.fr> In-Reply-To: <2986b776fa7dd8b813ecc5c3afc32cfce01e3f95.camel@divoplade.fr> From: zimoun Date: Wed, 9 Dec 2020 19:35:57 +0100 Message-ID: Content-Type: text/plain; charset="UTF-8" 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=gmail.com header.s=20161025 header.b=lCNf62LU; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: E060994011A X-Spam-Score: 0.30 X-Migadu-Scanner: scn1.migadu.com X-TUID: 4lVinbZXJgVV 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. I think. 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. I am probably wrong and Julien will correct me with their insight. :-) All the best, simon