fix Makefile and opam files

MetaCoq · Nov 1, 2023 · e577333 · e577333
1 parent 7d0a7a6
commit e577333
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 
-all: printconf template-coq pcuic safechecker erasure erasure-plugin 
+all: printconf template-coq pcuic safechecker erasure erasure-plugin safechecker-plugin quotation
 
 -include Makefile.conf
 

diff --git a/coq-metacoq-common.opam b/coq-metacoq-common.opam
@@ -22,7 +22,7 @@ authors: ["Abhishek Anand <[email protected]>"
 license: "MIT"
 build: [
   ["bash" "./configure.sh"]
-  [make "-j" "%{jobs}%" "common"]
+  [make "-j" "%{jobs}%" "-C" "common"]
 ]
 install: [
   [make "-C" "common" "install"]

diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
@@ -22,7 +22,7 @@ authors: ["Abhishek Anand <[email protected]>"
 license: "MIT"
 build: [
   ["bash" "./configure.sh"]
-  [make "-j" "%{jobs}%" "template-coq"]
+  [make "-j" "%{jobs}%" "-C" "template-coq"]
 ]
 install: [
   [make "-C" "template-coq" "install"]