Skip to Content.
Sympa Menu

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

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 (91e4a23a41066d25c8e9e3441dce8e27486ec2d1)
  • Date: Sat, 28 Oct 2017 21:09:57 +0000

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

devel/mosml/BUILD | 4 +---
devel/mosml/DETAILS | 10 +++++-----
devel/mosml/HISTORY | 4 ++++
devel/mosml/INSTALL | 1 +
devel/mosml/Makefile.inc.patch | 26 --------------------------
devel/ocaml/DETAILS | 4 ++--
devel/ocaml/HISTORY | 3 +++
7 files changed, 16 insertions(+), 36 deletions(-)

New commits:
commit 91e4a23a41066d25c8e9e3441dce8e27486ec2d1
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

ocaml 4.05.0

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

mosml 2.10.1

diff --git a/devel/mosml/BUILD b/devel/mosml/BUILD
index bdb08c9..b4769c8 100755
--- a/devel/mosml/BUILD
+++ b/devel/mosml/BUILD
@@ -1,3 +1 @@
-patch -p0 < ${SPELL_DIRECTORY}/Makefile.inc.patch &&
-cd src &&
-make
+make -C src PREFIX="$INSTALL_ROOT"/usr
diff --git a/devel/mosml/DETAILS b/devel/mosml/DETAILS
index 6e3e1fe..073c208 100755
--- a/devel/mosml/DETAILS
+++ b/devel/mosml/DETAILS
@@ -1,9 +1,9 @@
SPELL=mosml
- VERSION=2.01
- SOURCE=mos201src.tar.gz
-SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL
- SOURCE_URL[0]=http://www.dina.kvl.dk/~sestoft/mosml/$SOURCE
-
SOURCE_HASH=sha512:c08881cad23503bb57c7696ccfe16dd2f716ed423999018c3044266c9329a3175667c5294ef2eda83b5d1ef810fb7fc8e037f9d1fed3245da9dbbc895ad6e15c

+ VERSION=2.10.1
+ SOURCE=mosml-$VERSION.tar.gz
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-ver-$VERSION
+ SOURCE_URL[0]=https://github.com/kfl/mosml/archive/ver-$VERSION.tar.gz
+
SOURCE_HASH=sha512:1463ee8dbcd979795ceca0439c7b2d545520590e036bd0c428d9617802a4e40efba82caf0afd5e24761b857cceb63a69269bf765c91df27c3e5f84242519af60
WEB_SITE=http://www.dina.dk/~sestoft/mosml.html
ENTERED=20041203
LICENCE[0]=GPL
diff --git a/devel/mosml/HISTORY b/devel/mosml/HISTORY
index 18b045a..50640c4 100644
--- a/devel/mosml/HISTORY
+++ b/devel/mosml/HISTORY
@@ -1,3 +1,7 @@
+2017-10-28 Ismael Luceno <ismael AT sourcemage.org>
+ * BUILD, INSTALL, DETAILS: updated spell to 2.10.1
+ * Makefile.inc.patch: removed, no longer needed
+
2006-10-03 Juuso Alasuutari <iuso AT sourcemage.org>
* DETAILS: [automated] Removed UPDATED.

diff --git a/devel/mosml/INSTALL b/devel/mosml/INSTALL
new file mode 100755
index 0000000..92eba7d
--- /dev/null
+++ b/devel/mosml/INSTALL
@@ -0,0 +1 @@
+make -C src PREFIX="$INSTALL_ROOT"/usr install
diff --git a/devel/mosml/Makefile.inc.patch b/devel/mosml/Makefile.inc.patch
deleted file mode 100644
index 53964c5..0000000
--- a/devel/mosml/Makefile.inc.patch
+++ /dev/null
@@ -1,26 +0,0 @@
---- src/Makefile.inc.old 2006-01-01 19:28:20.000000000 -0800
-+++ src/Makefile.inc 2006-01-01 19:27:43.000000000 -0800
-@@ -2,7 +2,7 @@
-
- # Where to install stuff
-
--MOSMLHOME=${HOME}/mosml
-+MOSMLHOME=${INSTALL_ROOT}/usr
-
- # Various utility programs
- INSTALL_PROGRAM=cp
-@@ -114,10 +114,10 @@
- # DOCDIR contains documentation
-
- BINDIR=${MOSMLHOME}/bin
--LIBDIR=${MOSMLHOME}/lib
--INCDIR=${MOSMLHOME}/include
--DOCDIR=${MOSMLHOME}/doc
--TOOLDIR=${MOSMLHOME}/tools
-+LIBDIR=${MOSMLHOME}/lib/moscow_ml
-+INCDIR=${MOSMLHOME}/include/moscow_ml
-+DOCDIR=${MOSMLHOME}/share/doc
-+TOOLDIR=${MOSMLHOME}/libexec/moscow_ml
- # LIBDIR=${MOSMLHOME}/lib/moscow_ml
- # TOOLDIR=${MOSMLHOME}/libexec/moscow_ml
-
diff --git a/devel/ocaml/DETAILS b/devel/ocaml/DETAILS
index 9daf35e..8270b6e 100755
--- a/devel/ocaml/DETAILS
+++ b/devel/ocaml/DETAILS
@@ -1,6 +1,6 @@
SPELL=ocaml
- VERSION=4.04.2
-
SOURCE_HASH=sha512:0449f650388fe63e1f96c6f63d994855cf76bac5b52d3f76e781c8d9f5fddb657a24a88063c1280d45ccc741c372085bad46cdb3dbc186e1861627d500290629
+ VERSION=4.05.0
+
SOURCE_HASH=sha512:e87bb25d8a580f608ea3c8308129c4e4f4513e9bb3d218a5038a67b3f39b06656ff6ebe08a4b6f36960fb603be62e6bef2694fc3cf1b0fa0df3a1ca177d4e004
SOURCE=$SPELL-$VERSION.tar.xz
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 f1574f0..9b3486d 100644
--- a/devel/ocaml/HISTORY
+++ b/devel/ocaml/HISTORY
@@ -1,3 +1,6 @@
+2017-10-28 Ismael Luceno <ismael AT sourcemage.org>
+ * DETAILS: updated spell to 4.05.0
+
2017-06-25 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DETAILS: version 4.04.2




  • [SM-Commit] GIT changes to master grimoire by Ismael Luceno (91e4a23a41066d25c8e9e3441dce8e27486ec2d1), Ismael Luceno, 10/28/2017

Archive powered by MHonArc 2.6.24.

Top of Page