1  #!/bin/bash
 2  
 3  MY_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 4  
 5  source ${MY_DIR}/params.sh
 6  
 7  CLI_ARGS="--depth=$MAXDEPTH \
 8   --maxslots=$MAXSLOTS \
 9   --cellsize=$CELLSIZE \
10   --blocksize=$BLOCKSIZE \
11   --nsamples=$NSAMPLES \
12   --entropy=$ENTROPY \
13   --seed=$SEED \
14   --nslots=$NSLOTS \
15   --ncells=$NCELLS \
16   --index=$SLOTINDEX \
17   --field=bn254 \
18   --hash=poseidon2"
19  
20  if [[ "$1" == "--export" ]]
21  then
22    echo "exporting CLI_ARGS"
23    export CLI_ARGS
24  fi