From 6fff98acc423b15db77c62d299b092f899f0f6fc Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 29 Sep 2022 09:35:05 +0100 Subject: Remove dependency on man page for install --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 056255f..f477613 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit