Release 1.7.3

Author: kerneis

CHANGES

@@ -56,7 +56,7 @@ CILLYDIR	  = lib
 OCAMLBEST = @OCAMLBEST@
 CILLIB_FILES = $(OBJDIR)/src/cil.cma
 ifeq ($(OCAMLBEST),opt)
- CILLIB_FILES  += $(OBJDIR)/src/cil.cmxa
+ CILLIB_FILES  += $(OBJDIR)/src/cil.cmxa $(OBJDIR)/src/cil.a
  EXEMODE        = .native
 else
  EXEMODE        = .byte

Makefile.in

@@ -14,6 +14,10 @@ points-to analyses.
 Quick start
 -----------
 
+Install the latest release of CIL with [opam][]:
+
+    opam install cil
+
 Read the excellent [CIL tutorial][tuto] by Zachary Anderson, and
 check out the accompanying [project template][template].
 
@@ -23,22 +27,25 @@ check out the accompanying [project template][template].
 Installation
 -----------
 
+To build and install CIL, you need the OCaml compiler, perl, and
+[ocamlfind][findlib].  (Of course, you also need some C compiler,
+preferably gcc.)
+
 Run the following commands to build and install CIL:
 
     ./configure
     make
     make test       # regression test suite, optionnal
     make install    # as root or using sudo
 
-If you want to install to some other directory, you can change the
-configure step like this:
-
-    FORCE_PERL_PREFIX=1 ./configure --prefix=/opt/cil
+If you want to install to some other directory, you can tweak the prefix
+during the configure step.  For instance, to install in your local [opam][]
+directory:
 
-You only need the OCaml compiler, perl, and [ocamlfind][findlib] for the
-installation.  (Of course, you also need some C compiler.)
+    FORCE_PERL_PREFIX=1 ./configure --prefix=`opam config var prefix`
 
 [findlib]: http://projects.camlcity.org/projects/findlib.html
+[opam]: http://opam.ocamlpro.com/
 
 Usage
 -----
@@ -57,7 +64,7 @@ instance in the OCaml toplevel using [findlib][]:
     # #require "cil";;
     [...]
     # Cil.cilVersion;;           
-    - : string = "1.7.2"
+    - : string = "1.7.3"
 
 
 More documentation

README.md

@@ -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=2
+CIL_VERSION_REV=3
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

configure

@@ -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=2
+CIL_VERSION_REV=3
 CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
 
 # make sure I haven't forgotten to run autoconf

configure.ac

@@ -0,0 +1,22 @@
+\relax 
+\@setckpt{cil.version}{
+\setcounter{page}{1}
+\setcounter{equation}{0}
+\setcounter{enumi}{0}
+\setcounter{enumii}{0}
+\setcounter{enumiii}{0}
+\setcounter{enumiv}{0}
+\setcounter{footnote}{0}
+\setcounter{mpfootnote}{0}
+\setcounter{part}{0}
+\setcounter{section}{0}
+\setcounter{subsection}{0}
+\setcounter{subsubsection}{0}
+\setcounter{paragraph}{0}
+\setcounter{subparagraph}{0}
+\setcounter{figure}{0}
+\setcounter{table}{0}
+\setcounter{cuttingdepth}{0}
+\setcounter{LT@tables}{0}
+\setcounter{LT@chunks}{0}
+}

doc/cil.tex

@@ -0,0 +1 @@
+\def\cilversion{1.7.3}

doc/cil.version.aux

@@ -0,0 +1,6 @@
+int long signed x;
+signed long extern x;
+long static int long y;
+
+// Some code that uses these declaration, so that CIL does not remove them
+int main() { return x + y; }

doc/cil.version.tex

@@ -0,0 +1,17 @@
+/* Generated by CIL v. 1.7.3 */
+/* print_CIL_Input is true */
+
+#line 1 "cilcode.tmp/ex1.c"
+long x  ;
+#line 3 "cilcode.tmp/ex1.c"
+static long long y  ;
+#line 6 "cilcode.tmp/ex1.c"
+int main(void) 
+{ 
+
+
+  {
+#line 6
+  return ((int )((long long )x + y));
+}
+}