compatiblity with GHC 9.12 and random-1.3

folivetti · Jan 12, 2025 · 777e65b · 777e65b
1 parent 37f4784
commit 777e65b
Showing 1 changed file with 6 additions and 6 deletions.
diff --git 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