compatiblity with GHC 9.12 and random-1.3

folivetti · Jan 12, 2025 · be4b7df · be4b7df
1 parent 0903edc
commit be4b7df
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -96,11 +96,7 @@ jobs:
         name: Build binary
         run: |
           mkdir dist
-          stack build srtree:egraphGP --copy-bins --local-bin-path=dist 
-          stack build srtree:egraphSearch --copy-bins --local-bin-path=dist 
-          stack build srtree:srtools --copy-bins --local-bin-path=dist 
-          stack build srtree:rEGGression --copy-bins --local-bin-path=dist 
-          stack build srtree:srsimplify --copy-bins --local-bin-path=dist 
+          cabal install srtree:egraphGP --install-method=copy --overwrite-policy=always --installdir=dist
 
       - if: matrix.os == 'windows-latest'
         name: Set extension to .exe on Windows