Enable internal downloader for Linux 64 bit release

This commit is contained in:
Julian Ospald 2020-07-18 03:05:41 +02:00
parent f46c8bdd6f
commit dd72f1eeaf
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -19,7 +19,7 @@ if [ "${OS}" = "LINUX" ] ; then
if [ "${BIT}" = "32" ] ; then
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections -optl-static' -ftui -ftar
else
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections -optl-static' -ftui
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections -optl-static' -ftui -finternal-downloader
fi
elif [ "${OS}" = "FREEBSD" ] ; then
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections' --constraint="zlib static" -ftui