1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index edc9b69bb4..bbdfe99444 100755
--- a/configure
+++ b/configure
@@ -952,6 +952,7 @@ let arch = "$ARCH"
 let has_natdynlink = $HASNATDYNLINK
 let osdeplibs = "$OSDEPLIBS"
 let version = "$VERSION"
+let caml_version = "$CAMLVERSION"
 let date = "$DATE"
 let compile_date = "$COMPILEDATE"
 let vo_magic_number = $VOMAGIC