diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 14:34:30 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-19 14:34:30 +0100 |
commit | 8bb9da5166ff1a07d325cd378b977d5d6bf3105a (patch) | |
tree | ed6b1f83d429e3e2abe96643cef3bfa31104030a /Makefile | |
parent | 6d4b481077b0f84fab821b000975a0c066925173 (diff) | |
download | compcert-kvx-8bb9da5166ff1a07d325cd378b977d5d6bf3105a.tar.gz compcert-kvx-8bb9da5166ff1a07d325cd378b977d5d6bf3105a.zip |
fix Makefile pour kvx
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ endif DIRS := lib common $(ARCHDIRS) backend cfrontend driver exportclight cparser -COQINCLUDES := $(foreach d, $(DIRS), -R $(d) compcert.$(d)) +COQINCLUDES := $(foreach d, $(DIRS), -R $(d) compcert.$(subst /,.,$d)) ifeq ($(LIBRARY_FLOCQ),local) DIRS += flocq/Core flocq/Prop flocq/Calc flocq/IEEE754 |