diff options
author | David Spencer | 2018-10-26 12:00:37 +0200 |
---|---|---|
committer | Willy Sudiarto Raharjo | 2018-11-10 01:47:46 +0100 |
commit | 222e51af72267e79c231a9a7d167efb0a525fd12 (patch) | |
tree | 31991c8cb00b8c2bc0b5e7f872114251a011730f /haskell | |
parent | 73ba0fcb9ca775f6991cd841c353b23814fb9e44 (diff) | |
download | slackbuilds-222e51af72267e79c231a9a7d167efb0a525fd12.tar.gz |
haskell/haskell-smallcheck: Added (property-based testing library).
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'haskell')
-rw-r--r-- | haskell/haskell-smallcheck/README | 6 | ||||
-rw-r--r-- | haskell/haskell-smallcheck/doinst.sh | 1 | ||||
-rw-r--r-- | haskell/haskell-smallcheck/haskell-smallcheck.SlackBuild | 110 | ||||
-rw-r--r-- | haskell/haskell-smallcheck/haskell-smallcheck.info | 10 | ||||
-rw-r--r-- | haskell/haskell-smallcheck/slack-desc | 19 |
5 files changed, 146 insertions, 0 deletions
diff --git a/haskell/haskell-smallcheck/README b/haskell/haskell-smallcheck/README new file mode 100644 index 0000000000..47ac1fe9ab --- /dev/null +++ b/haskell/haskell-smallcheck/README @@ -0,0 +1,6 @@ +SmallCheck is a testing library that allows to verify properties +for all test cases up to some depth. The test cases are generated +automatically by SmallCheck. + +After uninstalling, run this command to unregister the package from +the ghc package database: ghc-pkg recache diff --git a/haskell/haskell-smallcheck/doinst.sh b/haskell/haskell-smallcheck/doinst.sh new file mode 100644 index 0000000000..3268c238bf --- /dev/null +++ b/haskell/haskell-smallcheck/doinst.sh @@ -0,0 +1 @@ +chroot . /usr/bin/ghc-pkg recache diff --git a/haskell/haskell-smallcheck/haskell-smallcheck.SlackBuild b/haskell/haskell-smallcheck/haskell-smallcheck.SlackBuild new file mode 100644 index 0000000000..f23cab5cf4 --- /dev/null +++ b/haskell/haskell-smallcheck/haskell-smallcheck.SlackBuild @@ -0,0 +1,110 @@ +#!/bin/sh + +# Slackware build script for haskell-smallcheck + +# Copyright 2018 David Spencer, Baildon, West Yorkshire, U.K. +# All rights reserved. +# +# Redistribution and use of this script, with or without modification, is +# permitted provided that the following conditions are met: +# +# 1. Redistributions of this script must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED +# WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF +# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO +# EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; +# OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR +# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF +# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +PRGNAM=haskell-smallcheck +VERSION=${VERSION:-1.1.5} +BUILD=${BUILD:-1} +TAG=${TAG:-_SBo} + +SRCNAM="$( echo $PRGNAM | cut -d- -f2- )" + +GHC_VERSION=$(ghc --numeric-version) + +if [ -z "$ARCH" ]; then + case "$( uname -m )" in + i?86) ARCH=i586 ;; + arm*) ARCH=arm ;; + *) ARCH=$( uname -m ) ;; + esac +fi + +CWD=$(pwd) +TMP=${TMP:-/tmp/SBo} +PKG=$TMP/package-$PRGNAM +OUTPUT=${OUTPUT:-/tmp} + +if [ "$ARCH" = "i586" ]; then + SLKCFLAGS="-O2 -march=i586 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "i686" ]; then + SLKCFLAGS="-O2 -march=i686 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "x86_64" ]; then + SLKCFLAGS="-O2 -fPIC" + LIBDIRSUFFIX="64" +else + SLKCFLAGS="-O2" + LIBDIRSUFFIX="" +fi + +set -e + +rm -rf $PKG +mkdir -p $TMP $PKG $OUTPUT +cd $TMP +rm -rf $SRCNAM-$VERSION +tar xvf $CWD/$SRCNAM-$VERSION.tar.gz +cd $SRCNAM-$VERSION +chown -R root:root . +find -L . \ + \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \ + -o -perm 511 \) -exec chmod 755 {} \; -o \ + \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ + -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; + +CFLAGS="$SLKCFLAGS" \ +CXXFLAGS="$SLKCFLAGS" \ +runghc Setup configure \ + --prefix=/usr \ + --libdir=/usr/lib${LIBDIRSUFFIX} \ + --libsubdir=ghc-${GHC_VERSION}/$SRCNAM-$VERSION \ + --enable-shared \ + --enable-library-profiling \ + --docdir=/usr/doc/$PRGNAM-$VERSION + +runghc Setup build +runghc Setup haddock +runghc Setup copy --destdir=$PKG +runghc Setup register --gen-pkg-config + +PKGCONFD=/usr/lib${LIBDIRSUFFIX}/ghc-${GHC_VERSION}/package.conf.d +PKGID=$( grep -E "^id: " $SRCNAM-$VERSION.conf | cut -d" " -f2 ) +mkdir -p $PKG/$PKGCONFD +mv $SRCNAM-$VERSION.conf $PKG/$PKGCONFD/$PKGID.conf + +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 + +mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION +cp -a \ + CHANGELOG.md CREDITS.md LICENSE README.md \ + $PKG/usr/doc/$PRGNAM-$VERSION +cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild + +mkdir -p $PKG/install +cat $CWD/slack-desc > $PKG/install/slack-desc +cat $CWD/doinst.sh > $PKG/install/doinst.sh + +cd $PKG +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} diff --git a/haskell/haskell-smallcheck/haskell-smallcheck.info b/haskell/haskell-smallcheck/haskell-smallcheck.info new file mode 100644 index 0000000000..c33ddbb2f1 --- /dev/null +++ b/haskell/haskell-smallcheck/haskell-smallcheck.info @@ -0,0 +1,10 @@ +PRGNAM="haskell-smallcheck" +VERSION="1.1.5" +HOMEPAGE="https://hackage.haskell.org/package/smallcheck" +DOWNLOAD="https://hackage.haskell.org/packages/archive/smallcheck/1.1.5/smallcheck-1.1.5.tar.gz" +MD5SUM="af02fcf34dd975938c617c013b8e3df6" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="haskell-logict haskell-nats" +MAINTAINER="David Spencer" +EMAIL="baildon.research@googlemail.com" diff --git a/haskell/haskell-smallcheck/slack-desc b/haskell/haskell-smallcheck/slack-desc new file mode 100644 index 0000000000..4169addee8 --- /dev/null +++ b/haskell/haskell-smallcheck/slack-desc @@ -0,0 +1,19 @@ +# HOW TO EDIT THIS FILE: +# The "handy ruler" below makes it easier to edit a package description. +# Line up the first '|' above the ':' following the base package name, and +# the '|' on the right side marks the last column you can put a character in. +# You must make exactly 11 lines for the formatting to be correct. It's also +# customary to leave one space after the ':' except on otherwise blank lines. + + |-----handy-ruler------------------------------------------------------| +haskell-smallcheck: haskell-smallcheck (property-based testing library) +haskell-smallcheck: +haskell-smallcheck: SmallCheck is a testing library that allows to verify properties +haskell-smallcheck: for all test cases up to some depth. The test cases are generated +haskell-smallcheck: automatically by SmallCheck. +haskell-smallcheck: +haskell-smallcheck: +haskell-smallcheck: +haskell-smallcheck: +haskell-smallcheck: +haskell-smallcheck: |