From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH] Unbundle opam dependencies Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 18:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.155440410830865 (code B ref -1); Thu, 04 Apr 2019 18:56:01 +0000 Received: (at submit) by debbugs.gnu.org; 4 Apr 2019 18:55:08 +0000 Received: from localhost ([127.0.0.1]:44684 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7Vz-00081l-Pd for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:07 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59713) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7Vy-00081M-J1 for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:47605) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hC7Vt-0004np-BG for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:01 -0400 Received: from eggs.gnu.org ([209.51.188.92]:45857) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hC7Vs-0004tA-F6 for guix-patches@gnu.org; Thu, 04 Apr 2019 14:55:01 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hC7Vr-0004i3-KD for guix-patches@gnu.org; Thu, 04 Apr 2019 14:55:00 -0400 Received: from lepiller.eu ([89.234.186.109]:39260) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hC7Vr-0004aA-5U for guix-patches@gnu.org; Thu, 04 Apr 2019 14:54:59 -0400 Received: from localhost (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 4a180aae (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Thu, 4 Apr 2019 18:54:48 +0000 (UTC) Date: Thu, 4 Apr 2019 20:54:36 +0200 From: Julien Lepiller Message-ID: <20190404205437.5fe1bd60@lepiller.eu> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 89.234.186.109 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi! This patch series starts with two opam importer related patches: the first one adds some more syntax to our parser, that I encountered when importing opam dependencies. The second one makes the importer smarter and make it choose the dune-build-system when possible. Then the following patches add dependencies, updates one of them (the new version doesn't depend on opam anymore, thanksfully) and the last one changes the source of opam to use an unbundled source (the git repo). From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 1/9] import: opam: Add more patterns to opam file parser. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:17:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405421396 (code B ref 35150); Thu, 04 Apr 2019 19:17:02 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:01 +0000 Received: from localhost ([127.0.0.1]:44692 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rA-00006H-Mi for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:00 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7r6-00005m-Rj for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:16:58 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 273578d8 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:30 +0200 Message-Id: <20190404191638.31953-1-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404205437.5fe1bd60@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * guix/import/opam.scm: Add more patterns to peg parser. --- guix/import/opam.scm | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) diff --git a/guix/import/opam.scm b/guix/import/opam.scm index 36028a01d6..b5069cd2f3 100644 --- a/guix/import/opam.scm +++ b/guix/import/opam.scm @@ -58,7 +58,12 @@ (define-peg-pattern weird-record all (and key (* SP) dict)) (define-peg-pattern key body (+ (or (range #\a #\z) "-"))) (define-peg-pattern value body (and (or conditional-value ground-value operator) (* SP))) -(define-peg-pattern ground-value body (and (or multiline-string string-pat list-pat var) (* SP))) +(define-peg-pattern choice-pat all (and (ignore "(") (* SP) choice (* SP) (ignore ")"))) +(define-peg-pattern choice body + (or (and (or conditional-value ground-value) (* SP) (ignore "|") (* SP) choice) + conditional-value + ground-value)) +(define-peg-pattern ground-value body (and (or multiline-string string-pat choice-pat list-pat var) (* SP))) (define-peg-pattern conditional-value all (and ground-value (* SP) condition)) (define-peg-pattern string-pat all (and QUOTE (* STRCHR) QUOTE)) (define-peg-pattern list-pat all (and (ignore "[") (* SP) (* (and value (* SP))) (ignore "]"))) @@ -80,7 +85,8 @@ (define-peg-pattern condition-form2 body (and (* SP) (or condition-greater-or-equal condition-greater condition-lower-or-equal condition-lower - condition-neq condition-eq condition-content) (* SP))) + condition-neq condition-eq condition-not + condition-content) (* SP))) ;(define-peg-pattern condition-operator all (and (ignore operator) (* SP) condition-string)) (define-peg-pattern condition-greater-or-equal all (and (ignore (and ">" "=")) (* SP) condition-string)) @@ -91,10 +97,12 @@ (define-peg-pattern condition-or all (and condition-form2 (* SP) (ignore "|") (* SP) condition-form)) (define-peg-pattern condition-eq all (and (? condition-content) (* SP) (ignore "=") (* SP) condition-content)) (define-peg-pattern condition-neq all (and (? condition-content) (* SP) (ignore (and "!" "=")) (* SP) condition-content)) -(define-peg-pattern condition-content body (or condition-string condition-var)) +(define-peg-pattern condition-not all (and (ignore (and "!")) (* SP) condition-content)) +(define-peg-pattern condition-content body (or condition-paren condition-string condition-var)) (define-peg-pattern condition-content2 body (and condition-content (* SP) (not-followed-by (or "&" "=" "!")))) +(define-peg-pattern condition-paren body (and "(" condition-form ")")) (define-peg-pattern condition-string all (and QUOTE (* STRCHR) QUOTE)) -(define-peg-pattern condition-var all (+ (or (range #\a #\z) "-"))) +(define-peg-pattern condition-var all (+ (or (range #\a #\z) "-" ":"))) (define (get-opam-repository) "Update or fetch the latest version of the opam repository and return the @@ -171,18 +179,24 @@ path to the repository." (define (dependency->input dependency) (match dependency (('string-pat str) str) + ;; Arbitrary select the first dependency + (('choice-pat choice ...) (dependency->input (car choice))) (('conditional-value val condition) (if (native? condition) "" (dependency->input val))))) (define (dependency->native-input dependency) (match dependency (('string-pat str) "") + ;; Arbitrary select the first dependency + (('choice-pat choice ...) (dependency->input (car choice))) (('conditional-value val condition) (if (native? condition) (dependency->input val) "")))) (define (dependency->name dependency) (match dependency (('string-pat str) str) + ;; Arbitrary select the first dependency + (('choice-pat choice ...) (dependency->input (car choice))) (('conditional-value val condition) (dependency->name val)))) -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 2/9] import: opam: Use dune-build-system when possible. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:17:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405421416 (code B ref 35150); Thu, 04 Apr 2019 19:17:03 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:01 +0000 Received: from localhost ([127.0.0.1]:44695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rB-00006L-1a for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:01 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7r8-00005m-IP for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:16:59 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id a14177ab (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:31 +0200 Message-Id: <20190404191638.31953-2-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * guix/import/opam.scm (opam->guix-package): Detect when dune can be used. --- guix/import/opam.scm | 80 ++++++++++++++++++++++++++------------------ 1 file changed, 48 insertions(+), 32 deletions(-) diff --git a/guix/import/opam.scm b/guix/import/opam.scm index b5069cd2f3..5dcc0e97a3 100644 --- a/guix/import/opam.scm +++ b/guix/import/opam.scm @@ -247,39 +247,55 @@ path to the repository." (url-dict (metadata-ref opam-content "url")) (source-url (metadata-ref url-dict "src")) (requirements (metadata-ref opam-content "depends")) - (dependencies (dependency-list->names requirements)) + (dependencies (filter + (lambda (name) + (not (member name '("dune" "jbuilder")))) + (dependency-list->names requirements))) + (native-dependencies (depends->native-inputs requirements)) (inputs (dependency-list->inputs (depends->inputs requirements))) - (native-inputs (dependency-list->inputs (depends->native-inputs requirements)))) - (call-with-temporary-output-file - (lambda (temp port) - (and (url-fetch source-url temp) - (values - `(package - (name ,(ocaml-name->guix-name name)) - (version ,(if (string-prefix? "v" version) - (substring version 1) - version)) - (source - (origin - (method url-fetch) - (uri ,source-url) - (sha256 (base32 ,(guix-hash-url temp))))) - (build-system ocaml-build-system) - ,@(if (null? inputs) - '() - `((inputs ,(list 'quasiquote inputs)))) - ,@(if (null? native-inputs) - '() - `((native-inputs ,(list 'quasiquote native-inputs)))) - ,@(if (equal? name (guix-name->opam-name (ocaml-name->guix-name name))) - '() - `((properties - ,(list 'quasiquote `((upstream-name . ,name)))))) - (home-page ,(metadata-ref opam-content "homepage")) - (synopsis ,(metadata-ref opam-content "synopsis")) - (description ,(metadata-ref opam-content "description")) - (license #f)) - dependencies)))))) + (native-inputs (dependency-list->inputs + ;; Do not add dune nor jbuilder since they are + ;; implicit inputs of the dune-build-system. + (filter + (lambda (name) + (not (member name '("dune" "jbuilder")))) + native-dependencies)))) + ;; If one of these are required at build time, it means we + ;; can use the much nicer dune-build-system. + (let ((use-dune? (or (member "dune" native-dependencies) + (member "jbuilder" native-dependencies)))) + (call-with-temporary-output-file + (lambda (temp port) + (and (url-fetch source-url temp) + (values + `(package + (name ,(ocaml-name->guix-name name)) + (version ,(if (string-prefix? "v" version) + (substring version 1) + version)) + (source + (origin + (method url-fetch) + (uri ,source-url) + (sha256 (base32 ,(guix-hash-url temp))))) + (build-system ,(if use-dune? + 'dune-build-system + 'ocaml-build-system)) + ,@(if (null? inputs) + '() + `((inputs ,(list 'quasiquote inputs)))) + ,@(if (null? native-inputs) + '() + `((native-inputs ,(list 'quasiquote native-inputs)))) + ,@(if (equal? name (guix-name->opam-name (ocaml-name->guix-name name))) + '() + `((properties + ,(list 'quasiquote `((upstream-name . ,name)))))) + (home-page ,(metadata-ref opam-content "homepage")) + (synopsis ,(metadata-ref opam-content "synopsis")) + (description ,(metadata-ref opam-content "description")) + (license #f)) + dependencies))))))) (define (opam-recursive-import package-name) (recursive-import package-name #f -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 3/9] gnu: Add ocaml-opam-file-format. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:17:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405422426 (code B ref 35150); Thu, 04 Apr 2019 19:17:03 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:02 +0000 Received: from localhost ([127.0.0.1]:44698 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rB-00006e-K9 for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:01 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7r9-00005m-O9 for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:00 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id b50d4b06 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:32 +0200 Message-Id: <20190404191638.31953-3-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable. --- gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7bebf3921b..3b98de3ed7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -302,6 +302,33 @@ functional, imperative and object-oriented styles of programming.") for building OCaml library and programs.") (license license:lgpl2.1+))) +(define-public ocaml-opam-file-format + (package + (name "ocaml-opam-file-format") + (version "2.0.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/opam-file-format") + (commit version))) + (sha256 + (base32 + "0fqb99asnair0043hhc8r158d6krv5nzvymd0xwycr5y72yrp0hv")))) + (build-system ocaml-build-system) + (arguments + `(#:tests? #f; No tests + #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out") + "/lib/ocaml/site-lib")) + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (home-page "https://opam.ocaml.org") + (synopsis "Parser and printer for the opam file syntax") + (description "This package contains a parser and a pretty-printer for +the opam file fomat.") + ;; With static-linking exception + (license license:lgpl2.1+))) + (define-public opam (package (name "opam") -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 4/9] gnu: ocaml-cmdliner: Update to 1.0.3. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405425489 (code B ref 35150); Thu, 04 Apr 2019 19:18:02 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:05 +0000 Received: from localhost ([127.0.0.1]:44707 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rF-00007d-1m for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:05 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rA-00005m-LE for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:01 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 3ed60521 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:33 +0200 Message-Id: <20190404191638.31953-4-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3. --- gnu/packages/ocaml.scm | 30 ++++++++++++++++++------------ 1 file changed, 18 insertions(+), 12 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3b98de3ed7..839dc9fea1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1640,32 +1640,28 @@ spans without being subject to operating system calendar time adjustments.") (define-public ocaml-cmdliner (package (name "ocaml-cmdliner") - (version "1.0.2") + (version "1.0.3") (source (origin (method url-fetch) (uri (string-append "http://erratique.ch/software/cmdliner/releases/" "cmdliner-" version ".tbz")) (sha256 (base32 - "18jqphjiifljlh9jg8zpl6310p3iwyaqphdkmf89acyaix0s4kj1")))) + "0g3w4hvc1cx9x2yp5aqn6m2rl8lf9x1dn754hfq8m1sc1102lxna")))) (build-system ocaml-build-system) (inputs `(("ocaml-result" ,ocaml-result))) (native-inputs - `(("ocamlbuild" ,ocamlbuild) - ("opam" ,opam))) + `(("ocamlbuild" ,ocamlbuild))) (arguments `(#:tests? #f - #:build-flags '("native=true" "native-dynlink=true") + #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out") + "/lib/ocaml/site-lib/cmdliner")) #:phases (modify-phases %standard-phases - (replace 'install - ;; The makefile says 'adjust on cli invocation' - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (invoke "make" "install" (string-append "PREFIX=" out)) - #t))) (delete 'configure)))) + (properties + `((ocaml4.02-variant . ,(delay ocaml4.02-cmdliner)))) (home-page "http://erratique.ch/software/cmdliner") (synopsis "Declarative definition of command line interfaces for OCaml") (description "Cmdliner is a module for the declarative definition of command @@ -1677,7 +1673,17 @@ most of the POSIX and GNU conventions.") (license license:bsd-3))) (define-public ocaml4.02-cmdliner - (package-with-ocaml4.02 ocaml-cmdliner)) + (let ((base (package-with-ocaml4.02 (strip-ocaml4.02-variant ocaml-cmdliner)))) + (package + (inherit base) + (version "1.0.2") + (source (origin + (method url-fetch) + (uri (string-append "http://erratique.ch/software/cmdliner/releases/" + "cmdliner-" version ".tbz")) + (sha256 + (base32 + "18jqphjiifljlh9jg8zpl6310p3iwyaqphdkmf89acyaix0s4kj1"))))))) (define-public ocaml-fmt (package -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 5/9] gnu: Add ocaml-extlib. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405426497 (code B ref 35150); Thu, 04 Apr 2019 19:18:02 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:06 +0000 Received: from localhost ([127.0.0.1]:44709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rF-00007q-HU for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:05 -0400 Received: from lepiller.eu ([89.234.186.109]:59362) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rB-00006J-6V for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:02 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 8160d689 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:34 +0200 Message-Id: <20190404191638.31953-5-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-extlib): New variable. --- gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 839dc9fea1..023f8efa69 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -302,6 +302,33 @@ functional, imperative and object-oriented styles of programming.") for building OCaml library and programs.") (license license:lgpl2.1+))) +(define-public ocaml-extlib + (package + (name "ocaml-extlib") + (version "1.7.6") + (source (origin + (method url-fetch) + (uri (string-append "https://ygrek.org.ua/p/release/ocaml-extlib/" + "extlib-" version ".tar.gz")) + (sha256 + (base32 + "0wfs20v1yj5apdbj7214wdsr17ayh0qqq7ihidndvc8nmmwfa1dz")))) + (build-system ocaml-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs + `(("ocaml-cppo" ,ocaml-cppo))) + (home-page "https://github.com/ygrek/ocaml-extlib") + (synopsis "Complete and small extension for OCaml standard library") + (description "This library adds new functions to OCaml standard library +modules, modifies some functions in order to get better performances or +safety (tail-recursive) and also provides new modules which should be useful +for day to day programming.") + ;; With static-linking exception + (license license:lgpl2.1+))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 6/9] gnu: Add ocaml-cudf. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405427509 (code B ref 35150); Thu, 04 Apr 2019 19:18:03 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:07 +0000 Received: from localhost ([127.0.0.1]:44711 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rG-00007y-FV for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:06 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rB-00005m-Hn for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:02 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 446e874f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:35 +0200 Message-Id: <20190404191638.31953-6-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-cudf): New variable. --- gnu/packages/ocaml.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 023f8efa69..263a318e58 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -329,6 +329,40 @@ for day to day programming.") ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-cudf + (package + (name "ocaml-cudf") + (version "0.9") + (source + (origin + (method url-fetch) + (uri "https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz") + (sha256 + (base32 + "0771lwljqwwn3cryl0plny5a5dyyrj4z6bw66ha5n8yfbpcy8clr")))) + (build-system ocaml-build-system) + (propagated-inputs `(("ocaml-extlib" ,ocaml-extlib))) + (native-inputs + `(("perl" ,perl) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-ounit" ,ocaml-ounit))) + (arguments + `(#:make-flags + (list + "all" "opt" + (string-append "BINDIR=" (assoc-ref %outputs "out") + "/bin")) + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (home-page "http://www.mancoosi.org/cudf/") + (synopsis "CUDF library (part of the Mancoosi tools)") + (description "CUDF (for Common Upgradeability Description Format) is a +format for describing upgrade scenarios in package-based Free and Open Source +Software distribution.") + ;; With static-linking exception + (license license:lgpl2.1+))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 7/9] gnu: Add ocaml-mccs. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405427516 (code B ref 35150); Thu, 04 Apr 2019 19:18:03 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:07 +0000 Received: from localhost ([127.0.0.1]:44713 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rG-00008A-R7 for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:07 -0400 Received: from lepiller.eu ([89.234.186.109]:59362) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rC-00006J-Bf for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:03 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 59f799cc (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:54 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:36 +0200 Message-Id: <20190404191638.31953-7-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (ocaml-mccs): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 263a318e58..04d5a84d1a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -363,6 +363,34 @@ Software distribution.") ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-mccs + (package + (name "ocaml-mccs") + (version "1.1+9") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AltGr/ocaml-mccs") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc")))) + (build-system dune-build-system) + (propagated-inputs `(("ocaml-cudf" ,ocaml-cudf))) + (home-page "http://www.i3s.unice.fr/~cpjm/misc/") + (synopsis "Upgrade path problem solver") + (description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver. +Mccs take as input a CUDF problem and computes the best solution according to +a set of criteria. It relies on a Integer Programming solver or a +Pseudo Boolean solver to achieve its task. Mccs can use a wide set of +underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.") + (license (list + license:bsd-3 + license:gpl3+ + ;; With static-linking exception + license:lgpl2.1+)))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 9/9] gnu: opam: Unbundle dependencies. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405429525 (code B ref 35150); Thu, 04 Apr 2019 19:18:04 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:09 +0000 Received: from localhost ([127.0.0.1]:44715 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rI-00008N-Hy for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:08 -0400 Received: from lepiller.eu ([89.234.186.109]:59362) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rD-00006J-FW for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:05 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 116ca911 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:55 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:38 +0200 Message-Id: <20190404191638.31953-9-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system. [source]: Use unbundled sources. [arguments]: Update. [inputs, native-inputs, propagated-inputs]: Add missing dependencies. --- gnu/packages/ocaml.scm | 50 +++++++++++++++++++++++------------------- 1 file changed, 28 insertions(+), 22 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0613bc29c6..58746d45df 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -475,28 +475,28 @@ the opam file fomat.") (name "opam") (version "2.0.3") (source (origin - (method url-fetch) - ;; Use the '-full' version, which includes all the dependencies. - (uri (string-append - "https://github.com/ocaml/opam/releases/download/" - version "/opam-full-" version ".tar.gz") - ;; (string-append "https://github.com/ocaml/opam/archive/" - ;; version ".tar.gz") - ) + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/opam") + (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 - "1qphm1grxx5j8li7f9qfpih4ylrnjl08b4ym8ma4ln44l56xm285")))) - (build-system gnu-build-system) + "151zvyijrapi805xm0j88ixlrhdbssfagxr2i1w25aagcd18n5y4")))) + (build-system ocaml-build-system) (arguments - '(;; Sometimes, 'make -jX' would fail right after ./configure with - ;; "Fatal error: exception End_of_file". - #:parallel-build? #f + `(#:configure-flags + (list (string-append "SHELL=" + (assoc-ref %build-inputs "bash") + "/bin/sh")) ;; For some reason, 'ocp-build' needs $TERM to be set. - #:make-flags `("TERM=screen" - ,(string-append "SHELL=" - (assoc-ref %build-inputs "bash") - "/bin/sh")) + #:make-flags + (list "TERM=screen" + (string-append "SHELL=" + (assoc-ref %build-inputs "bash") + "/bin/sh")) + #:test-target "tests" ;; FIXME: There's an obscure test failure: @@ -522,12 +522,10 @@ the opam file fomat.") ;; isolated environment when building with opam. ;; This is necessary for packages to find external ;; dependencies, such as a C compiler, make, etc... - (("^add_mounts ro /usr") - "add_mounts ro /gnu /run/current-system /usr")) + (("^add_sys_mounts /usr") + "add_sys_mounts /gnu /run/current-system /usr")) (substitute* "src/client/opamInitDefaults.ml" (("\"bwrap\"") (string-append "\"" bwrap "\""))) - ;; Build dependencies - (apply invoke "make" "lib-ext" make-flags) #t))) (add-before 'check 'pre-check (lambda _ @@ -536,7 +534,9 @@ the opam file fomat.") (invoke "git" "config" "--global" "user.name" "Guix") #t))))) (native-inputs - `(("git" ,git) ;for the tests + `(("dune" ,dune) + ("git" ,git) ;for the tests + ("ocaml-cppo" ,ocaml-cppo) ("python" ,python) ;for the tests ("camlp4" ,camlp4))) (inputs @@ -544,6 +544,12 @@ the opam file fomat.") ("ncurses" ,ncurses) ("curl" ,curl) ("bubblewrap" ,bubblewrap))) + (propagated-inputs + `(("ocaml-cmdliner" ,ocaml-cmdliner) + ("ocaml-dose3" ,ocaml-dose3) + ("ocaml-mccs" ,ocaml-mccs) + ("ocaml-opam-file-format" ,ocaml-opam-file-format) + ("ocaml-re" ,ocaml-re))) (home-page "http://opam.ocamlpro.com/") (synopsis "Package manager for OCaml") (description -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 8/9] gnu: Add ocaml-dose3. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 04 Apr 2019 19:18:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.1554405433535 (code B ref 35150); Thu, 04 Apr 2019 19:18:05 +0000 Received: (at 35150) by debbugs.gnu.org; 4 Apr 2019 19:17:13 +0000 Received: from localhost ([127.0.0.1]:44717 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rI-00008Q-Ue for submit@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:13 -0400 Received: from lepiller.eu ([89.234.186.109]:59360) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7rC-00005m-RT for 35150@debbugs.gnu.org; Thu, 04 Apr 2019 15:17:06 -0400 Received: from localhost.localdomain (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id cd92d0a5 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150@debbugs.gnu.org>; Thu, 4 Apr 2019 19:16:55 +0000 (UTC) From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:37 +0200 Message-Id: <20190404191638.31953-8-julien@lepiller.eu> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) * gnu/packages/ocaml.scm (ocaml-dose3): New variable. * gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch: New file. * gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file. * gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file. * gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file. * gnu/local.mk (dist_patch_DATA): Add them. --- gnu/local.mk | 4 + gnu/packages/ocaml.scm | 52 +++++++ ...ependency-to-dose3.common-in-META.in.patch | 25 ++++ .../ocaml-dose3-Fix-for-ocaml-4.06.patch | 52 +++++++ .../ocaml-dose3-Install-mli-cmx-etc.patch | 133 ++++++++++++++++++ .../ocaml-dose3-dont-make-printconf.patch | 9 ++ 6 files changed, 275 insertions(+) create mode 100644 gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch create mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch create mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch create mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch diff --git a/gnu/local.mk b/gnu/local.mk index f9fd5d8fbc..858c13d8d7 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1103,6 +1103,10 @@ dist_patch_DATA = \ %D%/packages/patches/ocaml-CVE-2015-8869.patch \ %D%/packages/patches/ocaml-Add-a-.file-directive.patch \ %D%/packages/patches/ocaml-enable-ocamldoc-reproducibility.patch \ + %D%/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch \ + %D%/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch \ + %D%/packages/patches/ocaml-dose3-dont-make-printconf.patch \ + %D%/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch \ %D%/packages/patches/omake-fix-non-determinism.patch \ %D%/packages/patches/ola-readdir-r.patch \ %D%/packages/patches/openbabel-fix-crash-on-nwchem-output.patch \ diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 04d5a84d1a..0613bc29c6 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -57,6 +57,7 @@ #:use-module (gnu packages pkg-config) #:use-module (gnu packages protobuf) #:use-module (gnu packages python) + #:use-module (gnu packages python-xyz) #:use-module (gnu packages sdl) #:use-module (gnu packages sqlite) #:use-module (gnu packages tex) @@ -391,6 +392,57 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.") ;; With static-linking exception license:lgpl2.1+)))) +(define-public ocaml-dose3 + (package + (name "ocaml-dose3") + (version "5.0.1") + (source (origin + (method url-fetch) + (uri "https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz") + (sha256 + (base32 + "00yvyfm4j423zqndvgc1ycnmiffaa2l9ab40cyg23pf51qmzk2jm")) + (patches + (search-patches + "ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch" + "ocaml-dose3-Fix-for-ocaml-4.06.patch" + "ocaml-dose3-dont-make-printconf.patch" + "ocaml-dose3-Install-mli-cmx-etc.patch")))) + (build-system ocaml-build-system) + (arguments + `(#:configure-flags + (list (string-append "SHELL=" + (assoc-ref %build-inputs "bash") + "/bin/sh")) + #:make-flags + (list (string-append "LIBDIR=" + (assoc-ref %outputs "out") + "/lib/ocaml/site-lib")))) + (propagated-inputs + `(("ocaml-graph" ,ocaml-graph) + ("ocaml-cudf" ,ocaml-cudf) + ("ocaml-extlib" ,ocaml-extlib) + ("ocaml-re" ,ocaml-re))) + (native-inputs + `(("perl" ,perl) + ("python" ,python-2) ; for a test script + ("python2-pyyaml" ,python2-pyyaml) ; for a test script + ("ocaml-extlib" ,ocaml-extlib) + ("ocamlbuild" ,ocamlbuild) + ("ocaml-cppo" ,ocaml-cppo))) + (home-page "http://www.mancoosi.org/software/") + (synopsis "Package distribution management framework") + (description "Dose3 is a framework made of several OCaml libraries for +managing distribution packages and their dependencies. Though not tied to +any particular distribution, dose3 constitutes a pool of libraries which +enable analyzing packages coming from various distributions. Besides basic +functionalities for querying and setting package properties, dose3 also +implements algorithms for solving more complex problems such as monitoring +package evolutions, correct and complete dependency resolution and +repository-wide uninstallability checks.") + ;; with static-linking exception + (license license:lgpl2.1+))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") diff --git a/gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch b/gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch new file mode 100644 index 0000000000..d2cc44c784 --- /dev/null +++ b/gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch @@ -0,0 +1,25 @@ +From b94cf24739818e5aff397e0a83b19ea32dc81f42 Mon Sep 17 00:00:00 2001 +From: Louis Gesbert +Date: Tue, 6 Feb 2018 10:15:45 +0100 +Subject: [PATCH 3/3] Add "unix" as dependency to dose3.common in META.in + +--- + META.in | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/META.in b/META.in +index aa2cd8d..0f9d337 100644 +--- a/META.in ++++ b/META.in +@@ -8,7 +8,7 @@ package "common" ( + version = "@PACKAGE_VERSION@" + archive(byte) = "common.cma" + archive(native) = "common.cmxa" +-requires = "extlib, re.pcre, cudf, @ZIP@, @BZ2@" ++requires = "extlib, re.pcre, cudf, unix, @ZIP@, @BZ2@" + ) + + package "algo" ( +-- +2.11.0 + diff --git a/gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch b/gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch new file mode 100644 index 0000000000..2c344af821 --- /dev/null +++ b/gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch @@ -0,0 +1,52 @@ +From aeca7656f499d7f4595319858f242276920e31bb Mon Sep 17 00:00:00 2001 +From: Louis Gesbert +Date: Sat, 2 Dec 2017 12:51:01 +0100 +Subject: [PATCH] Fix for ocaml 4.06 + +--- + common/criteria_lexer.mll | 8 ++++---- + common/util.ml | 2 +- + 2 files changed, 5 insertions(+), 5 deletions(-) + +diff --git a/common/criteria_lexer.mll b/common/criteria_lexer.mll +index 71f9178..fc4eae3 100644 +--- a/common/criteria_lexer.mll ++++ b/common/criteria_lexer.mll +@@ -18,7 +18,7 @@ + let c = Lexing.lexeme_char lexbuf 2 in (* the delimiter can be any character *) + (* find the terminating delimiter *) + let endpos = +- try String.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with ++ try Bytes.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with + |Invalid_argument _ -> + raise (Format822.Syntax_error ( + Format822.error lexbuf "String too short")) +@@ -27,9 +27,9 @@ + Format822.error lexbuf (Printf.sprintf "cannot find: %c" c))) + in + let len = endpos - (lexbuf.lex_start_pos + 3) in +- let s = String.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in +- lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((String.length s)+4); +- s ++ let s = Bytes.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in ++ lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((Bytes.length s)+4); ++ Bytes.to_string s + + } + +diff --git a/common/util.ml b/common/util.ml +index 598f266..36ca3d1 100644 +--- a/common/util.ml ++++ b/common/util.ml +@@ -87,7 +87,7 @@ module MakeMessages(X : sig val label : string end) = struct + let clean label = + try + let s = Filename.chop_extension (Filename.basename label) in +- String.capitalize s ++ String.capitalize_ascii s + with Invalid_argument _ -> label + + let create ?(enabled=false) label = +-- +2.11.0 + diff --git a/gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch b/gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch new file mode 100644 index 0000000000..41494e7b3c --- /dev/null +++ b/gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch @@ -0,0 +1,133 @@ +From b5314c20d8e3caf62fe0dc96ad937a2950158b23 Mon Sep 17 00:00:00 2001 +From: Louis Gesbert +Date: Thu, 2 Mar 2017 12:19:56 +0100 +Subject: [PATCH] Install mli, cmx, etc. + +--- + Makefile | 26 +++++++++++++------------- + 1 file changed, 13 insertions(+), 13 deletions(-) + +diff --git a/Makefile b/Makefile +index 09464ff..5044d7f 100644 +--- a/Makefile ++++ b/Makefile +@@ -56,7 +56,7 @@ $(DOSELIBS)/cudf.%: + @for i in _build/cudf/cudf.*; do \ + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -67,7 +67,7 @@ $(DOSELIBS)/common.%: common/*.ml common/*.mli + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -78,7 +78,7 @@ $(DOSELIBS)/versioning.%: versioning/*.ml versioning/*.mli + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -88,7 +88,7 @@ $(DOSELIBS)/algo.%: algo/*.ml algo/*.mli $(DOSELIBS)/common.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -98,7 +98,7 @@ $(DOSELIBS)/debian.%: deb/*.ml deb/*.mli $(DOSELIBS)/pef.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -108,7 +108,7 @@ $(DOSELIBS)/opam.%: opam/*.ml opam/*.mli $(DOSELIBS)/pef.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -118,7 +118,7 @@ $(DOSELIBS)/npm.%: npm/*.ml npm/*.mli $(DOSELIBS)/versioning.% $(DOSELIBS)/pef.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -128,7 +128,7 @@ $(DOSELIBS)/rpm.%: rpm/*.ml $(DOSELIBS)/algo.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -138,7 +138,7 @@ $(DOSELIBS)/pef.%: pef/*.ml pef/*.mli + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -148,7 +148,7 @@ $(DOSELIBS)/csw.%: opencsw/*.ml $(DOSELIBS)/versioning.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ; \ ++ rm -f $(DOSELIBS)/*.mlpack ; \ + fi ; \ + done + +@@ -158,7 +158,7 @@ $(DOSELIBS)/doseparse.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ; \ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx $(DOSELIBS)/*.ml ; \ ++ rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.ml ; \ + fi ; \ + done + +@@ -168,7 +168,7 @@ $(DOSELIBS)/doseparseNoRpm.%: $(DOSELIBS)/pef.% $(DOSELIBS)/debian.% + if [ -e $$i ]; then \ + cp $$i $(DOSELIBS) ;\ + rm $$i ;\ +- rm -f $(DOSELIBS)/*.mlpack $(DOSELIBS)/*.cmx ;\ ++ rm -f $(DOSELIBS)/*.mlpack ;\ + fi ; \ + done + +@@ -223,7 +223,7 @@ INSTALL_STUFF_ = META + INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cma _build/doselibs/*.cmi) + INSTALL_STUFF_ += $(wildcard _build/doselibs/*.cmxa _build/doselibs/*.cmxs) + INSTALL_STUFF_ += $(wildcard _build/doselibs/*.a) +-#INSTALL_STUFF_ += $(wildcard _build/*/*.mli) ++INSTALL_STUFF_ += $(wildcard _build/doselibs/*.mli) $(wildcard _build/doselibs/*.cmti) $(wildcard _build/doselibs/*.cmx) + INSTALL_STUFF_ += $(wildcard _build/rpm/*.so) + + exclude_cudf = $(wildcard _build/doselibs/*cudf* _build/cudf/*) +-- +2.11.0 + diff --git a/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch b/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch new file mode 100644 index 0000000000..84b6a3b81b --- /dev/null +++ b/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch @@ -0,0 +1,9 @@ +--- a/configure ++++ b/configure +@@ -6552,6 +6552,3 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then + { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5 + $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} + fi +- +- +-make printconf -- 2.21.0 From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH 1/9] import: opam: Add more patterns to opam file parser. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 10 Apr 2019 15:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.15549089219824 (code B ref 35150); Wed, 10 Apr 2019 15:09:02 +0000 Received: (at 35150) by debbugs.gnu.org; 10 Apr 2019 15:08:41 +0000 Received: from localhost ([127.0.0.1]:53443 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEEq9-0002YN-AZ for submit@debbugs.gnu.org; Wed, 10 Apr 2019 11:08:41 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40272) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEEq5-0002Y5-9i for 35150@debbugs.gnu.org; Wed, 10 Apr 2019 11:08:39 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35788) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hEEpx-0000lJ-MB; Wed, 10 Apr 2019 11:08:30 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=44706 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1hEEpw-0005Ho-2T; Wed, 10 Apr 2019 11:08:29 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> Date: Wed, 10 Apr 2019 17:08:26 +0200 In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> (Julien Lepiller's message of "Thu, 4 Apr 2019 21:16:30 +0200") Message-ID: <87v9zlc2z9.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello, Julien Lepiller skribis: > * guix/import/opam.scm: Add more patterns to peg parser. It=E2=80=99d be nice to mention all the modified entities in the commit log. Apart from that it LGTM. Thanks, Ludo=E2=80=99. From unknown Fri Jun 13 11:07:06 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#35150] [PATCH] Unbundle opam dependencies Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 10 Apr 2019 15:10:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35150 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 35150@debbugs.gnu.org Received: via spool by 35150-submit@debbugs.gnu.org id=B35150.15549089589916 (code B ref 35150); Wed, 10 Apr 2019 15:10:02 +0000 Received: (at 35150) by debbugs.gnu.org; 10 Apr 2019 15:09:18 +0000 Received: from localhost ([127.0.0.1]:53447 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEEqj-0002Zs-O8 for submit@debbugs.gnu.org; Wed, 10 Apr 2019 11:09:17 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40418) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEEqi-0002Zf-QB for 35150@debbugs.gnu.org; Wed, 10 Apr 2019 11:09:17 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35791) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hEEqc-0001Rk-9y; Wed, 10 Apr 2019 11:09:10 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=44708 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1hEEqb-0005If-T3; Wed, 10 Apr 2019 11:09:10 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20190404205437.5fe1bd60@lepiller.eu> Date: Wed, 10 Apr 2019 17:09:08 +0200 In-Reply-To: <20190404205437.5fe1bd60@lepiller.eu> (Julien Lepiller's message of "Thu, 4 Apr 2019 20:54:36 +0200") Message-ID: <87r2a9c2y3.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello! Julien Lepiller skribis: > This patch series starts with two opam importer related patches: the > first one adds some more syntax to our parser, that I encountered when > importing opam dependencies. The second one makes the importer smarter > and make it choose the dune-build-system when possible. > > Then the following patches add dependencies, updates one of them (the > new version doesn't depend on opam anymore, thanksfully) and the last > one changes the source of opam to use an unbundled source (the git > repo). Nice work! I threw a glance at these patches and they LGTM. Thank you, Ludo=E2=80=99. From unknown Fri Jun 13 11:07:06 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Julien Lepiller Subject: bug#35150: closed (Re: [bug#35150] [PATCH] Unbundle opam dependencies) Message-ID: References: <20190410214843.6552494c@sybil.lepiller.eu> <20190404205437.5fe1bd60@lepiller.eu> X-Gnu-PR-Message: they-closed 35150 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 35150@debbugs.gnu.org Date: Wed, 10 Apr 2019 19:50:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1554925802-4343-1" This is a multi-part message in MIME format... ------------=_1554925802-4343-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #35150: [PATCH] Unbundle opam dependencies which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 35150@debbugs.gnu.org. --=20 35150: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D35150 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1554925802-4343-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 35150-done) by debbugs.gnu.org; 10 Apr 2019 19:49:06 +0000 Received: from localhost ([127.0.0.1]:53547 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEJDV-00016k-Pr for submit@debbugs.gnu.org; Wed, 10 Apr 2019 15:49:06 -0400 Received: from lepiller.eu ([89.234.186.109]:59420) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hEJDT-00016M-CC for 35150-done@debbugs.gnu.org; Wed, 10 Apr 2019 15:49:04 -0400 Received: from sybil.lepiller.eu (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id f4eea0c0 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <35150-done@debbugs.gnu.org>; Wed, 10 Apr 2019 19:48:55 +0000 (UTC) Date: Wed, 10 Apr 2019 21:48:43 +0200 From: Julien Lepiller To: 35150-done@debbugs.gnu.org Subject: Re: [bug#35150] [PATCH] Unbundle opam dependencies Message-ID: <20190410214843.6552494c@sybil.lepiller.eu> In-Reply-To: <87r2a9c2y3.fsf@gnu.org> References: <20190404205437.5fe1bd60@lepiller.eu> <87r2a9c2y3.fsf@gnu.org> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 35150-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Le Wed, 10 Apr 2019 17:09:08 +0200, Ludovic Court=C3=A8s a =C3=A9crit : > Hello! >=20 > Julien Lepiller skribis: >=20 > > This patch series starts with two opam importer related patches: the > > first one adds some more syntax to our parser, that I encountered > > when importing opam dependencies. The second one makes the importer > > smarter and make it choose the dune-build-system when possible. > > > > Then the following patches add dependencies, updates one of them > > (the new version doesn't depend on opam anymore, thanksfully) and > > the last one changes the source of opam to use an unbundled source > > (the git repo). =20 >=20 > Nice work! I threw a glance at these patches and they LGTM. >=20 > Thank you, > Ludo=E2=80=99. Thank you! pushed as 3e159dd0a46ba785f8a09bd86e6cacb5c1708bc9 - e9b86fa0f101536f620f1dc50bf414585823a8f6. ------------=_1554925802-4343-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 4 Apr 2019 18:55:08 +0000 Received: from localhost ([127.0.0.1]:44684 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7Vz-00081l-Pd for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:07 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59713) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hC7Vy-00081M-J1 for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:47605) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hC7Vt-0004np-BG for submit@debbugs.gnu.org; Thu, 04 Apr 2019 14:55:01 -0400 Received: from eggs.gnu.org ([209.51.188.92]:45857) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hC7Vs-0004tA-F6 for guix-patches@gnu.org; Thu, 04 Apr 2019 14:55:01 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hC7Vr-0004i3-KD for guix-patches@gnu.org; Thu, 04 Apr 2019 14:55:00 -0400 Received: from lepiller.eu ([89.234.186.109]:39260) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hC7Vr-0004aA-5U for guix-patches@gnu.org; Thu, 04 Apr 2019 14:54:59 -0400 Received: from localhost (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 4a180aae (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Thu, 4 Apr 2019 18:54:48 +0000 (UTC) Date: Thu, 4 Apr 2019 20:54:36 +0200 From: Julien Lepiller To: guix-patches@gnu.org Subject: [PATCH] Unbundle opam dependencies Message-ID: <20190404205437.5fe1bd60@lepiller.eu> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 89.234.186.109 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi! This patch series starts with two opam importer related patches: the first one adds some more syntax to our parser, that I encountered when importing opam dependencies. The second one makes the importer smarter and make it choose the dune-build-system when possible. Then the following patches add dependencies, updates one of them (the new version doesn't depend on opam anymore, thanksfully) and the last one changes the source of opam to use an unbundled source (the git repo). ------------=_1554925802-4343-1--