diff options
author | David Spencer <baildon.research@googlemail.com> | 2016-07-12 19:14:22 +0100 |
---|---|---|
committer | Robby Workman <rworkman@slackbuilds.org> | 2016-07-20 14:20:08 -0500 |
commit | a3224ce142e59b4b25136f84fc9c1f227eb2b7be (patch) | |
tree | 748f674722d76be367da97d5c3837ab7779eb112 /development | |
parent | 5c831ab72b4d9a5b7321c9be38ebbbe1a3e7772f (diff) | |
download | slackbuilds-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>
Diffstat (limited to 'development')
-rw-r--r-- | development/coccinelle/coccinelle.SlackBuild | 6 | ||||
-rw-r--r-- | development/coccinelle/coccinelle.info | 8 |
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" |