From 23fe30f8c23ecb743880cb9239410eb51bf1abab Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Mar 2022 21:37:51 +0000 Subject: Update permissions and .gitignore --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 03bfaa5..e9df0dd 100644 --- a/Makefile +++ b/Makefile @@ -41,10 +41,10 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config install: docs/vericert.1 sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini install -d $(PREFIX)/bin - install -C _build/default/driver/compcert.ini $(PREFIX)/bin + install -C -m 644 _build/default/driver/compcert.ini $(PREFIX)/bin install -C _build/default/driver/VericertDriver.exe $(PREFIX)/bin/vericert install -d $(PREFIX)/share/man/man1 - install -C $< $(PREFIX)/share/man/man1 + install -C -m 644 $< $(PREFIX)/share/man/man1 proof: Makefile.coq $(MAKE) -f Makefile.coq -- cgit