Source Mage code commit list

[Florian Franzmann <scm AT sourcemage.org>]

GIT changes to master grimoire by Florian Franzmann 
<siflfran AT hawo.stw.uni-erlangen.de>:

 ChangeLog                  |    3 +++
 devel/alt-ergo/DETAILS     |    4 ++--
 devel/alt-ergo/HISTORY     |    3 +++
 devel/why/HISTORY          |    3 +++
 devel/why/PRE_BUILD        |    3 +++
 devel/why3/DEPENDS         |    6 +++++-
 devel/why3/HISTORY         |    6 ++++++
 libs/sqlite3-ocaml/BUILD   |    7 +++++++
 libs/sqlite3-ocaml/DEPENDS |    2 ++
 libs/sqlite3-ocaml/DETAILS |   15 +++++++++++++++
 libs/sqlite3-ocaml/HISTORY |    3 +++
 11 files changed, 52 insertions(+), 3 deletions(-)

New commits:
commit e04eb02facc6deb4630c1647a9caa999fe54719a
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    devel/alt-ergo: version 0.95.1

commit f43f09672cd30f2ae370145fd09202fbaae632c6
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    devel/why: fix incompatibility with frama-c Fluorine-20130501

commit 3e4ed16a7f33fcc65582374a7e18f377961d1b45
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    devel/why3: version 0.81

commit 9cfd9720dfda9d1e90289c145f4d69603f2f374b
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    devel/why3: add optional dependency on sqlite3-ocaml

commit a9cbb497f076ea2e27ea3a8b8493ac433c4fe975
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    libs/sqlite3-ocaml: new spell, sqlite3 bindings for ocaml

diff --git a/ChangeLog b/ChangeLog
index 8b771cb..8402368 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2013-05-31 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * libs/sqlite3-ocaml: new spell, sqlite3 bindings for ocaml
+
 2013-05-29 Treeve Jelbert <treeve AT sourcemage.org>
        * python-pypi/inflect: new spell: orrectly generate plurals
 
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS
index 6dea232..50c481c 100755
--- a/devel/alt-ergo/DETAILS
+++ b/devel/alt-ergo/DETAILS
@@ -1,8 +1,8 @@
            SPELL=alt-ergo
-         VERSION=0.95
+         VERSION=0.95.1
           SOURCE="${SPELL}-${VERSION}.tar.gz"
    SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SPELL}-${VERSION}/${SOURCE}
-     
SOURCE_HASH=sha512:04256d73417d1b708c0d5a8533f0e9f45568cc862a4ca2354c657035911a66e31f24128be7938a3eb13a35d40b76c54316374559a70fdb4c4ff85671f630bc91
+     
SOURCE_HASH=sha512:1a295884c5ffcfc11368828eaab1e86e5d6956bddda88505b0c5344668b418d3efb926b1922adce8b6369c66de0ec5b9037eb9e780a07f43d830a108f9659843
 SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
         WEB_SITE="http://alt-ergo.lri.fr";
       LICENSE[0]=CeCILL-C
diff --git a/devel/alt-ergo/HISTORY b/devel/alt-ergo/HISTORY
index 21016fd..d97228f 100644
--- a/devel/alt-ergo/HISTORY
+++ b/devel/alt-ergo/HISTORY
@@ -1,3 +1,6 @@
+2013-05-31 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * DETAILS: version 0.95.1
+
 2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * DETAILS: version 0.95
 
diff --git a/devel/why/HISTORY b/devel/why/HISTORY
index de1dd71..3312717 100644
--- a/devel/why/HISTORY
+++ b/devel/why/HISTORY
@@ -1,3 +1,6 @@
+2013-05-31 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * PRE_BUILD: fix incompatibility with frama-c Fluorine-20130501
+
 2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * BUILD, DEPENDS, DETAILS: spell created
 
