Revert to 093014c

Author: felsenhower

.github/workflows/soundness_check.yaml

@@ -11,8 +11,6 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
-        with:
-          submodules: 'true'
 
       - name: Install Valgrind
         run: sudo apt-get update && sudo apt-get install -y valgrind

.gitmodules

@@ -59,13 +59,6 @@ inputs:
 runs:
   using: "composite"
   steps:
-    - name: Init submodules
-      shell: bash
-      run: |
-        set -e
-        cd "$GITHUB_ACTION_PATH"
-        git submodule update --init --recursive
-
     - name: Install uv
       uses: astral-sh/setup-uv@v6
       with:

action.yaml

@@ -1,6 +1,6 @@
 [project]
 name = "partdiff_tester"
-version = "0.1.6"
+version = "0.1.4"
 description = "Correctness checker for partdiff"
 readme = "README.md"
 requires-python = ">=3.13"

pyproject.toml

@@ -0,0 +1,10 @@
+CFLAGS  = -std=c11 -Wall -Wextra -Wpedantic -O3 -g
+LDFLAGS = $(CFLAGS)
+LDLIBS  = -lm
+
+all: partdiff
+
+partdiff: partdiff.o
+
+clean:
+	$(RM) partdiff.o partdiff