From 4a91351061032d9dee11d49187d7ec93bf00486f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 23 Dec 2023 18:14:10 -0800 Subject: [PATCH] Fix Arch Linux --- .github/workflows/coq-archlinux.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml index b3632e3c7b..0a2448601c 100644 --- 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