testing

CakeML · Dec 28, 2024 · 5dd187b · 5dd187b
1 parent f52bc18
commit 5dd187b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
@@ -37,7 +37,9 @@ jobs:
 
     steps:
     - name: Update PATH
-      run: echo "$HOLDIR/bin" >> $GITHUB_PATH
+      run: |
+        echo "$HOLDIR/bin" >> $GITHUB_PATH
+        echo $LD_LIBRARY_PATH
     - name: Get build-essentials
       run: |
         apt update
@@ -81,10 +83,12 @@ jobs:
         cd $CAKEMLDIR
         echo "CAKEML_SHA=$(git rev-parse HEAD)" >> $GITHUB_OUTPUT
         echo "CAKEML_SHORT_SHA=$(git rev-parse --short HEAD)" >> $GITHUB_OUTPUT
+        echo $LD_LIBRARY_PATH
 
     - name: Build HOL4
       run: |
         cd $HOLDIR
+        echo $LD_LIBRARY_PATH
         poly < tools/smart-configure.sml
         bin/build