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 /Makefile | |
| parent | 52b050695d489512e2118f1535348f18359322db (diff) | |
| download | vericert-23fe30f8c23ecb743880cb9239410eb51bf1abab.tar.gz vericert-23fe30f8c23ecb743880cb9239410eb51bf1abab.zip | |
Update permissions and .gitignore
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |