Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Ismael Luceno (2aa0e37339e9dd1bd919367d8fd947456e53d4dc)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Ismael Luceno <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Ismael Luceno (2aa0e37339e9dd1bd919367d8fd947456e53d4dc)
  • Date: Thu, 11 Jun 2015 18:34:01 +0000

GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:

devel/camlp5/DETAILS | 6
devel/camlp5/HISTORY | 5
devel/coq/0001-fix-make-detection.patch | 61
----------
devel/coq/DETAILS | 4
devel/coq/HISTORY | 5
devel/coq/PRE_BUILD | 4
devel/git/DETAILS | 8 -
devel/git/HISTORY | 3
devel/zarith/0001-use-correct-library-suffix-in-install-target.patch | 25
----
devel/zarith/DETAILS | 4
devel/zarith/HISTORY | 5
devel/zarith/PRE_BUILD | 3
12 files changed, 28 insertions(+), 105 deletions(-)

New commits:
commit 2aa0e37339e9dd1bd919367d8fd947456e53d4dc
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

coq 8.4pl6

commit 6975d99c8f31cb9c859fe968211ca946451038af
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

zarith 1.3

commit 00cb1d165314213eb176b6c7a8e27f3baafcbdec
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

camlp5 6.12

commit f336745104b99bf722f53d85ff1a10f5d84620f7
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

git 2.4.3

diff --git a/devel/camlp5/DETAILS b/devel/camlp5/DETAILS
index 4e29343..4a0d24b 100755
--- a/devel/camlp5/DETAILS
+++ b/devel/camlp5/DETAILS
@@ -1,10 +1,10 @@
SPELL=camlp5
- VERSION=6.09
+ VERSION=6.12
SOURCE="${SPELL}-${VERSION}.tgz"
SOURCE_URL[0]=http://pauillac.inria.fr/~ddr/${SPELL}/distrib/src/${SOURCE}
-
SOURCE_HASH=sha512:d7ccd0aeaffe4c14fdd411b2b645148823628c76a8efd4563a235a748f92393122c3f7372606056210ba4fd4fe33ee46aeeddec120ba0b7cd0d7da029111ecc5
+
SOURCE_HASH=sha512:33cf0738b0f8f1daad0f40158654c32a7a4b1559671c6f95193a9c71bb0fdb7f8328a3d012c5fdba83fe940882588a6e12c242a7585dd193974d4f7dedbdbc12
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
- WEB_SITE="http://pauillac.inria.fr/~ddr/camlp5";
+ WEB_SITE="http://camlp5.gforge.inria.fr/";
LICENSE[0]=BSD
ENTERED=20120302
SHORT="a preprocessor-pretty-printer of OCaml"
diff --git a/devel/camlp5/HISTORY b/devel/camlp5/HISTORY
index 3c2875f..c4838f1 100644
--- a/devel/camlp5/HISTORY
+++ b/devel/camlp5/HISTORY
@@ -1,7 +1,10 @@
+2015-06-11 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: Fixed WEB_SITE
+ updated spell to 6.12
+
2012-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 6.09

2012-03-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* BUILD, DEPENDS, DETAILS: spell created
* BUILD: fixed libdir
-
diff --git a/devel/coq/0001-fix-make-detection.patch
b/devel/coq/0001-fix-make-detection.patch
deleted file mode 100644
index 8c95f77..0000000
--- a/devel/coq/0001-fix-make-detection.patch
+++ /dev/null
@@ -1,61 +0,0 @@
-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/DETAILS b/devel/coq/DETAILS
index 0473188..ba065eb 100755
--- a/devel/coq/DETAILS
+++ b/devel/coq/DETAILS
@@ -1,8 +1,8 @@
SPELL=coq
- VERSION=8.4
+ VERSION=8.4pl6
SOURCE="${SPELL}-${VERSION}.tar.gz"
SOURCE_URL[0]=http://${SPELL}.inria.fr/distrib/V${VERSION}/files/${SOURCE}
-
SOURCE_HASH=sha512:c9429ecb8c692d45c91d9c3dad093cb2e51f0af63ec99643eea584373156d0cd46a6e1eb278482e57dbf37ef59752506faa8485584445763e05d2ab06dfeab49
+
SOURCE_HASH=sha512:238bc6e28348f40f5619aa28d2e871179d9edeb6eb3f2521af6f407e24a889c8c68fa11c8b12e026f016f0fb7d5006447c3ab7eeae0804fc082d65774aefe0ef
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://coq.inria.fr";
LICENSE[0]=GPL
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
index 80ce31c..833e93d 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,8 @@
+2015-06-11 Ismael Luceno <ismael AT sourcemage.org>
+ * PRE_BUILD: removed, no longer needed
+ * 0001-fix-make-detection.patch: removed, no longer needed
+ * DETAILS: updated spell to 8.4pl6
+
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
diff --git a/devel/coq/PRE_BUILD b/devel/coq/PRE_BUILD
deleted file mode 100755
index e14af8d..0000000
--- a/devel/coq/PRE_BUILD
+++ /dev/null
@@ -1,4 +0,0 @@
-default_pre_build &&
-cd ${SOURCE_DIRECTORY} &&
-sed -i "s/\\\\\"\\\$LABLGTKLIB\\\\\"/\\\$LABLGTKLIB/" configure &&
-patch -p1 < $SPELL_DIRECTORY/0001-fix-make-detection.patch
diff --git a/devel/git/DETAILS b/devel/git/DETAILS
index cfa9cc0..dd27037 100755
--- a/devel/git/DETAILS
+++ b/devel/git/DETAILS
@@ -1,6 +1,6 @@
SPELL=git
- VERSION=2.4.1
-
SOURCE_HASH=sha512:3130f5fc2f408098f1012d7f5572d9a0bd57cf745cd233525ef226d329867e7fcc93d70823a9dcd9c7bc95db55ada4dbb32b0501e9fe5c2c5e11780c02e422cd
+ VERSION=2.4.3
+
SOURCE_HASH=sha512:ae9647e121d8aae9a57a2ae1d1b0474c94b8663b61c41d4dbf50e83e85fb78cfc794452fd1eeb9e31ddc784d1b78babe789c8be7bc80e7dc9884fa1ba9cb0633
SECURITY_PATCH=2
SOURCE=$SPELL-$VERSION.tar.xz
# SOURCE2=$SOURCE.sign
@@ -12,7 +12,7 @@ if [[ $GIT_DOC == manpages || $GIT_DOC == both ]]; then
SOURCE3=$SPELL-manpages-$VERSION.tar.xz
# SOURCE4=$SOURCE3.sign
# SOURCE3_GPG=kernel.gpg:$SOURCE3.sign:UPSTREAM_KEY
-
SOURCE3_HASH=sha512:b87b11c86f3e680f6a1d7cc0f7cdafda3adc49be725eb178b20ab33ae2e322d34f0aeca04ceca49f696226c9217962c1fd80d8e5169cda14783c50cbd81e0edf
+
SOURCE3_HASH=sha512:98ffa7d7407300b63f07d0b7d27604efa99e602fc316359624b43312de983422611ca68d2a13634cc5421e1ac14914d45e9b933f55957854075a3a6476dfb1f1
SOURCE3_URL=$KERNEL_URL/pub/software/scm/git/$SOURCE3
# SOURCE4_URL=$KERNEL_URL/pub/software/scm/git/$SOURCE4
# SOURCE4_IGNORE=signature
@@ -21,7 +21,7 @@ if [[ $GIT_DOC == htmldocs || $GIT_DOC == both ]]; then
SOURCE5=$SPELL-htmldocs-$VERSION.tar.xz
# SOURCE6=$SOURCE5.sign
# SOURCE5_GPG=kernel.gpg:$SOURCE5.sign:UPSTREAM_KEY
-
SOURCE5_HASH=sha512:cc9ba76560fb50761698cf3204f3a9ede2efa543f4465ce39f2015664b52037f79156d7c4519599edd3206411b0b8d2b74d3970fde07d8a5e5ae8e791d64882e
+
SOURCE5_HASH=sha512:55fbcffc89336083975ebdfc0123bdd7ee7d72cb02d54250684360dc5fc324209e5ae57a8f6bded65d850714b84c9322bbbea30c769389d5af67cd7599486478
SOURCE5_URL=$KERNEL_URL/pub/software/scm/git/$SOURCE5
# SOURCE6_URL=$KERNEL_URL/pub/software/scm/git/$SOURCE6
# SOURCE6_IGNORE=signature
diff --git a/devel/git/HISTORY b/devel/git/HISTORY
index 3370b16..6bb2b7b 100644
--- a/devel/git/HISTORY
+++ b/devel/git/HISTORY
@@ -1,3 +1,6 @@
+2015-06-07 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 2.4.3
+
2015-05-24 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: fix hash of html docs

