diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:09:26 +0000 |
| commit | a7a8e4481bce810d077ea682b8379535a20931c9 (patch) | |
| tree | 689fb687749a79f616379205304e2d605aab7a69 /Makefile | |
| parent | a1c958a50129342aeccf38e0e591bed6c394cf74 (diff) | |
| download | vericert-a7a8e4481bce810d077ea682b8379535a20931c9.tar.gz vericert-a7a8e4481bce810d077ea682b8379535a20931c9.zip | |
Update documentation files
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -38,11 +38,13 @@ lib/COMPCERTSTAMP: lib/CompCert/Makefile.config $(MAKE) HAS_RUNTIME_LIB=false CLIGHTGEN=false INSTALL_COQDEV=false -C lib/CompCert touch $@ -install: - install -d $(PREFIX)/bin +install: docs/vericert.1 sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini - install -C _build/default/driver/compcert.ini $(PREFIX)/bin/. + install -d $(PREFIX)/bin + install -C _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 proof: Makefile.coq $(MAKE) -f Makefile.coq @@ -75,6 +77,9 @@ Makefile.coq: @echo "COQMAKE Makefile.coq" $(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq +docs/vericert.1: + $(MAKE) -C docs vericert.1 + clean:: Makefile.coq $(MAKE) -f Makefile.coq clean $(MAKE) -C test clean |