From df7794d018fd4761b02eff58948c2b2b3cfe5169 Mon Sep 17 00:00:00 2001
From: normalcoder <normalcoder@gmail.com>
Date: Sat, 4 Feb 2023 19:35:07 +0100
Subject: [PATCH] add --allow-newer to cabal build
---
hadrian/build-cabal | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/hadrian/build-cabal b/hadrian/build-cabal
index 7d16f3e6b2dc..1588e5f560b0 100755
--- a/hadrian/build-cabal
+++ b/hadrian/build-cabal
@@ -25,9 +25,9 @@ CABVER=( ${CABVERSTR//./ } )
if [ "${CABVER[0]}" -gt 2 -o "${CABVER[0]}" -eq 2 -a "${CABVER[1]}" -ge 2 ];
then
- "$CABAL" --project-file="$PROJ" new-build "${CABFLAGS[@]}" -j exe:hadrian
+ "$CABAL" --allow-newer --project-file="$PROJ" new-build "${CABFLAGS[@]}" -j exe:hadrian
# use new-exec instead of new-run to make sure that the build-tools (alex & happy) are in PATH
- "$CABAL" --project-file="$PROJ" new-exec "${CABFLAGS[@]}" hadrian -- \
+ "$CABAL" --allow-newer --project-file="$PROJ" new-exec "${CABFLAGS[@]}" hadrian -- \
--directory "$PWD" \
"$@"
else
--
GitLab