[ refactor ] share more code

Author: gallais

tests/_config/config.sh

@@ -0,0 +1,18 @@
+#!/bin/sh
+
+# This script is intended to be sourced from test scripts.
+#
+# It provides a number of default config options corresponding
+# to the compiler versions the stdlib is being tested with
+#
+# Usage: . PATH/TO/config.sh
+
+set -e
+
+if [ -z ${AGDA_EXEC} ]; then
+    export AGDA_EXEC=agda-2.6.4
+fi
+
+if [ -z ${GHC_EXEC} ]; then
+  export GHC_EXEC=ghc-9.2.8
+fi

tests/show/num/num.cabal renamed to tests/_config/template.cabal

@@ -1,5 +1,5 @@
 cabal-version:   2.4
-name:            num
+name:            TEST_NAME
 version:         2.0
 build-type:      Simple
 description:     Run this test
@@ -21,7 +21,7 @@ common common-build-parameters
 
   ghc-options: -Wno-missing-home-modules
 
-executable num
+executable TEST_NAME
   import:           common-build-parameters
   hs-source-dirs:   _build
   main-is:          MAlonzo/Code/Main.hs

tests/show/num/run

@@ -1,7 +1,9 @@
 TEST_NAME=num
 
 # Get configuration information
-. ../../config.sh
+. ../../_config/config.sh
+
+sed "s/TEST_NAME/$TEST_NAME/g" ../../_config/template.cabal > "$TEST_NAME".cabal
 
 # Set up clean logs directory
 rm -rf logs/
@@ -18,5 +20,6 @@ cabal build "$TEST_NAME" --with-compiler "$GHC_EXEC" > logs/cabal-build
 cabal exec -v0 "$TEST_NAME" --with-compiler "$GHC_EXEC" > output
 
 # Clean up after ourselves
+rm "$TEST_NAME".cabal
 rm -R dist-newstyle
 rm -R _build/MAlonzo/Code/