blob: e672912e3cee0042e6bd6a43f4b4a0c262d5ac62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash
if [ ! -d mips ]; then
echo Run clean from the coq directory
exit 1
fi
if [ ! -d ../bbv ]; then
echo 'Check out a copy of https://github.com/mit-plv/bbv in the parent directory and build it.'
exit 1
fi
set -ex
cd lib/coq
make
cd ../../mips
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail mips_extras.v
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail mips_types.v
coqc -R ../../bbv/theories bbv -R ../lib/coq Sail mips.v
|
