optimize basic platform builds

This commit is contained in:
Anton-4 2023-11-24 12:14:36 +01:00 committed by GitHub
parent 3d8884a96d
commit 5d27ee2c17
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -36,14 +36,14 @@ mv roc_nightly* roc_nightly
cd roc_nightly
# build the basic cli platform
./roc build ../basic-cli/examples/countdown.roc
./roc build ../basic-cli/examples/countdown.roc --optimize
# We need this extra variable so we can safely check if $2 is empty later
EXTRA_ARGS=${2:-}
# In some rare cases it's nice to be able to use the legacy linker, so we produce the .o file to be able to do that
if [ -n "${EXTRA_ARGS}" ];
then ./roc build $EXTRA_ARGS ../basic-cli/examples/countdown.roc
then ./roc build $EXTRA_ARGS ../basic-cli/examples/countdown.roc --optimize
fi
cd ..

View File

@ -42,7 +42,7 @@ cd roc_nightly
# prevent https://github.com/roc-lang/basic-webserver/issues/9
if [ "$OS" != "Linux" ] || [ "$ARCH" != "x86_64" ]; then
# build the basic-webserver platform
./roc build ../basic-webserver/examples/echo.roc
./roc build ../basic-webserver/examples/echo.roc --optimize
fi
# We need this extra variable so we can safely check if $2 is empty later
@ -50,7 +50,7 @@ EXTRA_ARGS=${2:-}
# In some rare cases it's nice to be able to use the legacy linker, so we produce the .o file to be able to do that
if [ -n "${EXTRA_ARGS}" ];
then ./roc build $EXTRA_ARGS ../basic-webserver/examples/echo.roc
then ./roc build $EXTRA_ARGS ../basic-webserver/examples/echo.roc --optimize
fi
cd ..