From 8089c8f16819fb7f507ecc4eaff33bc3177569c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Mon, 22 Jul 2024 11:15:00 +0200 Subject: [PATCH] hinhinhin --- .github/workflows/build_static.yml | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/.github/workflows/build_static.yml b/.github/workflows/build_static.yml index 1217adcc2..12721b00f 100644 --- a/.github/workflows/build_static.yml +++ b/.github/workflows/build_static.yml @@ -85,26 +85,23 @@ jobs: # the ocaml user do not have rights on it. - run: CURRENTDIR=$(basename $(pwd)); git config --global --add safe.directory /__w/$CURRENTDIR/$CURRENTDIR - # - name: Install static dependencies - # run: sudo apk add zlib-static + - name: Install static dependencies + run: sudo apk add zlib-static - # - run: opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers + - run: opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers - # - run: opam exec -- dune subst + - run: opam exec -- dune subst - # - name: Build statically linked binary - # run: opam exec -- dune build --release @install --promote-install-files false - # env: - # LINK_MODE: static + - name: Build statically linked binary + run: opam exec -- dune build --release @install --promote-install-files false + env: + LINK_MODE: static - # - run: opam exec -- dune install -p alt-ergo --create-install-files --prefix opt/alt-ergo --relocatable + - run: opam exec -- dune install -p alt-ergo --create-install-files --prefix opt/alt-ergo --relocatable - name: WHAT THE FUCK run: git describe --always --dirty --abbrev=7 - - name: WHAT THE HECK - run: git describe --tags - - name: WHAT THE DUCK run: _destdir/opt/alt-ergo/bin/alt-ergo --version