2021-04-12 16:54:37 +03:00
|
|
|
|
2022-09-23 20:42:07 +03:00
|
|
|
echo "
|
|
|
|
|
Step 4: Downloading parameters. This may take a few minutes..."
|
2022-09-20 20:51:46 +03:00
|
|
|
|
2022-09-23 20:42:07 +03:00
|
|
|
# Create a new dummy Leo project.
|
2023-02-16 19:49:13 +03:00
|
|
|
$LEO new dummy || exit
|
|
|
|
|
cd dummy || exit
|
2022-09-23 20:42:07 +03:00
|
|
|
|
|
|
|
|
# Attempt to compile the dummy program until it passes.
|
|
|
|
|
# This is necessary to ensure that the universal parameters are downloaded.
|
|
|
|
|
declare -i DONE
|
|
|
|
|
|
|
|
|
|
DONE=1
|
|
|
|
|
|
|
|
|
|
while [ $DONE -ne 0 ]
|
|
|
|
|
do
|
2023-02-16 08:57:26 +03:00
|
|
|
$LEO build
|
2022-09-23 20:42:07 +03:00
|
|
|
DONE=$?
|
|
|
|
|
sleep 0.5
|
|
|
|
|
done
|
2022-09-20 20:51:46 +03:00
|
|
|
|
2022-08-08 21:15:11 +03:00
|
|
|
# Try to run `leo run`.
|
2022-09-23 20:42:07 +03:00
|
|
|
$LEO run || exit
|
|
|
|
|
|
|
|
|
|
# Remove the dummy program.
|
2023-02-16 08:57:26 +03:00
|
|
|
cd .. && rm -rf dummy
|
