No longer needed stdlib-shims dependency

MetaCoq · Jul 9, 2024 · fc72216 · fc72216
1 parent 52fda99
commit fc72216
Show file tree

Hide file tree

Showing 10 changed files with 8 additions and 13 deletions.
diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
@@ -28,7 +28,6 @@ install: [
   [make "-C" "utils" "install"]
 ]
 depends: [
-  "stdlib-shims"
   "coq" { = "dev" }
   "coq-equations" { = "dev" }
 ]

diff --git a/erasure-plugin/Makefile.plugin.local b/erasure-plugin/Makefile.plugin.local
@@ -7,7 +7,7 @@ CAMLFLAGS+=-w -32 # Unused values
 CAMLFLAGS+=-w -34 # Unused types
 CAMLFLAGS+=-w -39 # Unused rec flags
 CAMLFLAGS+=-w -60 # Unused module in functor
-CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin,stdlib-shims
+CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin
 
 -include ../Makefile.conf
 

diff --git a/erasure-plugin/src/META.coq-metacoq-erasure b/erasure-plugin/src/META.coq-metacoq-erasure
@@ -1,7 +1,7 @@
 
 package "plugin" (
   directory = "."
-  requires = "coq-core.plugins.ltac coq-metacoq-template-ocaml.plugin stdlib-shims"
+  requires = "coq-core.plugins.ltac coq-metacoq-template-ocaml.plugin"
   archive(byte) = "metacoq_erasure_plugin.cma"
   archive(native) = "metacoq_erasure_plugin.cmxa"
   plugin(byte) = "metacoq_erasure_plugin.cma"

diff --git a/safechecker-plugin/Makefile.plugin.local b/safechecker-plugin/Makefile.plugin.local
@@ -7,7 +7,7 @@ CAMLFLAGS+=-w -32 # Unused values
 CAMLFLAGS+=-w -34 # Unused types
 CAMLFLAGS+=-w -39 # Unused rec flags
 CAMLFLAGS+=-w -60 # Unused module in functor
-CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin,stdlib-shims
+CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin
 
 -include ../Makefile.conf
 

diff --git a/safechecker-plugin/src/META.coq-metacoq-safechecker b/safechecker-plugin/src/META.coq-metacoq-safechecker
@@ -1,7 +1,7 @@
 
 package "plugin" (
   directory = "."
-  requires = "coq-core.plugins.ltac coq-metacoq-template-ocaml.plugin stdlib-shims"
+  requires = "coq-core.plugins.ltac coq-metacoq-template-ocaml.plugin"
   archive(byte) = "metacoq_safechecker_plugin.cma"
   archive(native) = "metacoq_safechecker_plugin.cmxa"
   plugin(byte) = "metacoq_safechecker_plugin.cma"

diff --git a/template-coq/META.coq-metacoq-template-coq b/template-coq/META.coq-metacoq-template-coq
@@ -2,9 +2,9 @@
 
 package "plugin" (
     description = "The MetaCoq Coq Template Plugin"
-    version = "8.8"
+    version = "8.20"
     directory = "src"
-    requires = "coq-core.plugins.ltac stdlib-shims"
+    requires = "coq-core.plugins.ltac"
     archive(byte) = "template_coq.cma"
     archive(native) = "template_coq.cmxa"
     plugin(byte) = "template_coq.cma"

diff --git a/template-coq/META.coq-metacoq-template-ocaml b/template-coq/META.coq-metacoq-template-ocaml
@@ -2,9 +2,8 @@
 
 package "plugin" (
     description = "The MetaCoq Template Library"
-    version = "8.8"
+    version = "8.20"
     directory = "gen-src"
-    requires = "stdlib-shims"
     archive(byte) = "metacoq_template_plugin.cma"
     archive(native) = "metacoq_template_plugin.cmxa"
     plugin(byte) = "metacoq_template_plugin.cma"

diff --git a/template-coq/Makefile.plugin.local b/template-coq/Makefile.plugin.local
@@ -1,4 +1,3 @@
-CAMLPKGS+=-package stdlib-shims
 INSTALLDEFAULTROOT=MetaCoq/Template
 
 CAMLFLAGS :=-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70

diff --git a/template-coq/Makefile.template.local b/template-coq/Makefile.template.local
@@ -1,3 +1 @@
-CAMLPKGS+=-package stdlib-shims
-
 .PHONY: META
diff --git a/test-suite/plugin-demo/Makefile.plugin.local b/test-suite/plugin-demo/Makefile.plugin.local
@@ -7,7 +7,7 @@ CAMLFLAGS+=-w -34 # Unused type
 CAMLFLAGS+=-w -60 # Unused module
 CAMLFLAGS+=-bin-annot # For merlin
 CAMLFLAGS+=-open Metacoq_template_plugin
-CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin,stdlib-shims
+CAMLPKGS+=-package coq-metacoq-template-ocaml.plugin
 
 -include ../../Makefile.conf