Release 1.7.2

cil-project · Jun 27, 2013 · d51488a · d51488a
2 parents 0388271 + 1f037f8
commit d51488a
Show file tree

Hide file tree

Showing 76 changed files with 116 additions and 113 deletions.
diff --git a/META b/META
@@ -2,4 +2,4 @@ description = "C Intermediate Language"
 requires = "unix str num"
 version = "@CIL_VERSION@"
 archive(byte) = "cil.cma"
-archive(opt) = "cil.cmxa"
+archive(native) = "cil.cmxa"
diff --git a/Makefile.in b/Makefile.in
@@ -98,10 +98,12 @@ ifeq ($(FORCE_PERL_PREFIX), 1)
 	export PERL_MM_OPT
 endif
 
-$(CILLYDIR)/Makefile: Makefile $(CILLYDIR)/Makefile.PL $(CILLYDIR)/App/Cilly.pm
+CILLYMOD := Cilly
+
+$(CILLYDIR)/Makefile: Makefile $(CILLYDIR)/Makefile.PL $(CILLYDIR)/App/$(CILLYMOD).pm
 	cd $(CILLYDIR); $(PERL) Makefile.PL
 
-.PHONY: cilly
+.PHONY: $(CILLY)
 $(CILLY): $(BINDIR)/$(CILLY)$(EXE) $(CILLYDIR)/Makefile
 	$(MAKE) -C $(CILLYDIR)
 
@@ -169,17 +171,17 @@ $(OBJDIR)/machdep.ml : src/machdep-ml.c configure.ac Makefile.in
 			  ;fi
 	@echo "let theMachine : mach ref = ref gcc" >>$@
 
-$(CILLYDIR)/App/Cilly.pm: $(CILLYDIR)/App/Cilly.pm.in src/machdep-ml.c configure.ac Makefile.in
-	cp $(CILLYDIR)/App/Cilly.pm.in $(CILLYDIR)/App/Cilly.pm
-	sed -e "s|CIL_VERSION|@CIL_VERSION@|" $(CILLYDIR)/App/Cilly.pm > $(CILLYDIR)/App/Cilly.pm.tmp; \
-	mv $(CILLYDIR)/App/Cilly.pm.tmp $(CILLYDIR)/App/Cilly.pm; \
+$(CILLYDIR)/App/$(CILLYMOD).pm: $(CILLYDIR)/App/$(CILLYMOD).pm.in src/machdep-ml.c configure.ac Makefile.in
+	cp $(CILLYDIR)/App/$(CILLYMOD).pm.in $(CILLYDIR)/App/$(CILLYMOD).pm
+	sed -e "s|CIL_VERSION|@CIL_VERSION@|" $(CILLYDIR)/App/$(CILLYMOD).pm > $(CILLYDIR)/App/$(CILLYMOD).pm.tmp; \
+	mv $(CILLYDIR)/App/$(CILLYMOD).pm.tmp $(CILLYDIR)/App/$(CILLYMOD).pm; \
 	if $(MACHDEPCC) -m32 src/machdep-ml.c -o $(OBJDIR)/machdep-ml32.exe ;then \
-	  sed -e "s|nogcc32model|`$(EMUL) $(OBJDIR)/machdep-ml32.exe --env`|" $(CILLYDIR)/App/Cilly.pm > $(CILLYDIR)/App/Cilly.pm.tmp; \
-	  mv $(CILLYDIR)/App/Cilly.pm.tmp $(CILLYDIR)/App/Cilly.pm; \
+	  sed -e "s|nogcc32model|`$(EMUL) $(OBJDIR)/machdep-ml32.exe --env`|" $(CILLYDIR)/App/$(CILLYMOD).pm > $(CILLYDIR)/App/$(CILLYMOD).pm.tmp; \
+	  mv $(CILLYDIR)/App/$(CILLYMOD).pm.tmp $(CILLYDIR)/App/$(CILLYMOD).pm; \
 	fi
 	if $(MACHDEPCC) -m64 src/machdep-ml.c -o $(OBJDIR)/machdep-ml64.exe ;then \
-	  sed -e "s|nogcc64model|`$(EMUL) $(OBJDIR)/machdep-ml64.exe --env`|" $(CILLYDIR)/App/Cilly.pm > $(CILLYDIR)/App/Cilly.pm.tmp; \
-	  mv $(CILLYDIR)/App/Cilly.pm.tmp $(CILLYDIR)/App/Cilly.pm; \
+	  sed -e "s|nogcc64model|`$(EMUL) $(OBJDIR)/machdep-ml64.exe --env`|" $(CILLYDIR)/App/$(CILLYMOD).pm > $(CILLYDIR)/App/$(CILLYMOD).pm.tmp; \
+	  mv $(CILLYDIR)/App/$(CILLYMOD).pm.tmp $(CILLYDIR)/App/$(CILLYMOD).pm; \
 	fi
 
 .PHONY: cilversion
@@ -232,7 +234,7 @@ odoc: $(OBJDIR)/doc/cil.docdir/index.html
 	-mkdir -p doc/html/cil/
 	-cp -r $(dir $<) doc/html/cil/api
 
