]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/Makefile.defs.in
Some more work...
[helm.git] / helm / Makefile.defs.in
index b36ba3126c9473d4fdb0f32cac411162c5489ae1..d466f70cbe34c64b3d02994c5771eaa01e73f6f8 100644 (file)
@@ -7,3 +7,5 @@ MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
 
 MATITA_VERSION = @MATITA_VERSION@
+
+RT_BASE_DIR = @RT_BASE_DIR@