Add tools/check-headers.sh to check whether headers are self-contained

Author: hebasto

.github/workflows/ci.yml

@@ -738,6 +738,21 @@ jobs:
             g++ -Werror include/*.h
             clang -Werror -x c++-header include/*.h
 
+  headers:
+    name: "Self-contained headers"
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v5
+
+      - name: Test script
+        run: |
+          ./tools/check-headers.sh \
+            src/field.h \
+            src/hash.h \
+            src/hash_impl.h
+
   sage:
     name: "SageMath prover"
     runs-on: ubuntu-latest

tools/check-headers.sh

@@ -0,0 +1,21 @@
+#!/bin/sh
+
+set -eu
+
+builddir=$(mktemp -d)
+trap 'rm -rf "$builddir"' EXIT INT TERM
+
+for header in "$@"; do
+    source_file="${builddir}/${header%.h}.c"
+    object_file="${builddir}/${header%.h}.o"
+    mkdir -p "$(dirname "$source_file")"
+    cp "$header" "$source_file"
+
+    cc -I include -I src -c "$source_file" -o "$object_file"
+    exit_code=$?
+    if [ $exit_code -ne 0 ]; then
+        exit $exit_code
+    fi
+
+    echo "$header... OK"
+done