-doc/cilpp.tex: doc/cilcode.pl doc/cil.tex $(CILLYDIR)/App/Cilly.pm
+doc/cilpp.tex: doc/cilcode.pl doc/cil.tex $(CILLYDIR)/App/$(CILLYMOD).pm
 	-rm -rf doc/html/cil
 	-mkdir -p doc/html/cil
 	-mkdir -p doc/html/cil/examples
@@ -254,12 +256,12 @@ pdfdoc: doc/cilpp.tex
 	cd doc; pdflatex cilpp.tex; pdflatex cilpp.tex
 	cd doc; mv cilpp.pdf html/cil/CIL.pdf
 
-.PHONY: distclean cleandoc cleancilly clean
+.PHONY: distclean clean
 distclean: clean
 	$(MAKE) -C test distclean
 	rm -rf autom4te.cache/
 	rm -f Makefile
-	rm -f $(CILLYDIR)/App/Cilly/CilConfig.pm
+	rm -f $(CILLYDIR)/App/$(CILLYMOD)/CilConfig.pm
 	rm -f config.h
 	rm -f config.log
 	rm -f config.mk
@@ -269,11 +271,6 @@ distclean: clean
 	rm -f src/machdep-ml.c
 	rm -f stamp-h
 
-
-cleandoc:
-
-cleancilly:
-
 clean: $(CILLYDIR)/Makefile
 	rm -rf $(OBJDIR)
 	rm -f $(BINDIR)/$(CILLY).*
@@ -282,7 +279,7 @@ clean: $(CILLYDIR)/Makefile
 	rm -f doc/cil.version.*
 	rm -f doc/cilpp.*
 	$(MAKE) -C $(CILLYDIR) clean
-	rm -f $(CILLYDIR)/App/Cilly.pm
+	rm -f $(CILLYDIR)/App/$(CILLYMOD).pm
 	rm -f $(CILLYDIR)/Makefile.old
 	rm -f Makefile.features
 
@@ -303,7 +300,6 @@ install: $(CILLY) install-findlib
 	$(MAKE) -C $(CILLYDIR) pure_install
 	$(INSTALL) -m 0755 $(BINDIR)/$(CILLY).* $(DESTDIR)$(bindir)
 
-# FIXME
 uninstall: $(CILLYDIR)/Makefile uninstall-findlib
 	-rm -f $(DESTDIR)$(bindir)/$(CILLY).*
 	$(MAKE) -C $(CILLYDIR) force_uninstall

diff --git a/README.md b/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

diff --git a/configure b/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

diff --git a/configure.ac b/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

diff --git a/doc/cil.tex b/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}

diff --git a/doc/html/cil/CIL.pdf b/doc/html/cil/CIL.pdf
diff --git a/doc/html/cil/api/Alpha.html b/doc/html/cil/api/Alpha.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Alpha</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Alpha</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>

diff --git a/doc/html/cil/api/Cfg.html b/doc/html/cil/api/Cfg.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cfg</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cfg</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Alpha.html" title="Alpha">Previous</a>

diff --git a/doc/html/cil/api/Cil.cilPrinter-c.html b/doc/html/cil/api/Cil.cilPrinter-c.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.cilPrinter</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.cilPrinter</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.cilVisitor-c.html" title="Cil.cilVisitor">Previous</a>

diff --git a/doc/html/cil/api/Cil.cilVisitor-c.html b/doc/html/cil/api/Cil.cilVisitor-c.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.cilVisitor</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.cilVisitor</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="Cil.html" title="Cil">Up</a>

diff --git a/doc/html/cil/api/Cil.defaultCilPrinterClass-c.html b/doc/html/cil/api/Cil.defaultCilPrinterClass-c.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.defaultCilPrinterClass</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.defaultCilPrinterClass</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.nopCilVisitor-c.html" title="Cil.nopCilVisitor">Previous</a>

diff --git a/doc/html/cil/api/Cil.descriptiveCilPrinter-c.html b/doc/html/cil/api/Cil.descriptiveCilPrinter-c.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.descriptiveCilPrinter</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.descriptiveCilPrinter</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.cilPrinter-c.html" title="Cil.cilPrinter">Previous</a>

diff --git a/doc/html/cil/api/Cil.descriptiveCilPrinterClass-c.html b/doc/html/cil/api/Cil.descriptiveCilPrinterClass-c.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.descriptiveCilPrinterClass</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.descriptiveCilPrinterClass</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.plainCilPrinterClass-c.html" title="Cil.plainCilPrinterClass">Previous</a>

diff --git a/doc/html/cil/api/Cil.html b/doc/html/cil/api/Cil.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cfg.html" title="Cfg">Previous</a>

diff --git a/doc/html/cil/api/Cil.nopCilVisitor-c.html b/doc/html/cil/api/Cil.nopCilVisitor-c.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.nopCilVisitor</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.nopCilVisitor</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="Cil.html" title="Cil">Up</a>

