From de539e964fbeb2b700bc91552a09736d68d66abc Mon Sep 17 00:00:00 2001 From: Kartik Singhal Date: Wed, 13 Nov 2024 07:16:38 -0600 Subject: [PATCH] chore: remove dead code and update notes (#141) Follow up to #119 --- hugr-llvm/scripts/generate_guppy_hugrs.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100755 hugr-llvm/scripts/generate_guppy_hugrs.sh diff --git a/hugr-llvm/scripts/generate_guppy_hugrs.sh b/hugr-llvm/scripts/generate_guppy_hugrs.sh deleted file mode 100755 index aa2dea86a..000000000 --- a/hugr-llvm/scripts/generate_guppy_hugrs.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -set -euo pipefail - -DIR="$( cd "$( dirname "$0" )" && pwd )" -{ - cd "$DIR/.." - poetry install - for case in tests/guppy_test_cases/*.py; do - poetry run python "$case" >"$case.json" - done -}