Fix Arch Linux

JasonGross · Dec 24, 2023 · 4a91351 · 4a91351
1 parent ca34726
commit 4a91351
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml
@@ -23,19 +23,21 @@ jobs:
       cancel-in-progress: true
 
     steps:
+    - name: Install system dependencies
+      run: |
+        pacman --noconfirm -Syu base-devel git make python3 which jq ghc time diffutils coq ocaml-zarith --needed
     - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: host build params
       run: etc/ci/describe-system-config.sh
-    - name: Install system dependencies
-      run: |
-        sudo pacman --noconfirm -Syu coq ocaml-findlib ocaml-zarith jq
     - name: work around coq issue 15663
       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: Work around https://github.com/actions/checkout/issues/766
+      run: git config --global --add safe.directory "*"
     - name: chroot build params
       run: etc/ci/describe-system-config.sh
     - name: make deps