Merge pull request #3285 from proux01/stdlib_repo

Adapt to coq/coq#19975 (Give Stdlib its own repository)
coq · Jan 13, 2025 · 7c01ee2 · 7c01ee2
2 parents 30ad80d + 31de2b9
commit 7c01ee2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 12 deletions.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -19,20 +19,19 @@ authors: ["The Coq development team, INRIA, CNRS, and contributors"]
 license: "LGPL-2.1-only"
 homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
-bug-reports: "https://github.com/coq/coq/issues"
+bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "dune" {>= "3.8"}
   "coq-core"
   "rocq-stdlib" {= version}
   "odoc" {with-doc}
 ]
 depopts: ["coq-native"]
-dev-repo: "git+https://github.com/coq/coq.git"
+dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
-  ["sh" "-c" "echo '(dirs stdlib)' > dune"]
   ["dune" "subst"] {dev}
   [
-    "stdlib/dev/with-rocq-wrap.sh"
+    "dev/with-rocq-wrap.sh"
     "dune"
     "build"
     "-p"
@@ -43,9 +42,8 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["mv" "stdlib/coq-stdlib.install" "."]
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/stdlib.git#master"
 }
diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -19,20 +19,19 @@ authors: ["The Rocq development team, INRIA, CNRS, and contributors"]
 license: "LGPL-2.1-only"
 homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
-bug-reports: "https://github.com/coq/coq/issues"
+bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
   "dune" {>= "3.8"}
   "rocq-runtime"
   "rocq-core" {= version}
   "odoc" {with-doc}
 ]
 depopts: ["coq-native"]
-dev-repo: "git+https://github.com/coq/coq.git"
+dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
-  ["sh" "-c" "echo '(dirs stdlib)' > dune"]
   ["dune" "subst"] {dev}
   [
-    "stdlib/dev/with-rocq-wrap.sh"
+    "dev/with-rocq-wrap.sh"
     "dune"
     "build"
     "-p"
@@ -43,9 +42,8 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["mv" "stdlib/rocq-stdlib.install" "."]
 ]
 
 url {
-  src: "git+https://github.com/coq/coq.git#master"
+  src: "git+https://github.com/coq/stdlib.git#master"
 }