Install conf-gcc for cc -O0 special/stackloop.c -o special/stackloop

mit-plv · Sep 20, 2024 · d419cf1 · d419cf1
1 parent 8de1f27
commit d419cf1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -47,7 +47,7 @@ jobs:
     - run: opam pin add ocamlfind 'git+https://github.com/ocaml/ocamlfind.git#master'
     - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}
     - run: opam install js_of_ocaml
-    - run: opam install conf-time
+    - run: opam install conf-time conf-gcc
     - name: Work around https://github.com/actions/checkout/issues/766
       run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"'
     - name: echo build params