Index: libcfa/configure
===================================================================
--- libcfa/configure	(revision 6d44da10ada82bff3cc9cb4f6e4ab9e24722abb3)
+++ libcfa/configure	(revision c6bbcdb974c5ebafafaef230f9213f99ff0e01ce)
@@ -709,4 +709,5 @@
 CFACPP
 CFACC
+CFA_VERSION
 DRIVER_DIR
 CONFIGURATION
@@ -799,4 +800,5 @@
 CONFIGURATION
 DRIVER_DIR
+CFA_VERSION
 CC
 CFLAGS
@@ -1473,4 +1475,5 @@
               deubg, nodebug, nolib (prelude-only)
   DRIVER_DIR  The path to the cforall driver directory
+  CFA_VERSION The long version of cfa
   CC          C compiler command
   CFLAGS      C compiler flags
@@ -2932,6 +2935,8 @@
 
 
+
 CFACC=${DRIVER_DIR}cfa
 CFACPP=${DRIVER_DIR}cfa-cpp
+