Skip to Content.
Sympa Menu

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

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 (107ff17fc7889c786afb3e6526ebad35a1df2756)
  • Date: Sun, 2 Feb 2014 13:13:25 -0600

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

devel/coq/0001-fix-make-detection.patch | 61
++++++++++++++++++++++++++++++++
devel/coq/HISTORY | 4 ++
devel/coq/PRE_BUILD | 3 +
devel/ocaml/DETAILS | 4 +-
devel/ocaml/HISTORY | 3 +
libs/findlib/DETAILS | 4 +-
libs/findlib/HISTORY | 3 +
security/rkhunter/DETAILS | 6 +--
security/rkhunter/HISTORY | 3 +
utils/ocaml-csv/DETAILS | 6 +--
utils/ocaml-csv/HISTORY | 3 +
video/mpv/DETAILS | 4 +-
video/mpv/HISTORY | 3 +
13 files changed, 94 insertions(+), 13 deletions(-)

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

video/mpv: version 0.3.4

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

security/rkhunter: version 1.4.0

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

devel/coq: fix detection of make during configure

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

devel/ocaml: version 4.01.0

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

utils/ocaml-csv: version 1.3.2

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

libs/findlib: version 1.4

diff --git a/devel/coq/0001-fix-make-detection.patch
b/devel/coq/0001-fix-make-detection.patch
new file mode 100644
index 0000000..8c95f77
--- /dev/null
+++ b/devel/coq/0001-fix-make-detection.patch
@@ -0,0 +1,61 @@
+From 5e3aadfd0f36fb95cf4bc45e819780883d4a541b Mon Sep 17 00:00:00 2001
+From: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+Date: Sun, 2 Feb 2014 00:39:39 +0100
+Subject: [PATCH] fix make detection
+
+---
+ configure | 20 ++++++++++----------
+ 1 file changed, 10 insertions(+), 10 deletions(-)
+
+diff --git a/configure b/configure
+index 7f75b35..d99340a 100755
+--- a/configure
++++ b/configure
+@@ -336,22 +336,22 @@ if [ "$MAKE" != "" ]; then
+ MAKEVERSION=`$MAKE -v | head -1 | cut -d" " -f3`
+ MAKEVERSIONMAJOR=`echo $MAKEVERSION | cut -d. -f1`
+ MAKEVERSIONMINOR=`echo $MAKEVERSION | cut -d. -f2`
+- if [ "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ]; then
++ if [ "$MAKEVERSIONMAJOR" -eq 4 -a "$MAKEVERSIONMINOR" -ge 0 ]; then
+ echo "You have GNU Make $MAKEVERSION. Good!"
+ else
+ OK="no"
+- #Extra support for local installation of make 3.81
+- #will be useless when make >= 3.81 will be standard
++ #Extra support for local installation of make 4.0
++ #will be useless when make >= 4.0 will be standard
+ if [ -x ./make ]; then
+ MAKEVERSION=`./make -v | head -1`
+- if [ "$MAKEVERSION" = "GNU Make 3.81" ]; then OK="yes"; fi
++ if [ "$MAKEVERSION" = "GNU Make 4.0" ]; then OK="yes"; fi
+ fi
+ if [ $OK = "no" ]; then
+- echo "GNU Make >= 3.81 is needed."
+- echo "Make 3.81 can be downloaded from
ftp://ftp.gnu.org/gnu/make/make-3.81.tar.gz";
++ echo "GNU Make >= 4.0 is needed."
++ echo "Make 4.0 can be downloaded from
ftp://ftp.gnu.org/gnu/make/make-4.0.tar.gz";
+ echo "then locally installed on a Unix-style system by issuing:"
+- echo " tar xzvf make-3.81.tar.gz"
+- echo " cd make-3.81"
++ echo " tar xzvf make-4.0.tar.gz"
++ echo " cd make-4.0"
+ echo " ./configure"
+ echo " make"
+ echo " mv make .."
+@@ -359,11 +359,11 @@ if [ "$MAKE" != "" ]; then
+ echo "Restart then the configure script and later use ./make
instead of make."
+ exit 1
+ else
+- echo "You have locally installed GNU Make 3.81. Good!"
++ echo "You have locally installed GNU Make 4.0. Good!"
+ fi
+ fi
+ else
+- echo "Cannot find GNU Make >= 3.81."
++ echo "Cannot find GNU Make >= 4.0."
+ fi
+
+ # Browser command
+--
+1.8.5.3
+
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
index 872d18a..80ce31c 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,7 @@
+2014-02-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * PRE_BUILD, 0001-fix-make-detection.patch: fix detection of
+ make in configure
+
2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS: added dependency on zarith

diff --git a/devel/coq/PRE_BUILD b/devel/coq/PRE_BUILD
index 61835c9..e14af8d 100755
--- a/devel/coq/PRE_BUILD
+++ b/devel/coq/PRE_BUILD
@@ -1,3 +1,4 @@
default_pre_build &&
cd ${SOURCE_DIRECTORY} &&
-sed -i "s/\\\\\"\\\$LABLGTKLIB\\\\\"/\\\$LABLGTKLIB/" configure
+sed -i "s/\\\\\"\\\$LABLGTKLIB\\\\\"/\\\$LABLGTKLIB/" configure &&
+patch -p1 < $SPELL_DIRECTORY/0001-fix-make-detection.patch
diff --git a/devel/ocaml/DETAILS b/devel/ocaml/DETAILS
index c74eb75..ed7c6f3 100755
--- a/devel/ocaml/DETAILS
+++ b/devel/ocaml/DETAILS
@@ -1,6 +1,6 @@
SPELL=ocaml
- VERSION=3.12.1
-
SOURCE_HASH=sha512:cbb050aabcbe19a4aa070d6cb74f3774cb136692dfd9433ca977f0f9520ad2f583b6cfb1a9cedfedc92e7dc794ac4a869e20aa5a67a4739002feb290435dc7e7
+ VERSION=4.01.0
+
SOURCE_HASH=sha512:b0a4efa89d0e48e5c01922156a73a8ed67c58efa07170710eaef9de1138e1d6fff8a440b2c81860fc63c604f3a4e189b795bb08a5e9d8df60778fcd468985f6e
SOURCE=$SPELL-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-${VERSION%pl*}

SOURCE_URL[0]=http://caml.inria.fr/pub/distrib/$SPELL-${VERSION:0:4}/$SOURCE
diff --git a/devel/ocaml/HISTORY b/devel/ocaml/HISTORY
index 1994a3e..cb98e15 100644
--- a/devel/ocaml/HISTORY
+++ b/devel/ocaml/HISTORY
@@ -1,3 +1,6 @@
+2014-02-01 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 4.01.0
+
2013-01-20 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* TRIGGERS: perform check_self on cast binutils, tk, tcl

diff --git a/libs/findlib/DETAILS b/libs/findlib/DETAILS
index 248007a..d278067 100755
--- a/libs/findlib/DETAILS
+++ b/libs/findlib/DETAILS
@@ -1,8 +1,8 @@
SPELL=findlib
- VERSION=1.3.3
+ VERSION=1.4
SOURCE=${SPELL}-${VERSION}.tar.gz
SOURCE_URL[0]=http://www.ocaml-programming.de/packages/${SOURCE}
-
SOURCE_HASH=sha512:c5e5a6911a0f79c2036ad59e5ac2bc16a0de9b086c29e30625c49748d3f54844730d0f9a9aaadc7e7c47f4bcbeec4ad9351a4179ff9a0743b30b6c7e8da6159d
+
SOURCE_HASH=sha512:7ee5bee74f6fc14c8d85496e673d42b63e056d35a724fe4f78fd1010a5af4506a9a962c0403fd96d5bf51f2278bfbe98a60aad65a171803cbde935cc3889157b
SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION}
WEB_SITE=http://projects.camlcity.org/projects/findlib.html
ENTERED=20060629
diff --git a/libs/findlib/HISTORY b/libs/findlib/HISTORY
index 29484c9..b245b76 100644
--- a/libs/findlib/HISTORY
+++ b/libs/findlib/HISTORY
@@ -1,3 +1,6 @@
+2014-02-01 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.4
+
2013-06-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: fix WEB_SITE

