Prepare for release

Author: kerneis

README.md

@@ -57,7 +57,7 @@ instance in the OCaml toplevel using [findlib][]:
     # #require "cil";;
     [...]
     # Cil.cilVersion;;           
-    - : string = "1.7.1"
+    - : string = "1.7.2"
 
 
 More documentation

configure

@@ -2207,7 +2207,7 @@ ac_config_files="$ac_config_files stamp-h"
 # Assign here the CIL version numbers
 CIL_VERSION_MAJOR=1
 CIL_VERSION_MINOR=7
-CIL_VERSION_REV=1
+CIL_VERSION_REV=2
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

configure.ac

@@ -33,7 +33,7 @@ AC_PREREQ([2.69])
 # Assign here the CIL version numbers
 CIL_VERSION_MAJOR=1
 CIL_VERSION_MINOR=7
-CIL_VERSION_REV=1
+CIL_VERSION_REV=2
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

doc/cil.tex

@@ -3363,6 +3363,9 @@ \section{Bug reports}
 
 \section{Changes}\label{sec-changes}\cutname{changes.html}
 \begin{itemize}
+\item{\bf June 27, 2013}: {\bf Released version 1.7.2}.\\
+  Fix building and installation of CIL library (\#138).
+
 \item{\bf June 18, 2013}: {\bf Released version 1.7.1}.\\
 Improve build system, including:
     \begin{itemize}