Fix makefile

mattam82 · mattam82 · commit 58b6b92bb410 · 2025-04-23T14:15:41.000+02:00
diff --git a/Makefile b/Makefile
@@ -2,9 +2,10 @@ ifeq (3.82,$(firstword $(sort $(MAKE_VERSION) 3.82)))
   # stuff that requires make-3.82 or higher
   undefine COQPATH
 endif
-ifdef out
-	PREFIX=${out}
-	INSTALLOPT="--prefix=${PREFIX} --libdir ${OCAMLFIND_DESTDIR}"
+ifeq ($(out),)
+else
+	PREFIX=$(out)
+	INSTALLOPT=--prefix=${PREFIX} --libdir ${OCAMLFIND_DESTDIR}
 endif
 
 all: rocq extraction_plugin extraction_ocaml_ffi plugin bootstrap
diff --git a/rocq-verified-extraction.opam b/rocq-verified-extraction.opam
@@ -13,7 +13,7 @@ build: [
   [make]
 ]
 install: [
-  [make "-j%{jobs}%" install]
+  [make "-j%{jobs}%" "install"]
 ]
 depends: [
   "rocq-core" { >= "9.0" }
@@ -22,3 +22,9 @@ depends: [
   "rocq-metarocq-erasure-plugin" { = "1.4+9.0" }
   "malfunction" { >= "0.7" }
 ]
+tags: [
+  "keyword:extraction"
+  "category:Miscellaneous/Rocq Extensions"
+  "date:2025-04-23"
+  "logpath:VerifiedExtraction"
+]

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ build: [`
`13`	`13`	`[make]`
`14`	`14`	`]`
`15`	`15`	`install: [`
`16`		`- [make "-j%{jobs}%" install]`
	`16`	`+ [make "-j%{jobs}%" "install"]`
`17`	`17`	`]`
`18`	`18`	`depends: [`
`19`	`19`	`"rocq-core" { >= "9.0" }`
`@@ -22,3 +22,9 @@ depends: [`
`22`	`22`	`"rocq-metarocq-erasure-plugin" { = "1.4+9.0" }`
`23`	`23`	`"malfunction" { >= "0.7" }`
`24`	`24`	`]`
	`25`	`+tags: [`
	`26`	`+ "keyword:extraction"`
	`27`	`+ "category:Miscellaneous/Rocq Extensions"`
	`28`	`+ "date:2025-04-23"`
	`29`	`+ "logpath:VerifiedExtraction"`
	`30`	`+]`