diff --git a/devel/why/PRE_BUILD b/devel/why/PRE_BUILD
new file mode 100755
index 0000000..8c5024b
--- /dev/null
+++ b/devel/why/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+sedit 's:Fluorine-20130401:Fluorine-20130501:g' configure
diff --git a/devel/why3/DEPENDS b/devel/why3/DEPENDS
index 94bebcc..5212d47 100755
--- a/devel/why3/DEPENDS
+++ b/devel/why3/DEPENDS
@@ -4,4 +4,8 @@ depends gmp &&
 depends mpfr &&
 depends gtk+2 &&
 depends pango &&
-depends ocaml 
+depends ocaml &&
+optional_depends sqlite3-ocaml \
+                 "--enable-bench" \
+                 "--disable-bench" \
+                 "support for batch processing"
diff --git a/devel/why3/HISTORY b/devel/why3/HISTORY
index 9be774f..6d25fb4 100644
--- a/devel/why3/HISTORY
+++ b/devel/why3/HISTORY
@@ -1,3 +1,9 @@
+2013-05-31 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * DETAILS: version 0.81
+
+2013-05-30 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * DEPENDS: added optional dependency on sqlite3-ocaml
+
 2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * BUILD, DEPENDS, DETAILS: spell created
 
diff --git a/libs/sqlite3-ocaml/BUILD b/libs/sqlite3-ocaml/BUILD
new file mode 100755
index 0000000..f07258c
--- /dev/null
+++ b/libs/sqlite3-ocaml/BUILD
@@ -0,0 +1,7 @@
+./configure --prefix="${INSTALL_ROOT}/usr" \
+        --sysconfdir="${INSTALL_ROOT}/etc" \
+     --localstatedir="${INSTALL_ROOT}/var" \
+            --mandir="${INSTALL_ROOT}/usr/share/man" \
+           --infodir="${INSTALL_ROOT}/usr/share/info" \
+            $OPTS &&
+default_build_make
diff --git a/libs/sqlite3-ocaml/DEPENDS b/libs/sqlite3-ocaml/DEPENDS
new file mode 100755
index 0000000..d2609de
--- /dev/null
+++ b/libs/sqlite3-ocaml/DEPENDS
@@ -0,0 +1,2 @@
+depends ocaml &&
+depends sqlite
diff --git a/libs/sqlite3-ocaml/DETAILS b/libs/sqlite3-ocaml/DETAILS
new file mode 100755
index 0000000..00d9f66
--- /dev/null
+++ b/libs/sqlite3-ocaml/DETAILS
@@ -0,0 +1,15 @@
+           SPELL=sqlite3-ocaml
+         VERSION=2.0.4
+          SOURCE="${SPELL}-${VERSION}.tar.gz"
+   SOURCE_URL[0]=https://bitbucket.org/mmottl/${SPELL}/downloads/${SOURCE}
+     
SOURCE_HASH=sha512:7167397cf4731599cbd4a916941e2bf394755183e4f925a0cacd80352b030e9517fc492f6d24fb7e9f44dc705570303d8a96247c69309543090896c7ffacc0cc
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+        WEB_SITE="https://bitbucket.org/mmottl/sqlite3-ocaml";
+      LICENSE[0]=MIT
+         ENTERED=20130530
+           SHORT="an OCaml library with bindings to the SQLite3 client API"
+cat << EOF
+SQLite3-OCaml is an OCaml library with bindings to the SQLite3 client API.
+Sqlite3 is a self-contained, serverless, zero-configuration, transactional
+SQL database engine with outstanding performance for many use cases.
+EOF
diff --git a/libs/sqlite3-ocaml/HISTORY b/libs/sqlite3-ocaml/HISTORY
new file mode 100644
index 0000000..04688cc
--- /dev/null
+++ b/libs/sqlite3-ocaml/HISTORY
@@ -0,0 +1,3 @@
+2013-05-31 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * BUILD, DEPENDS, DETAILS: spell created
+