diff --git
a/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
b/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
deleted file mode 100644
index f0b0db9..0000000
--- a/devel/zarith/0001-use-correct-library-suffix-in-install-target.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-From f85024e93a8b3292433b27a074fefafea0f979d4 Mon Sep 17 00:00:00 2001
-From: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
-Date: Sun, 26 May 2013 13:35:01 +0200
-Subject: [PATCH] use correct library suffix in install target
-
----
- project.mak | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/project.mak b/project.mak
-index 6f43306..865b7ea 100644
---- a/project.mak
-+++ b/project.mak
-@@ -109,7 +109,7 @@ endif
-
- ifeq ($(INSTMETH),findlib)
- install:
-- $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META
$(TOINSTALL) dllzarith.dll
-+ $(OCAMLFIND) install -destdir "$(INSTALLDIR)" zarith META
$(TOINSTALL) dllzarith.$(DLLSUFFIX)
-
- uninstall:
- $(OCAMLFIND) remove -destdir "$(INSTALLDIR)" zarith
---
-1.8.2.3
-
diff --git a/devel/zarith/DETAILS b/devel/zarith/DETAILS
index 5453f91..57e08a5 100755
--- a/devel/zarith/DETAILS
+++ b/devel/zarith/DETAILS
@@ -1,9 +1,9 @@
SPELL=zarith
- VERSION=1.2
+ VERSION=1.3
SOURCE="${SPELL}-${VERSION}.tgz"
SOURCE_URL[0]=http://forge.ocamlcore.org/frs/download.php/1187/${SOURCE}

SOURCE_HASH=sha512:acf508563266d07a6311d30f3d6ca770f162204fd674f17a042a9aa7305fccdd4f35f8df373a4df12729d324d5ecdb96ef62b287e39de60c4a62c102ecd02600
-SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-1.2"
WEB_SITE="http://forge.ocamlcore.org/projects/zarith";
LICENSE[0]=LGPL
ENTERED=20130526
diff --git a/devel/zarith/HISTORY b/devel/zarith/HISTORY
index d900bb3..08b42f5 100644
--- a/devel/zarith/HISTORY
+++ b/devel/zarith/HISTORY
@@ -1,3 +1,8 @@
+2015-06-11 Ismael Luceno <ismael AT sourcemage.org>
+ * 0001-use-correct-library-suffix-in-install-target.patch, PRE_BUILD:
+ removed, no longer needed
+ * DETAILS: updated spell to 1.3
+
2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS, DETAILS,
0001-use-correct-library-suffix-in-install-target.patch,
diff --git a/devel/zarith/PRE_BUILD b/devel/zarith/PRE_BUILD
deleted file mode 100755
index 7da4f9c..0000000
--- a/devel/zarith/PRE_BUILD
+++ /dev/null
@@ -1,3 +0,0 @@
-default_pre_build &&
-cd ${SOURCE_DIRECTORY} &&
-patch -p1 <
${SPELL_DIRECTORY}/0001-use-correct-library-suffix-in-install-target.patch



  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (2aa0e37339e9dd1bd919367d8fd947456e53d4dc), Ismael Luceno, 06/11/2015

Archive powered by MHonArc 2.6.24.

Top of Page