From 61b85f96ff013b120209b79cf9569762ef01c561 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Sat, 29 Sep 2001 11:05:32 +0000
Subject: [PATCH] Avoid building BENCHMARK in machines that do not have enough
 lisp implementations.

---
 src/doc/Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in
index d2c9e40a4..1749a1515 100644
--- a/src/doc/Makefile.in
+++ b/src/doc/Makefile.in
@@ -57,7 +57,9 @@ benchmark.html: $(srcdir)/benchmark.in.html ../gabriel/BENCHMARK
 	 echo '<pre>'; cat ../gabriel/BENCHMARK; echo '</pre>'; \
 	 cat $(srcdir)/end) | $(FILTER) > $@
 ../gabriel/BENCHMARK:
-	echo '<b>Benchmark not available</b>' > ../gabriel/BENCHMARK
+	cd ../gabriel; \
+	if (which lisp && which clisp) > /dev/null; then make; \
+	else \ echo "No benchmarks available" > BENCHMARK; fi
 license.html: $(top_srcdir)/../Copyright
 	(cat $(srcdir)/head; \
 	 echo '<pre>'; cat $?; echo '</pre>'; \