diff options
Diffstat (limited to 'snapshots/coq-riscv/build')
| -rwxr-xr-x | snapshots/coq-riscv/build | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/snapshots/coq-riscv/build b/snapshots/coq-riscv/build deleted file mode 100755 index 4d89f5d5..00000000 --- a/snapshots/coq-riscv/build +++ /dev/null @@ -1,16 +0,0 @@ -#!/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 |