mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-28 20:54:16 +03:00
25 lines
495 B
Bash
Executable File
25 lines
495 B
Bash
Executable File
|
|
echo "
|
|
Step 4: Downloading parameters. This may take a few minutes..."
|
|
|
|
# Create a new dummy Leo project.
|
|
$LEO new dummy > /dev/null 2>&1 && cd dummy
|
|
|
|
# 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
|
|
$LEO build > /dev/null 2>&1
|
|
DONE=$?
|
|
sleep 0.5
|
|
done
|
|
|
|
# Try to run `leo run`.
|
|
$LEO run || exit
|
|
|
|
# Remove the dummy program.
|
|
cd .. && rm -rf dummy |