Source Mage code commit list

[Ismael Luceno <scm AT sourcemage.org>]

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

 devel/camlp5/BUILD   |    2 +-
 devel/camlp5/DETAILS |    1 +
 devel/camlp5/HISTORY |    2 ++
 3 files changed, 4 insertions(+), 1 deletion(-)

New commits:
commit 59d918cba423b245490864f1ea1246cb24573461
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

    camlp5: Use world.opt Make target

diff --git a/devel/camlp5/BUILD b/devel/camlp5/BUILD
index 01abadf..03e3c44 100755
--- a/devel/camlp5/BUILD
+++ b/devel/camlp5/BUILD
@@ -1,4 +1,4 @@
 ./configure --mandir ${INSTALL_ROOT}/usr/share/man \
             --prefix ${INSTALL_ROOT}/usr \
             ${OPTS} &&
-default_build_make
+make world.opt
diff --git a/devel/camlp5/DETAILS b/devel/camlp5/DETAILS
index 4a0d24b..b438edc 100755
--- a/devel/camlp5/DETAILS
+++ b/devel/camlp5/DETAILS
@@ -1,5 +1,6 @@
            SPELL=camlp5
          VERSION=6.12
+      PATCHLEVEL=1
           SOURCE="${SPELL}-${VERSION}.tgz"
    SOURCE_URL[0]=http://pauillac.inria.fr/~ddr/${SPELL}/distrib/src/${SOURCE}
      
SOURCE_HASH=sha512:33cf0738b0f8f1daad0f40158654c32a7a4b1559671c6f95193a9c71bb0fdb7f8328a3d012c5fdba83fe940882588a6e12c242a7585dd193974d4f7dedbdbc12
diff --git a/devel/camlp5/HISTORY b/devel/camlp5/HISTORY
index c4838f1..5daf848 100644
--- a/devel/camlp5/HISTORY
+++ b/devel/camlp5/HISTORY
@@ -1,6 +1,8 @@
 2015-06-11 Ismael Luceno <ismael AT sourcemage.org>
        * DETAILS: Fixed WEB_SITE
          updated spell to 6.12
+       * BUILD: Use world.opt Make target
+       * DETAILS: PATCHLEVEL++
 
 2012-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * DETAILS: version 6.09