blob: c6cf453ba90da20db5b19426a837f11e08590d2f [file] [log] [blame]
#!/bin/bash
if [ ! -d generated ]; then
mkdir generated
fi
sbt 'runMain fossiAES.aesMain'
rm ./generated/*
mv *.v ./generated/
rm *.json
rm *.fir