packages feed

liquidhaskell-0.8.10.7: scripts/test/test_884.sh

#!/usr/bin/env bash

TASTY_GLOB_PATTERN=$1

stack build --test --no-run-tests --stack-yaml=stack-8.8.4.yaml && \
    stack test --stack-yaml=stack-8.8.4.yaml -j1 liquidhaskell:test \
    --flag liquidhaskell:include \
    --ta="--liquid-runner \"stack --stack-yaml=$PWD/stack-8.8.4.yaml exec -- liquid\"" \
    --ta="-p /$TASTY_GLOB_PATTERN/"