From 3a08aa7722308818b55224b9d5b8ba6fa2458258 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sat, 14 Dec 2024 19:28:03 +0100 Subject: [PATCH] fix build of coq-mathcomp-multinomials.2.3.0 --- .../coq-mathcomp-multinomials.2.3.0/opam | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam index 7db1bd223..7cc5d5688 100644 --- a/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam +++ b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam @@ -5,13 +5,10 @@ bug-reports: "https://github.com/math-comp/multinomials/issues" dev-repo: "git+https://github.com/math-comp/multinomials.git" license: "CECILL-B" authors: ["Pierre-Yves Strub"] -build: [ - [ "dune" "build" "-p" name "-j" jobs ] -] +build: [make "-j%{jobs}%"] +install: [make "install"] depends: [ "coq" {(>= "8.16" & < "8.21~") | = "dev"} - "coq-elpi" {< "2.2.1~"} - "dune" {>= "3.8"} "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~") | = "dev"} "coq-mathcomp-algebra" "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}