summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate5
1 files changed, 4 insertions, 1 deletions
diff --git a/validate b/validate
index cea04091ae..0f232f2570 100755
--- a/validate
+++ b/validate
@@ -145,6 +145,8 @@ fi
echo "using THREADS=${threads}" >&2
+configure_cmd="./configure"
+
if [ "$use_hadrian" = "NO" ]
then
make="gmake"
@@ -173,6 +175,7 @@ else
hadrian/build-stack --help > /dev/null
cd hadrian
hadrian_cmd=$(stack exec -- which hadrian)
+ configure_cmd="stack --stack-yaml hadrian/stack.yaml exec -- ./configure"
fi
cd ..
# TODO: define a hadrian Flavour that mimics
@@ -199,7 +202,7 @@ if [ $testsuite_only -eq 0 ]; then
INSTDIR="$thisdir/inst"
python3 ./boot --validate
- ./configure --prefix="$INSTDIR" $config_args
+ $configure_cmd --prefix="$INSTDIR" $config_args
fi
if [ "$use_hadrian" = "NO" ]