github/circomkit
1
1
Fork 0
mirror of https://github.com/erhant/circomkit.git synced 2026-05-05 03:00:37 -04:00
Code Issues Packages Projects Releases Wiki Activity

renames

Browse Source
This commit is contained in:
Erhan Tezcan
2023-03-30 01:03:29 +03:00
parent 1e4aa1daa0
commit 92fdeada86
8 changed files with 36 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/functions/clean.sh
View File

@@ -3,8 +3,10 @@ clean() {
echo -e "\n${CLIENV_COLOR_TITLE}=== Cleaning artifacts ===${CLIENV_COLOR_RESET}"
local CIRCUIT=$1
local CIRCUIT_DIR=./build/$CIRCUIT
local TARGET=./circuits/main/$CIRCUIT.circom
rm -rf $CIRCUIT_DIR
rm -f $TARGET
echo -e "${CLIENV_COLOR_LOG}Deleted $CIRCUIT_DIR${CLIENV_COLOR_RESET}"
echo -e "${CLIENV_COLOR_LOG}Deleted $CIRCUIT_DIR and $TARGET${CLIENV_COLOR_RESET}"
}