Downgrade to souffle 2.2

luc-tielen · May 5, 2024 · d8456aa · d8456aa
1 parent 1843f11
commit d8456aa
Show file tree

Hide file tree

Showing 5 changed files with 905 additions and 1,718 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,9 +31,9 @@ jobs:
           cabal-version: 'latest'
       - name: Install Souffle
         run: |
-          wget https://github.com/souffle-lang/souffle/releases/download/2.3/x86_64-ubuntu-2004-souffle-2.3-Linux.deb
+          wget https://github.com/souffle-lang/souffle/releases/download/2.2/x86_64-ubuntu-2004-souffle-2.2-Linux.deb
           sudo apt install mcpp libffi7
-          sudo dpkg -i ./x86_64-ubuntu-2004-souffle-2.3-Linux.deb
+          sudo dpkg -i ./x86_64-ubuntu-2004-souffle-2.2-Linux.deb
       - name: Cache
         uses: actions/[email protected]
         with:

diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM primordus/souffle-ubuntu:2.3
+FROM primordus/souffle-ubuntu:2.2
 
 SHELL [ "/bin/bash", "-c" ]