Skip to Content.
Sympa Menu

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

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

[SM-Commit] GIT changes to master grimoire by Florian Franzmann (78c6bdfd7564e8e9a034c46dda652f96dffe35b4)

Chronological Thread  
    < 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 (78c6bdfd7564e8e9a034c46dda652f96dffe35b4)
  • Date: Wed, 23 Jan 2013 16:38:15 -0600
GIT changes to master grimoire by Florian Franzmann
<siflfran AT hawo.stw.uni-erlangen.de>:

ChangeLog | 6 ++++++
devel/alt-ergo/DETAILS | 6 +++---
devel/alt-ergo/HISTORY | 3 +++
devel/cppcheck/DETAILS | 4 ++--
devel/cppcheck/HISTORY | 3 +++
devel/ocaml/HISTORY | 3 +++
devel/ocaml/TRIGGERS | 5 +++++
devel/why3/BUILD | 2 ++
devel/why3/DEPENDS | 7 +++++++
devel/why3/DETAILS | 20 ++++++++++++++++++++
devel/why3/HISTORY | 3 +++
utils/wyrd/BUILD | 3 +++
utils/wyrd/DEPENDS | 4 ++++
utils/wyrd/DETAILS | 17 +++++++++++++++++
utils/wyrd/HISTORY | 3 +++
15 files changed, 84 insertions(+), 5 deletions(-)

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

utils/wyrd: new spell, a curses based front-end to remind

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

devel/cppcheck: version 1.58

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

devel/why3: new spell, a rich library of proof task transformations

commit 0b173a26c03bdadce4eafdd1351de58b07b37cc4
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

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

devel/ocaml: add check_self on cast binutils, tk, tcl

diff --git a/ChangeLog b/ChangeLog
index da8f331..5f483b8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,12 @@
+2013-01-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * utils/wyrd: new spell, a curses based front-end to remind
+
2013-01-21 Vlad Glagolev <stealth AT sourcemage.org>
* mail/greylist: new spell, greylist policy service for postfix

+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * devel/why3: new spell, a rich library of proof task transformations
+
2013-01-20 Vlad Glagolev <stealth AT sourcemage.org>
* python-pypi/virtualenv: new spell, Virtual Python Environment
builder
* python-pypi/celery: new spell, Distributed Task Queue
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS
index 5a089ba..6dea232 100755
--- a/devel/alt-ergo/DETAILS
+++ b/devel/alt-ergo/DETAILS
@@ -1,8 +1,8 @@
SPELL=alt-ergo
- VERSION=0.94
+ VERSION=0.95
SOURCE="${SPELL}-${VERSION}.tar.gz"
- SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SOURCE}
-
SOURCE_HASH=sha512:7bd5f725f9861b764dcc1a71cf89e8abe9398a0138d1f137094a9d1b089938ef3a3933bb5d55677f50b197a443c66bbbbf0a57e07da32e592f741a7aab527bdf
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SPELL}-${VERSION}/${SOURCE}
+
SOURCE_HASH=sha512:04256d73417d1b708c0d5a8533f0e9f45568cc862a4ca2354c657035911a66e31f24128be7938a3eb13a35d40b76c54316374559a70fdb4c4ff85671f630bc91
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 5404b63..21016fd 100644
--- a/devel/alt-ergo/HISTORY
+++ b/devel/alt-ergo/HISTORY
@@ -1,3 +1,6 @@
+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 0.95
+
2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS: spell created

diff --git a/devel/cppcheck/DETAILS b/devel/cppcheck/DETAILS
index a5b04ba..fd0ddda 100755
--- a/devel/cppcheck/DETAILS
+++ b/devel/cppcheck/DETAILS
@@ -1,8 +1,8 @@
SPELL=cppcheck
- VERSION=1.55
+ VERSION=1.58
SOURCE="${SPELL}-${VERSION}.tar.bz2"

SOURCE_URL[0]=$SOURCEFORGE_URL/project/${SPELL}/${SPELL}/${VERSION}/${SOURCE}
-
SOURCE_HASH=sha512:297b88986583e434517293b6ca90c4c7b298ffdde4369c1bd5838e5cf063697f85a9aff1944328ea2e473509bb8f743505913556b2c75ba0dc3fba3f22dc5730
+
SOURCE_HASH=sha512:440b93ccbfb1b5d70f6d945a29ee949ccde30888454aa1938864521c81f9568150194fd0a610139cd10fd5e0e183bc1257bfb91d35ec5a107b20e8db38ae396e
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"

WEB_SITE="http://sourceforge.net/apps/mediawiki/cppcheck/index.php?title=Main_Page";
LICENSE[0]=GPL
diff --git a/devel/cppcheck/HISTORY b/devel/cppcheck/HISTORY
index 296eb64..7168495 100644
--- a/devel/cppcheck/HISTORY
+++ b/devel/cppcheck/HISTORY
@@ -1,3 +1,6 @@
+2013-01-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.58
+
2012-08-19 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 1.55

diff --git a/devel/ocaml/HISTORY b/devel/ocaml/HISTORY
index 5128a41..1994a3e 100644
--- a/devel/ocaml/HISTORY
+++ b/devel/ocaml/HISTORY
@@ -1,3 +1,6 @@
+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * TRIGGERS: perform check_self on cast binutils, tk, tcl
+
2011-07-22 Treeve Jelbert <treeve AT sourcemage.org>
* DETAILS: version 3.12.1

