fix(CI): Remove coq-bignums beforehand & Ensure make -C tests runs …

…after `make install` (#87) Co-authored-by: Erik Martin-Dorel <[email protected]> Co-authored-by: Pierre Roux <[email protected]>
coq-community · Feb 16, 2024 · e6085d6 · e6085d6
1 parent 3885b1a
commit e6085d6
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -1,3 +1,5 @@
+# Beware not to destroy this file when regenerating it from meta.yml
+
 name: Docker CI
 
 on:
@@ -25,6 +27,14 @@ jobs:
         with:
           opam_file: 'coq-bignums.opam'
           custom_image: ${{ matrix.image }}
+          install: |
+            startGroup "Install dependencies"
+              # sudo apt-get update -y -q
+              opam remove -y coq-bignums # remove coq-bignums already in image
+              opam pin add -n -y -k path $PACKAGE $WORKDIR
+              opam update -y
+              opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+            endGroup
           export: 'OPAMWITHTEST'
         env:
           OPAMWITHTEST: 'true'

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"}
 ]