diff --git a/hadrian/build-cabal b/hadrian/build-cabal index 7d16f3e6b2dca0213df42d3f5c75ee2e95d19f0a..1588e5f560b0dd9645b5cbeeda860e78c6a58495 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