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/coccinelle/coccinelle.SlackBuild | |
parent | 5c831ab72b4d9a5b7321c9be38ebbbe1a3e7772f (diff) |
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/coccinelle/coccinelle.SlackBuild')
-rw-r--r-- | development/coccinelle/coccinelle.SlackBuild | 6 |
1 files changed, 3 insertions, 3 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 |