From b30d76f9517e6e1a924d45a026038426913b5a0c Mon Sep 17 00:00:00 2001 From: Stefan Wehr Date: Mon, 13 Jan 2025 14:51:30 +0100 Subject: [PATCH 1/2] add extra src file --- HTF.cabal | 1 + 1 file changed, 1 insertion(+) diff --git a/HTF.cabal b/HTF.cabal index cf33b2f..59bb887 100644 --- a/HTF.cabal +++ b/HTF.cabal @@ -48,6 +48,7 @@ Extra-Source-Files: stack-ghc-9.0.yaml stack-ghc-9.2.yaml stack-ghc-9.4.yaml + stack-ghc-9.6.yaml tests/bbt/should_fail/BBTArgs tests/bbt/should_fail/*.err tests/bbt/should_fail/*.out From cb9a5e63d367c11273ca3a513468ebd1e3797f12 Mon Sep 17 00:00:00 2001 From: Stefan Wehr Date: Mon, 13 Jan 2025 15:15:40 +0100 Subject: [PATCH 2/2] fix local-htfpp --- scripts/local-htfpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/local-htfpp b/scripts/local-htfpp index 1fdd7b4..a28a303 100755 --- a/scripts/local-htfpp +++ b/scripts/local-htfpp @@ -25,7 +25,9 @@ function find_bin() } find_bin - +if [ -z "$bin" ]; then + bin=$(cd "$TOP" && cabal list-bin htfpp) +fi if [ -z "$bin" ]; then echo "TOP=$TOP" >&2 echo "dist=$dist" >&2