From 090bc397e09e2d3b3244255e277f5fdc603475a4 Mon Sep 17 00:00:00 2001
From: Panagiotis Nikolaou <hostmaster@slackonly.com>
Date: Wed, 9 Aug 2017 20:25:03 +0100
Subject: development/camlp5: Updated for version 7.01.

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
---
 development/camlp5/camlp5.SlackBuild | 4 ++--
 development/camlp5/camlp5.info       | 6 +++---
 development/camlp5/doinst.sh         | 1 +
 3 files changed, 6 insertions(+), 5 deletions(-)
 create mode 100644 development/camlp5/doinst.sh

(limited to 'development/camlp5')

diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index 152304b966c90..2f64a80882149 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -19,8 +19,8 @@
 # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA
 
 PRGNAM=camlp5
-VERSION=${VERSION:-6.17}
-SRCVER=rel617
+VERSION=${VERSION:-7.01}
+SRCVER=rel701
 BUILD=${BUILD:-1}
 TAG=${TAG:-_SBo}
 
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index 73a204d3cdee1..94502dce1afc7 100644
--- a/development/camlp5/camlp5.info
+++ b/development/camlp5/camlp5.info
@@ -1,8 +1,8 @@
 PRGNAM="camlp5"
-VERSION="6.17"
+VERSION="7.01"
 HOMEPAGE="https://camlp5.github.io/"
-DOWNLOAD="https://downloads.sourceforge.net/project/slackbuildsdirectlinks/camlp5/camlp5-rel617.tar.gz"
-MD5SUM="572e0fa053715e40a40415ea3ca5d4ea"
+DOWNLOAD="https://master.dl.sourceforge.net/project/slackbuildsdirectlinks/camlp5/camlp5-rel701.tar.gz"
+MD5SUM="438f8861a5a7aabd6030b732c6497045"
 DOWNLOAD_x86_64=""
 MD5SUM_x86_64=""
 REQUIRES="ocaml"
diff --git a/development/camlp5/doinst.sh b/development/camlp5/doinst.sh
new file mode 100644
index 0000000000000..8b137891791fe
--- /dev/null
+++ b/development/camlp5/doinst.sh
@@ -0,0 +1 @@
+
-- 
cgit v1.2.3