diff options
Diffstat (limited to 'development/splint')
-rw-r--r-- | development/splint/splint.SlackBuild | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/development/splint/splint.SlackBuild b/development/splint/splint.SlackBuild index d56fae50ab..0bdcdbe717 100644 --- a/development/splint/splint.SlackBuild +++ b/development/splint/splint.SlackBuild @@ -67,7 +67,12 @@ CXXFLAGS="$SLKCFLAGS" \ --mandir=/usr/man \ --build=$ARCH-slackware-linux -make +# Fix for bison-3 (LDFLAGS doesn't work) +sed -i \ + -e 's/^LIBS = $/LIBS = -lfl/' \ + src/Makefile + +make -j1 make install DESTDIR=$PKG find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ |