compatiblity with GHC 9.12 and random-1.3

folivetti · Jan 12, 2025 · 14eff27 · 14eff27
1 parent 70fe02c
commit 14eff27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -81,7 +81,7 @@ jobs:
           curl -L https://github.com/stevengj/NLoptBuilder/releases/download/v2.6.1/NLopt.v2.6.1.i686-w64-mingw32.tar.gz -o nlopt.tar.gz
           tar zxvf nlopt.tar.gz -C /d/a/nlopt
           dir /d/a/nlopt
-          echo "PATH=$PATH:/d/a/nlopt/bin:/d/a/nlopt/lib:/d/a/nlopt/include" >> $GITHUB_ENV
+          cp /d/a/nlopt/bin/* /usr/lib
           mkdir dist
           cabal install exe:egraphGP --install-method=copy --overwrite-policy=always --installdir=dist --extra-lib-dirs=/d/a/nlopt/lib --extra-lib-dirs=/d/a/nlopt/bin --extra-include-dirs=/d/a/nlopt/include
         #  cabal install exe:egraphSearch --install-method=copy --overwrite-policy=always --installdir=dist --extra-lib-dirs=nlopt/lib --extra-lib-dirs=nlopt/bin --extra-include-dirs=nlopt/include