Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Florian Franzmann (e04eb02facc6deb4630c1647a9caa999fe54719a)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Florian Franzmann <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Florian Franzmann (e04eb02facc6deb4630c1647a9caa999fe54719a)
  • Date: Fri, 31 May 2013 12:23:00 -0500

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
+



  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (e04eb02facc6deb4630c1647a9caa999fe54719a), Florian Franzmann, 05/31/2013

Archive powered by MHonArc 2.6.24.

Top of Page