path: root/prover_snapshots/coq/clean

#!/bin/bash

if [ ! -d RV64 ]; then
  echo Run clean from the coq directory
  exit 1
fi

set -ex 
rm -f RV32/*.{vo,vok,vos,glob} RV32/.*.aux
rm -f RV64/*.{vo,vok,vos,glob} RV64/.*.aux
rm -f duopod/*.{vo,vok,vos,glob} RV64/.*.aux
cd lib/sail
make clean