diff --git a/devel/ocaml/TRIGGERS b/devel/ocaml/TRIGGERS
new file mode 100755
index 0000000..e19be06
--- /dev/null
+++ b/devel/ocaml/TRIGGERS
@@ -0,0 +1,5 @@
+on_cast binutils check_self
+if is_depends_enabled $SPELL tk; then
+ on_cast tk check_self
+ on_cast tcl check_self
+fi
diff --git a/devel/why3/BUILD b/devel/why3/BUILD
new file mode 100755
index 0000000..41bab4a
--- /dev/null
+++ b/devel/why3/BUILD
@@ -0,0 +1,2 @@
+OPTS+=" --disable-pvs-libs" &&
+default_build
diff --git a/devel/why3/DEPENDS b/devel/why3/DEPENDS
new file mode 100755
index 0000000..94bebcc
--- /dev/null
+++ b/devel/why3/DEPENDS
@@ -0,0 +1,7 @@
+depends gdk-pixbuf2 &&
+depends glib2 &&
+depends gmp &&
+depends mpfr &&
+depends gtk+2 &&
+depends pango &&
+depends ocaml
diff --git a/devel/why3/DETAILS b/devel/why3/DETAILS
new file mode 100755
index 0000000..71caabb
--- /dev/null
+++ b/devel/why3/DETAILS
@@ -0,0 +1,20 @@
+ SPELL=why3
+ VERSION=0.80
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=https://gforge.inria.fr/frs/download.php/31724/${SOURCE}
+
SOURCE_HASH=sha512:260e94378146a9a9d5442cf0f420e3d3f95a12c003f6db70585d46dfb7289e5d48c8aadc01372c8fcf5e7f29ccb4888356d2601a56bb41353f8068b5b97e5e47
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://why3.lri.fr";
+ LICENSE[0]=GPL
+ ENTERED=20120209
+ SHORT="a rich library of proof task transformations"
+cat << EOF
+Why3 is the next generation of the Why software verification platform. Why3
+clearly separates the purely logical specification part from generation of
+verification conditions for programs. It features a rich library of proof
+task transformations that can be chained to produce a suitable input for a
+large set of theorem provers, including SMT solvers, TPTP provers, as well
+as interactive proof assistants.
+
+Supported provers: Alt-Ergo, Z3, CVC3, Yices 1, Simplify, Gappa, Coq.
+EOF
diff --git a/devel/why3/HISTORY b/devel/why3/HISTORY
new file mode 100644
index 0000000..9be774f
--- /dev/null
+++ b/devel/why3/HISTORY
@@ -0,0 +1,3 @@
+2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD, DEPENDS, DETAILS: spell created
+
diff --git a/utils/wyrd/BUILD b/utils/wyrd/BUILD
new file mode 100755
index 0000000..de33b68
--- /dev/null
+++ b/utils/wyrd/BUILD
@@ -0,0 +1,3 @@
+make_single &&
+default_build &&
+make_normal
diff --git a/utils/wyrd/DEPENDS b/utils/wyrd/DEPENDS
new file mode 100755
index 0000000..f0633d0
--- /dev/null
+++ b/utils/wyrd/DEPENDS
@@ -0,0 +1,4 @@
+depends ocaml &&
+depends ncurses &&
+depends remind &&
+depends PAGER
diff --git a/utils/wyrd/DETAILS b/utils/wyrd/DETAILS
new file mode 100755
index 0000000..9ee9583
--- /dev/null
+++ b/utils/wyrd/DETAILS
@@ -0,0 +1,17 @@
+ SPELL=wyrd
+ VERSION=1.4.5
+ SOURCE="${SPELL}-${VERSION}.tar.gz"
+ SOURCE_URL[0]=http://pessimization.com/software/${SPELL}/${SOURCE}
+
SOURCE_HASH=sha512:5d4707f726ea725cd005e82fc17fa5452ecd087a8946733bf3e92f1cc99d3291758b7756ab2fac75d8b4ff6793897da7982c16f889ff3bfca00853653a09d924
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+ WEB_SITE="http://pessimization.com/software/wyrd/";
+ LICENSE[0]=GPL
+ ENTERED=20130123
+ SHORT="a text-based front-end to Remind"
+cat << EOF
+Wyrd is a text-based front-end to Remind, a sophisticated calendar and alarm
+program. Remind's power lies in its programmability, and Wyrd does not hide
+this capability behind flashy GUI dialogs. Rather, Wyrd is designed to make
+you more efficient at editing your reminder files directly. It also offers
+a scrollable timetable suitable for visualizing your schedule at a glance.
+EOF
diff --git a/utils/wyrd/HISTORY b/utils/wyrd/HISTORY
new file mode 100644
index 0000000..a33cce8
--- /dev/null
+++ b/utils/wyrd/HISTORY
@@ -0,0 +1,3 @@
+2013-01-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * BUILD, DEPENDS, DETAILS: spell created
+


  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (78c6bdfd7564e8e9a034c46dda652f96dffe35b4), Florian Franzmann, 01/23/2013

Archive powered by MHonArc 2.6.24.

Top of Page