summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Spencer <baildon.research@googlemail.com>2016-07-12 19:14:22 +0100
committerRobby Workman <rworkman@slackbuilds.org>2016-07-20 14:20:08 -0500
commita3224ce142e59b4b25136f84fc9c1f227eb2b7be (patch)
tree748f674722d76be367da97d5c3837ab7779eb112
parent5c831ab72b4d9a5b7321c9be38ebbbe1a3e7772f (diff)
downloadslackbuilds-a3224ce142e59b4b25136f84fc9c1f227eb2b7be.tar.gz
development/coccinelle: Updated for version 1.0.5.
Fixes build failure with ocaml-4.03. Depend on camlp4. Build with -j1. Signed-off-by: David Spencer <baildon.research@googlemail.com>
-rw-r--r--development/coccinelle/coccinelle.SlackBuild6
-rw-r--r--development/coccinelle/coccinelle.info8
2 files changed, 7 insertions, 7 deletions
diff --git a/development/coccinelle/coccinelle.SlackBuild b/development/coccinelle/coccinelle.SlackBuild
index 7c1111a589..e7314d5111 100644
--- a/development/coccinelle/coccinelle.SlackBuild
+++ b/development/coccinelle/coccinelle.SlackBuild
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=coccinelle
-VERSION=${VERSION:-1.0.4}
+VERSION=${VERSION:-1.0.5}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -86,8 +86,8 @@ CXXFLAGS="$SLKCFLAGS" \
sed -i -e 's/all: pdf html/all: html/' docs/manual/Makefile
-make
-make install DESTDIR=$PKG
+make -j1
+make -j1 install DESTDIR=$PKG
find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
diff --git a/development/coccinelle/coccinelle.info b/development/coccinelle/coccinelle.info
index b1fe5f8135..98baec44bb 100644
--- a/development/coccinelle/coccinelle.info
+++ b/development/coccinelle/coccinelle.info
@@ -1,10 +1,10 @@
PRGNAM="coccinelle"
-VERSION="1.0.4"
+VERSION="1.0.5"
HOMEPAGE="http://coccinelle.lip6.fr/"
-DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.4.tgz"
-MD5SUM="42a25649a639266d145e5cb790fcfb0d"
+DOWNLOAD="http://coccinelle.lip6.fr/distrib/coccinelle-1.0.5.tgz"
+MD5SUM="f6914fa809b900a50ca6984181dae1b4"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-REQUIRES="menhir"
+REQUIRES="camlp4 menhir"
MAINTAINER="Dimitris Zlatanidis"
EMAIL="d.zlatanidis@gmail.com"