From ab0d9476db875a82cf293623d18552b62f239d5c Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 21 Sep 2020 14:15:57 +0200
Subject: Support the use of already-installed MenhirLib and Flocq libraries

configure flags -use-external-Flocq and -use external-MenhirLib.
---
 test/clightgen/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile
index bf4a044b..fdfbc3fb 100644
--- a/test/clightgen/Makefile
+++ b/test/clightgen/Makefile
@@ -5,8 +5,12 @@ ARCHDIRS=$(ARCH)
 else
 ARCHDIRS=$(ARCH)_$(BITSIZE) $(ARCH)
 endif
-RECDIRS=lib common $(ARCHDIRS) cfrontend flocq  exportclight
-COQINCLUDES=$(foreach d, $(RECDIRS), -R ../../$(d) compcert.$(d))
+RECDIRS := lib common $(ARCHDIRS) cfrontend  exportclight
+COQINCLUDES := $(foreach d, $(RECDIRS), -R ../../$(d) compcert.$(d))
+ifeq ($(LIBRARY_FLOCQ),local)
+COQINCLUDES += -R ../../flocq Flocq
+endif
+
 
 CLIGHTGEN=../../clightgen
 COQC=coqc
-- 
cgit