Skip to content

Commit

Permalink
fixup scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
NickVolynkin committed Jun 12, 2023
1 parent 2ca031f commit 35bccfc
Showing 1 changed file with 18 additions and 1 deletion.
19 changes: 18 additions & 1 deletion scripts/build-circuit-ll.sh
Original file line number Diff line number Diff line change
@@ -1,11 +1,25 @@
#/usr/bin/env bash
set -euxo pipefail

check_file_exists() {
FILE1="${1}"
if [ ! -e "$FILE1" ]
then
echo "File $FILE1 was not created" >&2
exit 1
else
echo "File $FILE1 created successfully"
fi
}

rm -rf build && mkdir build && cd build
cmake -DCIRCUIT_ASSEMBLY_OUTPUT=TRUE ..
make template

ls -hal
ls -hal src/
check_file_exists "./src/template.ll"

assigner \
-b src/template.ll \
-i ../src/main.inp \
Expand All @@ -14,4 +28,7 @@ assigner \
-e pallas

ls -hal
ls -hal src/
ls -hal src/
check_file_exists "./template.crct"
check_file_exists "./template.tbl"

0 comments on commit 35bccfc

Please sign in to comment.