diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-30 11:10:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-30 11:10:59 +0200 |
| commit | e6177a7994a0fbfbed5e11898b282429c2e54a8e (patch) | |
| tree | 8187820c6a93fd268af12c9b45c91df677c6ab03 /Makefile | |
| parent | 9b7e7d34ec2cf905d8c0a71c07d1dcddbb0169a5 (diff) | |
| download | compcert-e6177a7994a0fbfbed5e11898b282429c2e54a8e.tar.gz compcert-e6177a7994a0fbfbed5e11898b282429c2e54a8e.zip | |
Install Coq development (.vo files) if requested (#232)
.vo files are installed if configure options
-install-coqdev or -clightgen or -coqdevdir are given.
Installation directory is $(PREFIX)/lib/compcert/coq by default and
can be changed by configure option -coqdevdir.
Closes: #227
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -21,7 +21,7 @@ else ARCHDIRS=$(ARCH)_$(BITSIZE) $(ARCH) endif -DIRS=lib common $(ARCHDIRS) backend cfrontend driver debug\ +DIRS=lib common $(ARCHDIRS) backend cfrontend driver \ flocq/Core flocq/Prop flocq/Calc flocq/Appli exportclight \ cparser cparser/validator @@ -253,6 +253,15 @@ install: ifeq ($(CLIGHTGEN),true) install -m 0755 ./clightgen $(BINDIR) endif +ifeq ($(INSTALL_COQDEV),true) + install -d $(COQDEVDIR) + for d in $(DIRS); do \ + install -d $(COQDEVDIR)/$$d && \ + install -m 0644 $$d/*.vo $(COQDEVDIR)/$$d/; \ + done + @(echo "To use, pass the following to coq_makefile or add the following to _CoqProject:"; echo "-R $(COQDEVDIR) compcert") > $(COQDEVDIR)/README +endif + clean: rm -f $(patsubst %, %/*.vo, $(DIRS)) |