From 710dba430576e0607ca99c8bbc638cd3b8900d5f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 20 Sep 2024 11:21:02 -0700 Subject: [PATCH] setup OCaml fails with CC=gcc --- .github/workflows/coq-windows.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index b2be4b043d..cb8d90a69b 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -31,8 +31,7 @@ jobs: COQCHKEXTRAFLAGS: "" OPAMYES: "true" OPAMCONFIRMLEVEL: "unsafe-yes" - CC: "gcc" # there doesn't seem to be a way to make opam install cc - + steps: - uses: actions/checkout@v4 with: @@ -54,7 +53,7 @@ jobs: - name: echo build params run: .\etc\ci\describe-system-config-win.ps1 - name: deps - run: opam exec -- bash etc/ci/github-actions-make.sh -j${{ env.NJOBS }} deps + run: opam exec -- bash etc/ci/github-actions-make.sh -j${{ env.NJOBS }} CC=gcc deps - name: standalone-ocaml run: opam exec -- bash etc/ci/github-actions-make.sh -j${{ env.NJOBS }} standalone-ocaml - name: install-standalone-unified-ocaml