Skip to Content.
Sympa Menu

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

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 (3e5d4c13ff460f99ac14df3e8a457b827f71dcc9)
  • Date: Thu, 23 May 2013 16:36:53 -0500

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;



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

Archive powered by MHonArc 2.6.24.

Top of Page