diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-05-12 20:47:14 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-12 20:47:14 +0100 |
| commit | b3e2078df318a2d5e54de0b09963f37d63327f0a (patch) | |
| tree | f6a941494444021e42ff7c35b04d0d24afe033b5 /Makefile | |
| parent | 3113194b86597c770b83d8efb4c7980e1bc4a715 (diff) | |
| download | vericert-b3e2078df318a2d5e54de0b09963f37d63327f0a.tar.gz vericert-b3e2078df318a2d5e54de0b09963f37d63327f0a.zip | |
Famous proven but not tested has been fixed
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -38,7 +38,7 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config $(MAKE) HAS_RUNTIME_LIB=false CLIGHTGEN=false INSTALL_COQDEV=false -C lib/CompCert touch $@ -install: docs/vericert.1 +install: 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 |