fix Makefile and opam files

yforster · yforster · commit b33a9bd92a27 · 2023-11-01T15:39:30.000+01:00
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 <aa755@cs.cornell.edu>"
 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 <aa755@cs.cornell.edu>"
 license: "MIT"
 build: [
   ["bash" "./configure.sh"]
-  [make "-j" "%{jobs}%" "template-coq"]
+  [make "-j" "%{jobs}%" "-C" "template-coq"]
 ]
 install: [
   [make "-C" "template-coq" "install"]

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`
`2`		`-all: printconf template-coq pcuic safechecker erasure erasure-plugin`
	`2`	`+all: printconf template-coq pcuic safechecker erasure erasure-plugin safechecker-plugin quotation`
`3`	`3`
`4`	`4`	`-include Makefile.conf`
`5`	`5`
Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ authors: ["Abhishek Anand <aa755@cs.cornell.edu>"`
`22`	`22`	`license: "MIT"`
`23`	`23`	`build: [`
`24`	`24`	`["bash" "./configure.sh"]`
`25`		`- [make "-j" "%{jobs}%" "common"]`
	`25`	`+ [make "-j" "%{jobs}%" "-C" "common"]`
`26`	`26`	`]`
`27`	`27`	`install: [`
`28`	`28`	`[make "-C" "common" "install"]`