diff --git a/security/rkhunter/DETAILS b/security/rkhunter/DETAILS
index 5bd72aa..7645c02 100755
--- a/security/rkhunter/DETAILS
+++ b/security/rkhunter/DETAILS
@@ -1,11 +1,11 @@
SPELL=rkhunter
- VERSION=1.3.8
+ VERSION=1.4.0
SOURCE=$SPELL-$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
- SOURCE_URL[0]=$SOURCEFORGE_URL/$SPELL/$SOURCE
+ SOURCE_URL[0]=$SOURCEFORGE_URL/$SPELL/$SPELL/$VERSION/$SOURCE
WEB_SITE=http://www.rootkit.nl/projects/rootkit_hunter.html
ENTERED=20050619
-
SOURCE_HASH=sha512:b1cf308f06a2744b5addf3dc9663815832a1878e3cb7fe281bfa83f8c293803b1e9cfd34c4f39e5707618beb6b852a5220e3cd52c93fcbb354a2c638acd76c5b
+
SOURCE_HASH=sha512:92b35fc4567a1c4d93b82fb20f8558d91bfae82b5500cea1a4ca47375706baf139a20c38fb43116824263eb6cc85118edf033d0e1cb735d7ef36eb4820a03b76
LICENSE[0]=GPL
KEYWORDS="security"
SHORT="Scans files and systems for known and unknown rootkits."
diff --git a/security/rkhunter/HISTORY b/security/rkhunter/HISTORY
index 3bf97c8..a758cb8 100644
--- a/security/rkhunter/HISTORY
+++ b/security/rkhunter/HISTORY
@@ -1,3 +1,6 @@
+2014-02-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.4.0
+
2011-02-22 Julien "_kaze_" ROZO <julien AT rozo.org>
* DETAILS: updated version to 1.3.8

