From cfaf5853f9101123718075aa92aefb83d6d201c8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 30 Aug 2007 13:12:37 +0000 Subject: [PATCH] bla bla bla fallback --- helm/software/matita/template_makefile_devel.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/template_makefile_devel.in b/helm/software/matita/template_makefile_devel.in index 1c0b1687b..98b7c1f20 100644 --- a/helm/software/matita/template_makefile_devel.in +++ b/helm/software/matita/template_makefile_devel.in @@ -1,6 +1,6 @@ H=@ -RT_BASEDIR=@MATITA_RT_BASE_DIR@/ +RT_BASEDIR=$(shell if [ -x "@MATITA_RT_BASE_DIR@/matitamake" -o -x "@MATITA_RT_BASE_DIR@/matitamake.opt" ]; then echo "@MATITA_RT_BASE_DIR@"; else echo ""; fi) OPTIONS=-bench MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) -- 2.39.2