aboutsummaryrefslogtreecommitdiff
path: root/prover_snapshots/coq/clean
blob: 6bab8e63b58edad9183579108060cc801a589689 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

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

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