diff --git a/doc/html/cil/api/Cil.plainCilPrinterClass-c.html b/doc/html/cil/api/Cil.plainCilPrinterClass-c.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cil.plainCilPrinterClass</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cil.plainCilPrinterClass</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.defaultCilPrinterClass-c.html" title="Cil.defaultCilPrinterClass">Previous</a>

diff --git a/doc/html/cil/api/Cillower.html b/doc/html/cil/api/Cillower.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Cillower</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Cillower</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cil.html" title="Cil">Previous</a>

diff --git a/doc/html/cil/api/Clist.html b/doc/html/cil/api/Clist.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Clist</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Clist</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Cillower.html" title="Cillower">Previous</a>

diff --git a/doc/html/cil/api/Dataflow.BackwardsDataFlow.html b/doc/html/cil/api/Dataflow.BackwardsDataFlow.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dataflow.BackwardsDataFlow</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dataflow.BackwardsDataFlow</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Dataflow.ForwardsDataFlow.html" title="Dataflow.ForwardsDataFlow">Previous</a>

diff --git a/doc/html/cil/api/Dataflow.BackwardsTransfer.html b/doc/html/cil/api/Dataflow.BackwardsTransfer.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dataflow.BackwardsTransfer</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dataflow.BackwardsTransfer</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Dataflow.ForwardsTransfer.html" title="Dataflow.ForwardsTransfer">Previous</a>

diff --git a/doc/html/cil/api/Dataflow.ForwardsDataFlow.html b/doc/html/cil/api/Dataflow.ForwardsDataFlow.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dataflow.ForwardsDataFlow</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dataflow.ForwardsDataFlow</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="Dataflow.html" title="Dataflow">Up</a>

diff --git a/doc/html/cil/api/Dataflow.ForwardsTransfer.html b/doc/html/cil/api/Dataflow.ForwardsTransfer.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dataflow.ForwardsTransfer</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dataflow.ForwardsTransfer</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="Dataflow.html" title="Dataflow">Up</a>

diff --git a/doc/html/cil/api/Dataflow.html b/doc/html/cil/api/Dataflow.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dataflow</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dataflow</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Clist.html" title="Clist">Previous</a>

diff --git a/doc/html/cil/api/Dominators.html b/doc/html/cil/api/Dominators.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Dominators</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Dominators</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Dataflow.html" title="Dataflow">Previous</a>

diff --git a/doc/html/cil/api/Errormsg.html b/doc/html/cil/api/Errormsg.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Errormsg</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Errormsg</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Dominators.html" title="Dominators">Previous</a>

diff --git a/doc/html/cil/api/Formatcil.html b/doc/html/cil/api/Formatcil.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Formatcil</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Formatcil</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Errormsg.html" title="Errormsg">Previous</a>

diff --git a/doc/html/cil/api/Pretty.MakeMapPrinter.html b/doc/html/cil/api/Pretty.MakeMapPrinter.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Pretty.MakeMapPrinter</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Pretty.MakeMapPrinter</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="Pretty.html" title="Pretty">Up</a>

diff --git a/doc/html/cil/api/Pretty.MakeSetPrinter.html b/doc/html/cil/api/Pretty.MakeSetPrinter.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Pretty.MakeSetPrinter</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Pretty.MakeSetPrinter</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Pretty.MakeMapPrinter.html" title="Pretty.MakeMapPrinter">Previous</a>

diff --git a/doc/html/cil/api/Pretty.html b/doc/html/cil/api/Pretty.html
@@ -25,7 +25,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Pretty</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Pretty</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Formatcil.html" title="Formatcil">Previous</a>

diff --git a/doc/html/cil/api/Stats.html b/doc/html/cil/api/Stats.html
@@ -24,7 +24,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Stats</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Stats</title>
 </head>
 <body>
 <div class="navbar"><a class="pre" href="Pretty.html" title="Pretty">Previous</a>

diff --git a/doc/html/cil/api/index.html b/doc/html/cil/api/index.html
@@ -22,10 +22,10 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1)</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2)</title>
 </head>
 <body>
-<h1>CIL API Documentation (version 1.7.1)</h1>
+<h1>CIL API Documentation (version 1.7.2)</h1>
 <ul class="indexlist">
 <li><a href="index_types.html">Index of types</a></li>
 <li><a href="index_exceptions.html">Index of exceptions</a></li>

diff --git a/doc/html/cil/api/index_attributes.html b/doc/html/cil/api/index_attributes.html
@@ -21,7 +21,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Index of class attributes</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Index of class attributes</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>

diff --git a/doc/html/cil/api/index_class_types.html b/doc/html/cil/api/index_class_types.html
@@ -21,7 +21,7 @@
 <link title="Errormsg" rel="Chapter" href="Errormsg.html">
 <link title="Formatcil" rel="Chapter" href="Formatcil.html">
 <link title="Pretty" rel="Chapter" href="Pretty.html">
-<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.1) : Index of class types</title>
+<link title="Stats" rel="Chapter" href="Stats.html"><title>CIL API Documentation (version 1.7.2) : Index of class types</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>