]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/Makefile.defs.in
release snapshot
[helm.git] / helm / Makefile.defs.in
index d466f70cbe34c64b3d02994c5771eaa01e73f6f8..b714a606e4fc346332c3fa0e5f1846e003708ac1 100644 (file)
@@ -9,3 +9,4 @@ MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
 MATITA_VERSION = @MATITA_VERSION@
 
 RT_BASE_DIR = @RT_BASE_DIR@
+DBHOST = @DBHOST@