diff options
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 7c1111a58912e..e7314d51116c1 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 b1fe5f8135263..98baec44bb419 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" |