Update svf-teaching.yml

SVF-tools · Jan 27, 2025 · c6c3f46 · c6c3f46
1 parent 5689724
commit c6c3f46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/svf-teaching.yml b/.github/workflows/svf-teaching.yml
@@ -33,7 +33,7 @@ jobs:
           sudo apt-get update
           sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
           sudo apt-get update
-          sudo apt-get install cmake gcc g++ nodejs doxygen graphviz lcov libncurses5-dev libtinfo5 libzstd-dev
+          sudo apt-get install cmake gcc g++ nodejs doxygen graphviz lcov libncurses5-dev libtinfo6 libzstd-dev
 
       # install llvm and svf
       - name: env-setup
@@ -49,4 +49,4 @@ jobs:
           echo "LLVM_DIR="$LLVM_DIR
           echo "Z3_DIR="$Z3_DIR
           cmake .
-          make
+          make