diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:37:51 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:37:51 +0000 |
commit | 23fe30f8c23ecb743880cb9239410eb51bf1abab (patch) | |
tree | 0b139854adcc386e2ccf2bac3625e7dfdb9da5ec | |
parent | 52b050695d489512e2118f1535348f18359322db (diff) | |
download | vericert-23fe30f8c23ecb743880cb9239410eb51bf1abab.tar.gz vericert-23fe30f8c23ecb743880cb9239410eb51bf1abab.zip |
Update permissions and .gitignore
-rw-r--r-- | .gitignore | 8 | ||||
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | scripts/Makefile | 2 |
3 files changed, 11 insertions, 3 deletions
@@ -82,3 +82,11 @@ creduce_bug_*/ /docs/man/ /docs/manual/ /docs/src/ + +*~ +*.man +*.link + +/bin +/share +/results* @@ -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 diff --git a/scripts/Makefile b/scripts/Makefile index f6421f4..0b5ff33 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -13,7 +13,7 @@ install: synthesis-results synthesis-results.1 install -d $(PREFIX)/bin install -C synthesis-results $(PREFIX)/bin install -d $(PREFIX)/share/man/man1 - install -C synthesis-results.1 $(PREFIX)/share/man/man1 + install -C -m 644 synthesis-results.1 $(PREFIX)/share/man/man1 clean: rm -f synthesis-results synthesis-results.1 |