Browse files

Minor fixes in the distribution. Released CIL 1.0.1

  • Loading branch information...
1 parent 6ae25ec commit 9cf08add2014c3261a5ab33a261c0b24fe254ac4 @necula01 necula01 committed Sep 7, 2002
Showing with 38 additions and 4 deletions.
  1. +23 −0 INSTALL
  2. +3 −1 Makefile.in
  3. +9 −1 README
  4. +1 −1 configure
  5. +1 −1 configure.in
  6. +1 −0 doc/cil.tex
View
23 INSTALL
@@ -0,0 +1,23 @@
+
+ (For more complete installation instructions see the documentation in
+ doc/html. If you do not see anything in there then you must have downloaded
+ the sources from the CVS repository and must run "make doc" to creat the
+ documentation. To perform this step you will need to install hevea
+ (http://pauillac.inria.fr/~maranget/hevea) first)
+
+
+ 1. If you use Windows, you must first install cygwin.
+
+ 2. You must install OCaml version 3.06 or higher (see instructions at
+ http://caml.inria.fr/ocaml). Build from sources even on Windows.
+
+ 3. Download and unpack the distribution.
+
+ 4. Run ./configure (from within bash if on Windows)
+
+ 5. Run make
+
+ 6. Run make check
+
+ Now you can start using bin/cilly and bin/ccured as explained in the
+ documentation (in doc/html).
View
4 Makefile.in
@@ -186,7 +186,7 @@ TEMP_DIR = TEMP_cil-distrib
# The tar archive members will be relative to this directory
TOP_DIR = $(TEMP_DIR)/cil
-DISTRIB_ROOT = README Makefile.cil.in \
+DISTRIB_ROOT = README INSTALL Makefile.cil.in \
Makefile.ocaml Makefile.ocaml.build \
configure configure.in install-sh config.guess config.sub
@@ -294,3 +294,5 @@ testrun/%:
quicktest: $(patsubst %,test/%,func init init1) \
$(patsubst %,testrun/%,hello wchar1 vararg1)
+.PHONY: check
+check: quicktest
View
10 README
@@ -1,2 +1,10 @@
- See the documentation in doc/html
+ See the documentation in doc/html. If you do not see any documentation there
+ then you must have gotten the sources from the CVS repository. You can
+ populate the doc/html directory by running:
+
+ make doc
+
+ This step requires that you have installed hevea:
+
+ http://pauillac.inria.fr/~maranget/hevea/
View
2 configure
@@ -902,7 +902,7 @@ rm -f conftest.sh
# Assign here the CIL version numbers
CIL_VERSION_MAJOR=1
CIL_VERSION_MINOR=0
-CIL_VERSION_REV=0
+CIL_VERSION_REV=1
CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
# make sure I haven't forgotten to run autoconf
View
2 configure.in
@@ -24,7 +24,7 @@ AC_INIT(src/cil.mli)
# Assign here the CIL version numbers
CIL_VERSION_MAJOR=1
CIL_VERSION_MINOR=0
-CIL_VERSION_REV=0
+CIL_VERSION_REV=1
CIL_VERSION=$CIL_VERSION_MAJOR.$CIL_VERSION_MINOR.$CIL_VERSION_REV
# make sure I haven't forgotten to run autoconf
View
1 doc/cil.tex
@@ -2009,6 +2009,7 @@ \section{Bug reports}
\section{Changes}\label{sec-changes}
\begin{itemize}
+\item {\bf September 7, 2002}: {\bf Released version 1.0.1}
\item {\bf September 6, 2002}: Extended the patcher with the \t{ateof} flag.
\item {\bf September 4, 2002}: Fixed bug in the elaboration to CIL. In some
cases constant folding of \t{||} and \t{&&} was computed wrong.

0 comments on commit 9cf08ad

Please sign in to comment.