diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-07-11 15:45:59 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-07-11 16:25:09 +0100 |
| commit | 93117b6e766c25c5aeecdc20a963d5114fb91e59 (patch) | |
| tree | 60e77f4d09548b3fa077d96e7d0e26fd8b0ad1ef /Makefile | |
| parent | 6cdb6490437b9e609afbf5e8749b24d31c02fce1 (diff) | |
| download | vericert-93117b6e766c25c5aeecdc20a963d5114fb91e59.tar.gz vericert-93117b6e766c25c5aeecdc20a963d5114fb91e59.zip | |
Add equivalence classes
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -55,6 +55,12 @@ install: doc/vericert.1 install -d $(PREFIX)/share/man/man1 install -C -m 644 $< $(PREFIX)/share/man/man1 +install-test: # doc/vericert.1 + sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini + install -d $(PREFIX)/bin + install -C -m 644 _build/default/driver/compcert.ini $(PREFIX)/bin + install -C _build/default/debug/VericertTest.exe $(PREFIX)/bin/vericert-test + proof: Makefile.coq $(MAKE) -f Makefile.coq @rm -f src/extraction/STAMP |