chore: Add script to recompile the ECC sets (#514)

- Moves the loose ECC files into `test_files/eccs`
- Adds a `just recompile-eccs` command / script to regenerate the `.rwr`
files.

Note that the compilation is not deterministic, so we should avoid
running it unless needed to avoid bloating the git history.

---------

Co-authored-by: Douglas Wilson <douglas.wilson@quantinuum.com>

Author: aborgna-q

.gitattributes

@@ -0,0 +1,3 @@
+
+# Compiled ECC files
+*.rwr binary

Cargo.toml

@@ -25,6 +25,7 @@ missing_docs = "warn"
 
 [workspace.dependencies]
 
+# Make sure to run `just recompile-eccs` if the hugr serialisation format changes.
 hugr = "0.9.1"
 hugr-cli = "0.2.1"
 hugr-core = "0.6.1"

justfile

@@ -44,6 +44,10 @@ coverage language="[rust|python]": (_run_lang language \
 shell:
     poetry shell
 
+# Runs `compile-rewriter` on the ECCs in `test_files/eccs`
+recompile-eccs:
+    scripts/compile-test-eccs.sh
+
 
 # Runs a rust and a python command, depending on the `language` variable.
 #

scripts/compile-test-eccs.sh

@@ -0,0 +1,33 @@
+#!/usr/bin/env bash
+
+# This script calls `compile-rewriter` to recompile all ECC sets in the
+# `test_files/eccs/` directory.
+#
+# Note that the output is not deterministic, so the resulting `.rwr` will always
+# be different even if the input and the compiler are the same.
+set -euo pipefail
+
+# Get the directory of this script
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+ECCS_DIR="$DIR/../test_files/eccs"
+
+# Command to call compile-rewriter with cargo
+COMPILE_REWRITER="cargo run --release -p compile-rewriter --"
+
+# Compile all json files into `.rwr`
+for ecc in $ECCS_DIR/*.json; do
+    echo "-------- Compiling $ecc"
+    $COMPILE_REWRITER -i "$ecc" -o "${ecc%.json}.rwr"
+done
+
+# Additional hard-coded step:
+# The python package contains a copy of the nam_6_3 ecc,
+# which must be manually copied.
+PY_ECCS_DIR="$DIR/../tket2-py/tket2/data"
+nam_6_3="$ECCS_DIR/nam_6_3.rwr"
+PY_NAM_6_3="$PY_ECCS_DIR/nam_6_3.rwr"
+
+echo "Copying $nam_6_3 to $PY_NAM_6_3"
+cp -f "$nam_6_3" "$PY_NAM_6_3"
+
+echo "Done!"