diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:35:05 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-09-29 09:35:05 +0100 |
| commit | 6fff98acc423b15db77c62d299b092f899f0f6fc (patch) | |
| tree | ee8d9fb4e2003812cfe5b3e3eb685111f7f8c022 | |
| parent | 22cd0a61ed10bfb2f98063093337935f65eb3493 (diff) | |
| download | vericert-6fff98acc423b15db77c62d299b092f899f0f6fc.tar.gz vericert-6fff98acc423b15db77c62d299b092f899f0f6fc.zip | |
Remove dependency on man page for install
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config $(MAKE) HAS_RUNTIME_LIB=false CLIGHTGEN=false INSTALL_COQDEV=false -C lib/CompCert touch $@ -install: doc/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 |