diff --git a/utils/ocaml-csv/DETAILS b/utils/ocaml-csv/DETAILS
index faf85a9..69eccf6 100755
--- a/utils/ocaml-csv/DETAILS
+++ b/utils/ocaml-csv/DETAILS
@@ -1,8 +1,8 @@
SPELL=ocaml-csv
- VERSION=1.3.0
+ VERSION=1.3.2
SOURCE="csv-${VERSION}.tar.gz"
- SOURCE_URL[0]=https://forge.ocamlcore.org/frs/download.php/1172/${SOURCE}
-
SOURCE_HASH=sha512:57fcc356571cd08f30ad4add9e9cebe6a8716f86af9c9387b108250f02b3cffdeda2fabb346dea3c349079653207131f5b462f6a07dd99170b42268f3f17cd8d
+ SOURCE_URL[0]=https://forge.ocamlcore.org/frs/download.php/1298/${SOURCE}
+
SOURCE_HASH=sha512:49d9142ae36cef749822d78189b7b476ad0e6605c2ae615943e0f55b35dc3bd785eb6af1cd7bb02780158325c28287913e46f98a0f3df3b974d018a51f1361e6
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/csv-${VERSION}"
WEB_SITE="http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=447";
LICENSE[0]=LGPL
diff --git a/utils/ocaml-csv/HISTORY b/utils/ocaml-csv/HISTORY
index 3f42e82..2fd947d 100644
--- a/utils/ocaml-csv/HISTORY
+++ b/utils/ocaml-csv/HISTORY
@@ -1,3 +1,6 @@
+2014-02-01 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 1.3.2
+
2013-06-03 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS: spell created

diff --git a/video/mpv/DETAILS b/video/mpv/DETAILS
index 862c6a7..cb59719 100755
--- a/video/mpv/DETAILS
+++ b/video/mpv/DETAILS
@@ -1,10 +1,10 @@
SPELL=mpv
- VERSION=0.3.3
+ VERSION=0.3.4
SOURCE=${SPELL}-${VERSION}.tar.gz
SOURCEX=v${VERSION}.tar.gz

SOURCE_URL[0]=https://github.com/${SPELL}-player/${SPELL}/archive/${SOURCEX}
SOURCE_HINTS="no-check-certificate"
-
SOURCE_HASH=sha512:1a9e4de41e6215525ba0d195c8d2b9ebc76beea9c1792bfcf3e594219e614fc588134f1669bd7f6a898fa961e0e9c670309cc347c42733e69c9a2a1cadb4536b
+
SOURCE_HASH=sha512:ad5fee608df74f31f4a5d369f68b4dfca1816f3eda62cc338beda16ff7e77619a17711759fd763aecbdb589597727e401b4f3a8daf5a9d30373199158685dd14
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
DOCS="Copyright DOCS/tech-overview.txt DOCS/OUTDATED-tech/*
$DOCS"
WEB_SITE=http://mpv.io/
diff --git a/video/mpv/HISTORY b/video/mpv/HISTORY
index acdd4f1..ef70844 100644
--- a/video/mpv/HISTORY
+++ b/video/mpv/HISTORY
@@ -1,3 +1,6 @@
+2014-02-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DETAILS: version 0.3.4
+
2014-01-24 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 0.3.3




  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (107ff17fc7889c786afb3e6526ebad35a1df2756), Florian Franzmann, 02/02/2014

Archive powered by MHonArc 2.6.24.

Top of Page