]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
*** empty log message ***
[helm.git] / helm / configuration / configure.in
index d5de3e656aa17030cace50e77474dedf0e4fcb8d..9a0f3fb7bede4d1d9acb216a486b9d5def2a3255 100644 (file)
@@ -6,6 +6,7 @@ HELM_MAJOR_VERSION=0
 HELM_MINOR_VERSION=0
 HELM_MICRO_VERSION=2
 HELM_VERSION=$HELM_MAJOR_VERSION.$HELM_MINOR_VERSION.$HELM_MICRO_VERSION
+VERSION=$HELM_VERSION
 
 DEFAULT_HELM_VAR_DIR=/var/local/helm
 DEFAULT_HELM_TMP_DIR=/tmp
@@ -143,7 +144,7 @@ AC_SUBST(RESOLVED_EXEC_PREFIX)
 
 dnl HELM version
 AC_SUBST(PACKAGE)
-AC_SUBST(HELM_VERSION)
+AC_SUBST(VERSION)
 
 dnl HELM directories
 AC_SUBST(HELM_BIN_DIR)