blob: 4d89f5d5309cb15449706994b6349c941cc7c7a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
if [ ! -d bbv ]; then
echo Run clean from the coq-riscv directory
exit 1
fi
set -ex
cd bbv
make
cd ../sail/lib/coq
make
cd ../../riscv
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail riscv_extras.v
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail riscv_types.v
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail riscv.v
|
