#!/bin/sh
# Heavily based on the Slackware 12.2 SlackBuild
# and on gohanz SlackBuild
# http://www.nltk.org/
# Packager Luciano Fattore  (luffattatgmail.com)
# http://www.slacky.it
# Required: Numpy, Matplotlib.

CWD=`pwd`
SRCNAME=LADR
NEWNAME=prover9
NAME=ladr
VERSION=2009-02A
NEWVERSION=2009_02A
EXT=tar.gz
TMP=${TMP:-/tmp/tgz}
PKG=$TMP/package/$NAME
ARCH=${ARCH:-i686}
BUILD=1lu
SOURCE=http://www.cs.unm.edu/~mccune/mace4/download/$SRCNAME-$VERSION.$EXT

if [ ! -e $SRCNAME-$VERSION.$EXT ]; then
wget -c $SOURCE
fi

if [ ! -d $TMP ]; then
 mkdir -p $TMP
fi
if [ ! -d $PKG ]; then
 mkdir -p $PKG
fi

if [ "$EXT" = "tar.gz" ]; then
   TARCMD="tar xvzf"
elif [ "$EXT" = "tgz" ]; then
   TARCMD="tar xvzf"
elif [ "$EXT" = "tar.bz2" ]; then
   TARCMD="tar xvjf"
elif [ "$EXT" = "gz" ]; then
   TARCMD="gunzip"
elif [ "$EXT" = "zip" ]; then
   TARCMD="unzip"
fi

cd $TMP
$TARCMD $CWD/$SRCNAME-$VERSION.$EXT

echo -e "\E[0;32m+------------------------------+\E[0;0m"
echo -e "\E[0;32m| Start SlackBuild $NAME-$VERSION |\E[0;0m"
echo -e "\E[0;32m+------- ----------------------+\E[0;0m"

mv $SRCNAME-$VERSION $NEWNAME
cd $NEWNAME

find . -perm 777 -exec chmod 755 {} \;
find . -perm 775 -exec chmod 755 {} \;
find . -perm 555 -exec chmod 755 {} \;
find . -perm 666 -exec chmod 644 {} \;
find . -perm 664 -exec chmod 644 {} \;
find . -perm 444 -exec chmod 644 {} \;

chown -R root:root .

make all

mkdir -p $PKG/usr/share/
cp -a $TMP/$NEWNAME $PKG/usr/share/
mkdir -p $PKG/usr/doc/$NAME-$VERSION

( cd $PKG
  find . | xargs file | grep "executable" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null
  find . | xargs file | grep "shared object" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null
  find . | xargs file | grep "current ar archive" | cut -f 1 -d : | xargs strip -g 2> /dev/null
)

mkdir -p $PKG/install
cat $CWD/slack-desc > $PKG/install/slack-desc
cat $CWD/slack-desc > $PKG/usr/doc/$NAME-$VERSION/slack-desc
cat $CWD/$NAME.SlackBuild > $PKG/usr/doc/$NAME-$VERSION/$NAME.SlackBuild

cd $PKG
requiredbuilder -v -y -s $CWD $PKG
makepkg -l y -c n $CWD/$NAME-$NEWVERSION-$ARCH-$BUILD.tgz

if [ "$1" = "--cleanup" ]; then
 rm -rf $TMP
fi