Install CReduce ourselves

Author: DRMacIver

.github/workflows/ci.yml

@@ -22,18 +22,11 @@ jobs:
         python-version: ${{ matrix.python-version }}
         cache: 'pip'
 
-    - name: Cache apt packages
-      uses: actions/cache@v3
-      with:
-        path: /var/cache/apt
-        key: ${{ runner.os }}-apt-${{ hashFiles('.github/workflows/ci.yml') }}
-        restore-keys: |
-          ${{ runner.os }}-apt-
-
     - name: Install system dependencies
       run: |
         sudo apt-get update
-        sudo apt-get install -y minisat creduce libllvm18 llvm-18-dev llvm-18
+        sudo apt-get install -y minisat libllvm18 llvm-18-dev llvm-18
+        ./scripts/install-creduce.sh
 
     - name: Cache pip dependencies
       uses: actions/cache@v3

scripts/install-creduce.sh

@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+
+if [ -e /usr/libexec/clang_delta ] && /usr/libexec/clang_delta --help ; then
+
+echo "CReduce already installed and working"
+
+else
+
+set -e -u -x
+
+cd $(mktemp -d)
+git clone https://github.com/csmith-project/creduce.git
+cd creduce
+./configure
+make
+sudo make install
+
+fi