mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 20:24:52 +03:00
344 lines
9.3 KiB
Bash
Executable File
344 lines
9.3 KiB
Bash
Executable File
# Alias the leo command to use the local binary.
|
|
# Note: Use a full path for $LEO when running locally.
|
|
leo() {
|
|
$LEO "$@"
|
|
}
|
|
|
|
# Build and run the auction Leo program.
|
|
echo "Building and running the \`auction\` program..."
|
|
(
|
|
cd $EXAMPLES/auction || exit
|
|
$LEO run place_bid || exit
|
|
$LEO run resolve || exit
|
|
$LEO run finish || exit
|
|
|
|
chmod +x $EXAMPLES/auction/run.sh || exit
|
|
export -f leo || exit
|
|
$EXAMPLES/auction/run.sh || exit
|
|
)
|
|
# Check that the auction program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`auction\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the basic_bank Leo program.
|
|
echo "Building and running the \`basic_bank\` program..."
|
|
(
|
|
cd $EXAMPLES/basic_bank || exit
|
|
$LEO run issue || exit
|
|
$LEO run deposit || exit
|
|
$LEO run withdraw || exit
|
|
|
|
chmod +x $EXAMPLES/basic_bank/run.sh || exit
|
|
export -f leo || exit
|
|
$EXAMPLES/basic_bank/run.sh || exit
|
|
)
|
|
# Check that the basic_bank program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`basic_bank\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the battleship Leo program.
|
|
echo "Building and running the \`battleship\` program..."
|
|
which leo
|
|
(
|
|
cd $EXAMPLES/battleship || exit
|
|
|
|
chmod +x $EXAMPLES/battleship/run.sh || exit
|
|
export -f leo || exit
|
|
$EXAMPLES/battleship/run.sh || exit
|
|
)
|
|
# Check that the battleship program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`battleship\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the bubblesort Leo program.
|
|
echo "Building and running the \`bubblesort\` program..."
|
|
(
|
|
cd $EXAMPLES/bubblesort || exit
|
|
$LEO run bubble_sort || exit
|
|
)
|
|
# Check that the bubblesort program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`bubblesort\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the core example Leo program.
|
|
echo "Building and running the \`core\` program..."
|
|
(
|
|
cd $EXAMPLES/core || exit
|
|
$LEO run main || exit
|
|
)
|
|
# Check that the core program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`core\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the groups example Leo program.
|
|
echo "Building and running the \`groups\` program..."
|
|
(
|
|
cd $EXAMPLES/groups || exit
|
|
$LEO run main || exit
|
|
)
|
|
# Check that the groups program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`groups\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzdebruijn program.
|
|
echo "Building and running the \`hackers-delight/ntzdebruijn\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzdebruijn || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzdebruijn program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzdebruijn\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzgaudet program.
|
|
echo "Building and running the \`hackers-delight/ntzgaudet\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzgaudet || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzgaudet program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzgaudet\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzloops program.
|
|
echo "Building and running the \`hackers-delight/ntzloops\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzloops || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzloops program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzloops\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzmasks program.
|
|
echo "Building and running the \`hackers-delight/ntzmasks\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzmasks || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzmasks program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzmasks\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzreisers program.
|
|
echo "Building and running the \`hackers-delight/ntzreisers\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzreisers || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzreisers program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzreisers\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzseals program.
|
|
echo "Building and running the \`hackers-delight/ntzseals\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzseals || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzseals program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzseals\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzsearchtree program.
|
|
echo "Building and running the \`hackers-delight/ntzsearchtree\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzsearchtree || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzsearchtree program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzsearchtree\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the hackers-delight/ntzsmallvals program.
|
|
echo "Building and running the \`hackers-delight/ntzsmallvals\` program..."
|
|
(
|
|
cd $EXAMPLES/hackers-delight/ntzsmallvals || exit
|
|
$LEO run || exit
|
|
)
|
|
# Check that the hackers-delight/ntzsmallvals program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`hackers-delight/ntzsmallvals\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the helloworld Leo program.
|
|
echo "Building and running the \`helloworld\` program..."
|
|
(
|
|
cd $EXAMPLES/helloworld || exit
|
|
$LEO run main || exit
|
|
)
|
|
# Check that the helloworld program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`helloworld\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
|
|
# Build and run the interest example Leo programs.
|
|
echo "Building and running the \`interest\` programs..."
|
|
(
|
|
cd $EXAMPLES/interest || exit
|
|
|
|
# Run the fixed period interest program.
|
|
$LEO run fixed_iteration_interest || exit
|
|
|
|
# Run the bounded period interest program.
|
|
$LEO run bounded_iteration_interest || exit
|
|
)
|
|
# Check that the interest programs ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`interest\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the message example Leo program.
|
|
echo "Building and running the \`message\` program..."
|
|
(
|
|
cd $EXAMPLES/message || exit
|
|
$LEO run main || exit
|
|
)
|
|
# Check that the message program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`message\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the tic tac toe example Leo program.
|
|
echo "Building and running the \`tictactoe\` program..."
|
|
(
|
|
cd $EXAMPLES/tictactoe || exit
|
|
$LEO run new || exit
|
|
$LEO run make_move || exit
|
|
|
|
chmod +x $EXAMPLES/tictactoe/run.sh || exit
|
|
export -f leo
|
|
$EXAMPLES/tictactoe/run.sh || exit
|
|
)
|
|
# Check that the tic tac toe program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`tictactoe\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the simple token example programs.
|
|
echo "Building and running the \`simple_token\` programs..."
|
|
(
|
|
cd $EXAMPLES/simple_token || exit
|
|
|
|
# Run the mint program.
|
|
$LEO run mint
|
|
|
|
# Run the transfer program.
|
|
$LEO run transfer
|
|
)
|
|
# Check that the simple token programs ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`simple_token\` programs failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the token example program.
|
|
echo "Building and running the \`token\` program..."
|
|
(
|
|
cd $EXAMPLES/token || exit
|
|
|
|
# Run the mint_public function.
|
|
$LEO run mint_public || exit
|
|
|
|
# Run the mint_private function.
|
|
$LEO run mint_private || exit
|
|
|
|
# Run the transfer_public function.
|
|
$LEO run transfer_public || exit
|
|
|
|
# Run the transfer_private function.
|
|
$LEO run transfer_private || exit
|
|
|
|
# Run the transfer_private_to_public function.
|
|
$LEO run transfer_private_to_public || exit
|
|
|
|
# Run the transfer_public_to_private function.
|
|
$LEO run transfer_public_to_private || exit
|
|
)
|
|
# Check that the token program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`token\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the two-adicity program.
|
|
echo "Building and running the \`twoadicity\` program..."
|
|
(
|
|
cd $EXAMPLES/twoadicity || exit
|
|
$LEO run main || exit
|
|
)
|
|
# Check that the two-adicity program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`twoadicity\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|
|
|
|
# Build and run the vote Leo program.
|
|
echo "Building and running the \`vote\` program..."
|
|
(
|
|
cd $EXAMPLES/vote || exit
|
|
|
|
chmod +x $EXAMPLES/vote/run.sh || exit
|
|
export -f leo
|
|
$EXAMPLES/vote/run.sh || exit
|
|
)
|
|
# Check that the vote program ran successfully.
|
|
EXITCODE=$?
|
|
if [ $EXITCODE -ne 0 ]; then
|
|
echo "The \`vote\` program failed to run successfully."
|
|
exit $EXITCODE
|
|
fi
|