fix

[helm.git] / helm / Makefile.defs.in

diff --git a/helm/Makefile.defs.in b/helm/Makefile.defs.in
index 28adb2a19da0f23c0f5ce653c47f4322f537bd84..d466f70cbe34c64b3d02994c5771eaa01e73f6f8 100644 (file)
--- a/helm/Makefile.defs.in
+++ b/helm/Makefile.defs.in
@@ -5,3 +5,7 @@ HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
+
+MATITA_VERSION = @MATITA_VERSION@
+
+RT_BASE_DIR = @RT_BASE_DIR@