update envs again

libsemigroups · Apr 2, 2024 · 6a4817f · 6a4817f
1 parent 5a67b1b
commit 6a4817f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -20,7 +20,7 @@ jobs:
         shell: bash -l {0}
     env:
       PKG_CONFIG_PATH: "/home/runner/micromamba-root/envs/libsemigroups/lib/pkgconfig:/home/runner/micromamba-root/envs/libsemigroups/share/pkgconfig/"
-      LD_LIBRARY_PATH: "/home/runner/micromamba-root/envs/libsemigroups/lib"
+      LD_LIBRARY_PATH: "/home/runner/micromamba-root/envs/libsemigroups/lib:/usr/local/lib"
     steps:
       - uses: actions/checkout@v4
       - name: "Create micromamba environment"
@@ -35,7 +35,6 @@ jobs:
           git clone --depth 1 --branch refactor-knuth-bendix https://github.com/Joseph-Edwards/libsemigroups.git
           cd libsemigroups
           ./autogen.sh && ./configure CXXFLAGS='-O3 -g'  --disable-hpcombi && sudo make install -j8
-          LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
       - name: "Python version . . ."
         run: |
           python --version