[CI] [Alpine] Demonstrate workaround

JasonGross · Dec 23, 2023 · 79ca97a · 79ca97a
1 parent e6a340d
commit 79ca97a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -39,6 +39,12 @@ jobs:
         branch: ${{ matrix.alpine }}
         extra-repositories: https://dl-cdn.alpinelinux.org/alpine/edge/testing
         packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash
+    - name: work around coq issue 15663
+      shell: alpine.sh --root {0}
+      run: |
+        ln -s /usr/lib/coq /usr/lib/ocaml/coq
+        ln -s /usr/lib/coq-core /usr/lib/ocaml/coq-core
+        ln -s /usr/lib/coqide-server /usr/lib/ocaml/coqide-server
     - name: chroot build params
       shell: alpine.sh {0}
       run: etc/ci/describe-system-config.sh