diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-07-26 22:02:47 +0100 |
|---|---|---|
| committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-07-26 22:02:47 +0100 |
| commit | 6602f61f41e18e43245ec14d649c620ff9205341 (patch) | |
| tree | 17783ec0a58d0e2e9dfa211aee9a1c1c73f7692c /Makefile | |
| parent | c6c1e38d07f69f3ef438eb743fe76179959dc6b5 (diff) | |
| download | sail-riscv-6602f61f41e18e43245ec14d649c620ff9205341.zip sail-riscv-6602f61f41e18e43245ec14d649c620ff9205341.tar.gz sail-riscv-6602f61f41e18e43245ec14d649c620ff9205341.tar.bz2 | |
Update Coq snapshot
Also tweak Makefile to remove new Coq generated files
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -450,6 +450,6 @@ clean: -rm -f *.gcno *.gcda -rm -f z3_problems -Holmake cleanAll - -rm -f handwritten_support/riscv_extras.vo handwritten_support/riscv_extras.glob handwritten_support/.riscv_extras.aux - -rm -f handwritten_support/mem_metadata.vo handwritten_support/mem_metadata.glob handwritten_support/.mem_metadata.aux + -rm -f handwritten_support/riscv_extras.vo handwritten_support/riscv_extras.vos handwritten_support/riscv_extras.vok handwritten_support/riscv_extras.glob handwritten_support/.riscv_extras.aux + -rm -f handwritten_support/mem_metadata.vo handwritten_support/mem_metadata.vos handwritten_support/mem_metadata.vok handwritten_support/mem_metadata.glob handwritten_support/.mem_metadata.aux ocamlbuild -clean |