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 +++
 science/ltl2ba/BUILD               |    1 +
 science/ltl2ba/DETAILS             |   13 +++++++++++++
 science/ltl2ba/HISTORY             |    3 +++
 science/ltl2ba/INSTALL             |    1 +
 science/ltl2ba/PRE_BUILD           |    3 +++
 shell-term-fm/rxvt-unicode/DETAILS |    4 ++--
 shell-term-fm/rxvt-unicode/HISTORY |    3 +++
 8 files changed, 29 insertions(+), 2 deletions(-)

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

    shell-term-fm/rxvt-unicode: version 9.18

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

    science/ltl2ba: new spell, fast translation from LTL formulae to Büchi 
automata

diff --git a/ChangeLog b/ChangeLog
index 072dd37..8599e08 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,6 +2,9 @@
        * editors/vim-gnupg: new spell, Vim plugin for transparent editing of
          gpg encrypted files
 
+2013-05-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * science/ltl2ba: new spell, fast translation from LTL formulae to 
Büchi automata
+
 2013-05-22 Vlad Glagolev <stealth AT sourcemage.org>
        * net/xl2tpd: new spell, Layer 2 Tunnelling Protocol Daemon (RFC 2661)
        * net/openl2tp: new spell, complete implementation of RFC2661
diff --git a/science/ltl2ba/BUILD b/science/ltl2ba/BUILD
new file mode 100755
index 0000000..6dfecc1
--- /dev/null
+++ b/science/ltl2ba/BUILD
@@ -0,0 +1 @@
+default_build_make
diff --git a/science/ltl2ba/DETAILS b/science/ltl2ba/DETAILS
new file mode 100755
index 0000000..04be692
--- /dev/null
+++ b/science/ltl2ba/DETAILS
@@ -0,0 +1,13 @@
+           SPELL=ltl2ba
+         VERSION=1.1
+          SOURCE="${SPELL}-${VERSION}.tar.gz"
+   SOURCE_URL[0]=http://www.lsv.ens-cachan.fr/~gastin/${SPELL}/${SOURCE}
+     
SOURCE_HASH=sha512:8d010e2bb59fa5d682a56a50133865da938fd3bfcde6386184880eec6989bc1b694d6af9146b4b708cefdcdbcf98248f87074b8c973ea8cab65d658b394ccf69
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+        WEB_SITE="http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/";
+      LICENSE[0]=GPL
+         ENTERED=20130523
+           SHORT="fast LTL to Buechi Automata Translation"
+cat << EOF
+fast translation from LTL formulae to Büchi automata.
+EOF
diff --git a/science/ltl2ba/HISTORY b/science/ltl2ba/HISTORY
new file mode 100644
index 0000000..5f0711f
--- /dev/null
+++ b/science/ltl2ba/HISTORY
@@ -0,0 +1,3 @@
+2013-05-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * BUILD, DETAILS, INSTALL, PRE_BUILD: spell created
+
diff --git a/science/ltl2ba/INSTALL b/science/ltl2ba/INSTALL
new file mode 100755
index 0000000..21de08e
--- /dev/null
+++ b/science/ltl2ba/INSTALL
@@ -0,0 +1 @@
+install -m755 ${SOURCE_DIRECTORY}/ltl2ba ${INSTALL_ROOT}/usr/bin/
diff --git a/science/ltl2ba/PRE_BUILD b/science/ltl2ba/PRE_BUILD
new file mode 100755
index 0000000..211fb51
--- /dev/null
+++ b/science/ltl2ba/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd ${SOURCE_DIRECTORY} &&
+sed -i Makefile -e "s/CC=gcc/#CC=gcc/g" -e "s/CFLAGS= -O3 -ansi 
-DNXT/CFLAGS+= -ansi -DNXT/g"
diff --git a/shell-term-fm/rxvt-unicode/DETAILS 
b/shell-term-fm/rxvt-unicode/DETAILS
index 6eb7ae4..66fa66a 100755
--- a/shell-term-fm/rxvt-unicode/DETAILS
+++ b/shell-term-fm/rxvt-unicode/DETAILS
@@ -1,6 +1,6 @@
            SPELL=rxvt-unicode
-         VERSION=9.17
-     
SOURCE_HASH=sha512:e7ba2614cf7f8027170a6adfddedd3fc7a63f219a76f92901b49b5a26295d5191200ac7c1dad1f1e7c90225c8fa2dced3022317e8e876425a57d067c3c0d84ee
+         VERSION=9.18
+     
SOURCE_HASH=sha512:8d1abf38c6ad47129fafc22c3996a7e2cd0f0cf4982d441ee30076d64d191637942307efd12cc05dfef6b65136530973be9da89e6769c5967d4e523f33309237
           SOURCE=$SPELL-$VERSION.tar.bz2
 SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
    SOURCE_URL[0]=http://dist.schmorp.de/$SPELL/$SOURCE
diff --git a/shell-term-fm/rxvt-unicode/HISTORY 
b/shell-term-fm/rxvt-unicode/HISTORY
index f11f568..3b2ae09 100644
--- a/shell-term-fm/rxvt-unicode/HISTORY
+++ b/shell-term-fm/rxvt-unicode/HISTORY
@@ -1,3 +1,6 @@
+2013-05-23 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * DETAILS: version 9.18
+
 2013-03-09 Vlad Glagolev <stealth AT sourcemage.org>
        * DETAILS: updated spell to 9.17
        * DEPENDS: added gdk-pixbuf2 optional dep -- replaced LIBAFTERIMAGE;