From 07f608009aa05605bdae4abc087394d1520a171a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 12 Nov 2014 11:02:22 +0100
Subject: [PATCH] fix Makefile: if qtest not installed, should still be able to
 build

---
 Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 89e68738..baeea3fc 100644
--- a/Makefile
+++ b/Makefile
@@ -82,9 +82,12 @@ QTEST_PREAMBLE='open CCFun;; '
 
 qtest-gen: qtest-clean
 	@mkdir -p qtest
-	@qtest extract --preamble $(QTEST_PREAMBLE) \
-		-o qtest/run_qtest.cppo.ml \
-		$(QTESTABLE) 2> /dev/null
+	@if which qtest ; then \
+		qtest extract --preamble $(QTEST_PREAMBLE) \
+			-o qtest/run_qtest.cppo.ml \
+			$(QTESTABLE) 2> /dev/null ; \
+	else touch qtest/run_qtest.cppo.ml ; \
+	fi
 
 push-stable:
 	git checkout stable