diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-26 15:31:46 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-26 15:31:46 +0100 |
commit | 3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60 (patch) | |
tree | 62a068b25a7e1052f7c85de34c12c92f372e5712 /Makefile | |
parent | f17faa9e318cb6e6c75b3c22387f13e57a9828f7 (diff) | |
download | compcert-kvx-3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60.tar.gz compcert-kvx-3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60.zip |
Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow that
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -16,9 +16,9 @@ include Makefile.config ifeq ($(wildcard $(ARCH)_$(BITSIZE)),) -ARCHDIRS=$(ARCH) +ARCHDIRS?=$(ARCH) else -ARCHDIRS=$(ARCH)_$(BITSIZE) $(ARCH) +ARCHDIRS?=$(ARCH)_$(BITSIZE) $(ARCH) endif DIRS=lib common $(ARCHDIRS) backend cfrontend driver \ @@ -27,7 +27,7 @@ DIRS=lib common $(ARCHDIRS) backend cfrontend driver \ RECDIRS=lib common $(ARCHDIRS) backend cfrontend driver flocq exportclight cparser -COQINCLUDES=$(foreach d, $(RECDIRS), -R $(d) compcert.$(d)) +COQINCLUDES=$(foreach d, $(RECDIRS), -R $(d) $(subst /,.,compcert.$(d))) COQC="$(COQBIN)coqc" -q $(COQINCLUDES) $(COQCOPTS) COQDEP="$(COQBIN)coqdep" $(COQINCLUDES) |