snapshots/coq/clean


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash

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

set -ex 
rm -f cheri-mips/*.{vo,glob} cheri-mips/.*.aux
rm -f riscv/*.{vo,glob} riscv/.*.aux
cd lib/coq
make clean