mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-09-11 05:45:30 +03:00
Steal pranav's clever bash script to pull universal parameters
This commit is contained in:
parent
0526e94e7f
commit
07357442a9
@ -1,15 +1,25 @@
|
||||
# Create a new Leo program named `foo`.
|
||||
$LEO new foo
|
||||
ls -la
|
||||
cd foo && ls -la
|
||||
|
||||
# Try to run `leo build`.
|
||||
(
|
||||
$LEO build || exit
|
||||
)
|
||||
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
|
Loading…
Reference in New Issue
Block a user