From ee8ecd8bd9f955b95d894f07005186f09005ad1d Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Thu, 14 Mar 2024 16:24:31 +0100 Subject: [PATCH] Try fix for binary release Suggested by https://github.com/nberth/ez-conf-lib/issues/4#issuecomment-1997699177 --- .github/workflows/binary-releases.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/binary-releases.yml b/.github/workflows/binary-releases.yml index 48ef6fc8..d31a8e49 100644 --- a/.github/workflows/binary-releases.yml +++ b/.github/workflows/binary-releases.yml @@ -109,7 +109,7 @@ jobs: ( cd mpfr-4.1.0; CC=musl-gcc ./configure --prefix /tmp/gmp-prefix -with-gmp=/tmp/gmp-prefix && make && make install ) eval $(opam env) opam update - MPFR_PREFIX=/tmp/gmp-prefix GMP_PREFIX=/tmp/gmp-prefix make init-without-switch + CPPFLAGS=-I/tmp/gmp-prefix/include LDFLAGS=-L/tmp/gmp-prefix/lib make init-without-switch - name: Make mlang binary run: |