fix: Ensure "make -C tests" runs after "make install"

coq-community · Feb 16, 2024 · adc6240 · adc6240
1 parent 4c008f2
commit adc6240
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/coq-bignums.opam b/coq-bignums.opam
@@ -13,10 +13,12 @@ This Coq library provides BigN, BigZ, and BigQ that used to
 be part of the standard library."""
 
 build: [make "-j%{jobs}%"]
-run-test: [make "-C" "tests" "-j%{jobs}%"]
-install: [make "install"]
+install: [
+  [make "install"]
+  [make "-C" "tests" "-j%{jobs}%"] {with-test}
+]
 depends: [
-  "ocaml" 
+  "ocaml"
   "coq" {= "dev"}
 ]