From 777e65b44b01ec41ce17fefe90f52046481e310b Mon Sep 17 00:00:00 2001 From: folivetti Date: Sun, 12 Jan 2025 09:04:00 -0300 Subject: [PATCH] compatiblity with GHC 9.12 and random-1.3 --- .github/workflows/release.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f02648d..5111878 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -72,7 +72,7 @@ jobs: name: Install dependencies run: | brew install nlopt - whereis libnlopt.dylib + ls $(brew --prefix)/nlopt/2.9.1/lib/ echo "PKG_CONFIG_PATH=${PKG_CONFIG_PATH}" echo "PKG_CONFIG_PATH=$(brew --prefix)/nlopt/2.9.1/lib/pkgconfig" >> "${GITHUB_ENV}" @@ -92,11 +92,11 @@ jobs: name: Build binary run: | mkdir dist - cabal install srtree:egraphGP --install-method=copy --overwrite-policy=always --installdir=dist - cabal install srtree:egraphSearch --install-method=copy --overwrite-policy=always --installdir=dist - cabal install srtree:srtools --install-method=copy --overwrite-policy=always --installdir=dist - cabal install srtree:rEGGression --install-method=copy --overwrite-policy=always --installdir=dist - cabal install srtree:srsimplify --install-method=copy --overwrite-policy=always --installdir=dist + stack build srtree:egraphGP --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config + stack build srtree:egraphSearch --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config + stack build srtree:srtools --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config + stack build srtree:rEGGression --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config + stack build srtree:srsimplify --copy-bins --local-bin-path=dist --flag nlopt:use-pkg-config - if: matrix.os == 'windows-latest' name: Set extension to .exe on Windows