packcheck

Universal build and CI testing for Haskell packages

https://github.com/composewell/packcheck

Version on this page:0.6.0
LTS Haskell 23.0:0.7.0
Stackage Nightly 2024-12-09:0.7.0
Latest on Hackage:0.7.0

See all snapshots packcheck appears in

BSD-3-Clause licensed by Harendra Kumar
Maintained by [email protected]
This version can be pinned in stack with:packcheck-0.6.0@sha256:412f784d36d82ea63606b63d14bd07ff85c4b6001466e6235fc8f387aa6c4981,2887

Module documentation for 0.6.0

Depends on 1 package(full list with versions):

packcheck

Hackage Gitter chat Build Status Windows Build status CircleCI Coverage Status

Quick Start

Please use cabal version 2.4 or later.

Build on CI

To use packcheck for CI testing of your repo:

Travis

CircleCI

Appveyor

Github Actions

CI should work out of the box for most packages. Uncomment the relevant lines in the CI config files or change the values of the environment variables for fine grained control or custom configuration.

Build on Local Machine

You can use packcheck to build or CI test a package on your local machine as well. For local use, copy packcheck.sh to your local machine (Linux/OSX/Windows), put it in your PATH, and run it from your package directory. You can pass the same evironment variables that are used in CI files to run the exact same tests locally. Usage is as simple as:

$ packcheck.sh cabal
$ packcheck.sh cabal GHCVER=8.6.5
$ packcheck.sh cabal ENABLE_GHCJS=y
$ packcheck.sh stack GHCVER=8.6

packcheck can automatically pick the requested version of GHC from:

  • multiple GHC path components in your PATH environment variable
  • hvr ghc PPA install directory
  • stack installed ghc binaries

Out of the box support

GHC GHCJS
cabal stack
Linux OSX Windows
Github Appveyor CircleCI Travis Local Machine

The script can be easily adapted to any CI with a single line build command.

Key Features

  • Error messages: A lot of emphasis has been put on providing precise and detailed error messages when something fails so that the user can easily fix things.
  • Informational: The output provides all the information that you may want to know, tool paths being used, their versions, how they are invoked, build options, time taken by each build step etc. You can even copy the commands from the output and paste them on your local host to reproduce the build or failure and debug quickly. See here for a sample output.
  • Same tests everywhere: You can run exact same tests with same options or flags, in the same way, on all CI platforms.
  • Choose options: Conveniently control all aspects of build through command line or environment variables, including tool options or whether to enable benchmarks, haddock, coverage, test etc.
  • Picking GHC: Right GHC is picked up automatically from PATH or TOOLS_DIR (hvr ghc PPA installation dir) based on GHCVER. Stack installed GHC binaries can be picked automatically when available.
  • Test source distribution: packcheck creates the source distribution and builds the package from the generated tarball to make sure that you build what you release and don’t miss adding a file to the distribution. Also, checks if any file in the git repo is missing in the source distribution.
  • Upload coverage: To send coverage info to coveralls.io just uncomment a line in your respective ci config file.
  • Non-destructive: By default the script does not change any config or upgrade any tools on the host machine.
  • Auto tool install: For stack builds, stack and ghc can be installed automatically

Introduction

The package packcheck includes a script called packcheck.sh, it is a high level universal super build script to uniformly, consistently build and comprehensively sanity test a Haskell package across build tools (stack/cabal) and across all platforms (Linux/MacOS/Windows). You do not need to be familiar with any of the build tools to use it.

To make sure that it works everywhere without installing anything it is deliberately written using the bash shell scripting language. Any of the parameters to control the builds can either be passed on the script command line or as environment variables for convenient use on CI systems.

packcheck is also a minimal yet complete “hello world” Haskell package with model config files that can be used unmodified in any Haskell package. The CI configs can be modified declaratively, using environment variables, to adapt to any kind of build scenario you can imagine.

This model package has everything that a Haskell package usually has; including tests, benchmarks and Linux/MacOS/Windows CI already working. It can be used as a starting point to develop a new package. Beginners can use it to learn about haskell package metadata structure.

What all does it do?

An invocation of packcheck.sh performs a whole battery of tests, all aspects can be controlled via environment variables, command line. The flow goes roughly as follows:

  • Pick up the correct version of GHC/cabal/stack
  • create source distribution and unpack it to test from it
  • run hlint
  • build source, benchmarks and docs
  • run tests
  • generate and upload coverage report (to coveralls.io)
  • perform distribution checks

Usage Examples

You can run these commands on your local machine as well as inside a CI script. You can try these commands in the packcheck package itself:

$ cd packcheck
$ ./packcheck.sh cabal GHCVER=8.6.5
$ ./packcheck.sh stack RESOLVER=lts-13
$ ./packcheck.sh stack GHCVER=8.6.5
$ ./packcheck.sh stack RESOLVER=lts-7.24 STACK_YAML=stack-8.0.yaml STACK_BUILD_OPTIONS="--flag streamly:examples-sdl" CABALVER=1.24
# You can also do a cabal build using stack installed ghc:
$ stack exec ./packcheck.sh cabal RESOLVER=lts-11

Run hlint commands on the directories src and test:

$ ./packcheck.sh hlint HLINT_OPTIONS="lint" HLINT_TARGETS="src test"

Send coverage info of the testsuites named test1 and test2 to coveralls.io using hpc-coveralls.

$ ./packcheck.sh cabal GHCVER=8.8.3 COVERALLS_OPTIONS="test1 test2"

Picking GHC versions

When GHCVER parameter is not specified, packcheck looks for a binary named ghc in your PATH environment variable. It uses first such binary found in PATH.

When GHCVER parameter is specified, it looks for ghc in the PATH and if GHCVER is a PREFIX of the actual version of ghc binary found then that ghc binary is used. Otherwise, packcheck tries to look for another ghc binary in the next PATH components until it finds a matching ghc version.

When both GHCVER and TOOLS_DIR are specified then in addition to searching in PATH environment variable, packcheck also looks for ghc in ${TOOLS_DIR}/ghc/${GHCVER}*/bin. This is to facilitate selecting any GHC version from an hvr/ghc ubuntu PPA installation without putting all the myriad GHC version directories explicitly in your PATH.

If all of the above fails packcheck looks for ghc in the stack install locations.

packcheck-safe

packcheck-safe.sh is a more robust wrapper over packcheck.sh, it does not trust or use any environment variables, all environment needs to be specified explicitly on the command line. Therefore, it ensures better reproducibility.

It also catches any misspelled command line parameter names. For example, packcheck.sh won’t catch it if you typed GHCVWR=8.4 instead of GHCVER=8.4, it just assumes that GHCVER is not specified. packcheck-safe.sh would generate an error saying that GHCVWR is not recognized. Since it uses a clean environment you will have to specify PATH as well on the command line. For example,

$ ./packcheck-safe.sh cabal PATH=/bin:/usr/bin:/opt/ghc/bin

packcheck-remote

packcheck-remote.sh is a wrapper over packcheck.sh. It allows you to run packcheck on a remote repository by cloning it locally and optionally merging a branch into another branch (e.g. merging a PR branch into master).

$ ./packcheck-remote.sh --force \
    --remote=https://github.com/user/repo \
    --checkout=origin/master \
    --merge=origin/branch \
    --directory=./repo.packcheck \
    -- cabal GHCVER=8.8.3

Use ./packcheck-remote.sh --help for more information.

Full Reference

Please use cabal version 2.4 or later.

NOTE: Any of the parameters described below can either be passed on command line or as an environment variable. Passing options on command line is more convenient when running interactively, while environment variables are more convenient when running on a CI system.

$ packcheck.sh --help

--------------------------------------------------
Usage
--------------------------------------------------
packcheck.sh COMMAND [PARAMETER=VALUE ...]

For example:
packcheck.sh cabal GHCVER=8.6.5
packcheck.sh stack RESOLVER=lts GHC_OPTIONS="-O0 -Werror"
packcheck.sh hlint

Ask questions: https://gitter.im/composewell/packcheck
Report issues: https://github.com/composewell/packcheck/issues/new

Control parameters can either be passed on command line or exported
as environment variables. Parameters marked DESTRUCTIVE may modify
your global user config or state.

Boolean parameters can be specified as
y|Y|yes|Yes|YES|true|True|TRUE|on|On|ON for an affirmative value and as
n|N|no|No|NO|false|False|FALSE|off|Off|OFF or empty for a negative value.

--------------------------------------------------
Commands and flags
--------------------------------------------------
cabal-v2                : build using cabal v2-build
cabal                   : alias for cabal-v2
stack                   : build using stack
hlint                   : run hlint
clean                   : remove the .packcheck directory
cleanall                : remove .packcheck, .stack-work directories
help | --help | -h      : show this help message
--version               : show packcheck version

--------------------------------------------------
Selecting tool versions
--------------------------------------------------
ENABLE_GHCJS            : [y] Use GHCJS instead of GHC to build
GHCVER                  : [a.b.c] GHC version prefix (may not be enforced when using stack)
CABALVER                : [a.b.c.d] Cabal version (prefix) to use
RESOLVER                : Stack resolver to use for stack builds or cabal builds using stack
STACKVER                : [a.b.c.d] Stack version (prefix) to use
STACK_UPGRADE           : [y] DESTRUCTIVE! Upgrades stack to latest version

--------------------------------------------------
Where to find the required tools
--------------------------------------------------
PATH                    : [path] Set PATH explicitly for predictable builds
TOOLS_DIR               : [dir] Find ghc|cabal by version as in TOOLS_DIR/ghc/<version>/bin

--------------------------------------------------
Specifying common tool options
--------------------------------------------------
GHC_OPTIONS             : Specify GHC options to use
SDIST_OPTIONS           : Arguments to stack/cabal sdist command
CABAL_REINIT_CONFIG     : [y] DESTRUCTIVE! Remove old config to avoid incompatibility issues

--------------------------------------------------
Specifying what to build
--------------------------------------------------
DISABLE_BENCH           : [y] Do not build benchmarks, default is to build but not run
DISABLE_TEST            : [y] Do not run tests, default is to run tests
DISABLE_DOCS            : [y] Do not build haddocks, default is to build docs
DISABLE_SDIST_BUILD     : [y] Do not build from source distribution
DISABLE_SDIST_PROJECT_CHECK: [y] Ignore project file and continue
DISABLE_SDIST_GIT_CHECK : [y] Do not compare source distribution with git repo
DISABLE_DIST_CHECKS     : [y] Do not perform source distribution checks

--------------------------------------------------
stack options
--------------------------------------------------
STACK_YAML              : Alternative stack config file path relative to project root
STACK_OPTIONS           : ADDITIONAL stack global options (e.g. -v) to append
STACK_BUILD_OPTIONS     : ADDITIONAL stack build command options to append

--------------------------------------------------
cabal options
--------------------------------------------------
CABAL_PROJECT           : Alternative cabal project file, path relative to project root
CABAL_BUILD_OPTIONS     : ADDITIONAL cabal v2-build options to append to defaults
CABAL_DISABLE_DEPS      : [y] Do not install dependencies, do not do cabal update
CABAL_BUILD_TARGETS     : cabal v2-build targets, default is 'all'
CABAL_CHECK_RELAX       : [y] Do not fail if cabal check fails on the package.
CABAL_HACKAGE_MIRROR    : DESTRUCTIVE! Specify an alternative mirror, modifies the cabal config file.

--------------------------------------------------
Coverage options
--------------------------------------------------
COVERALLS_OPTIONS       : hpc-coveralls args and options, usually just test suite names
COVERAGE                : [y] Just generate coverage information

--------------------------------------------------
hlint options
--------------------------------------------------
HLINT_OPTIONS           : hlint arguments e.g.'--datadir=. lint'
HLINT_TARGETS           : target directories to run hlint on e.g. 'src test'

--------------------------------------------------
Diagnostics options
--------------------------------------------------
CHECK_ENV               : [y] Treat unknown env variables as error, used with env -i
BASE_TIME               : System time to be used as base for timeline reporting

Build fails if DISABLE_SDIST_BUILD is not set and the contents of the source distribution tar ball do not match the git repository contents. Either add any exceptions to .packcheck.ignore file or use DISABLE_SDIST_GIT_CHECK=y to disable this feature. Currently this check is done only if git and tar commands are available in the PATH.

Options marked DESTRUCTIVE! are fine in a CI environment. But on a local machine sometimes it may not be desirable as it will change the state of your global cabal config, so consider that before using these options.

By default cabal builds are done using sandboxes. It creates any temporary files or build artifacts inside .packcheck directory. See the clean and cleanall commands to release the temporary space.

stack is automatically installed and can be used to do cabal builds as well. If you specify BUILD=cabal and RESOLVER at the same time then the cabal build uses stack installed cabal and ghc, both are installed automatically when needed.

For pure cabal builds i.e. when BUILD=cabal and RESOLVER is not specified, cabal and ghc must be pre-installed on the system before building.

Coveralls

Please pick the updated version of hpc-coveralls from here. You can create a cabal.project.coveralls file, and use that as project file using the CABAL_PROJECT=cabal.project.coveralls option/env var.

packages: .

source-repository-package
  type: git
  location: https://github.com/composewell/hpc-coveralls
  tag: d9e20179579f0638f6e978816355d18568e6a1f0

Diagnostics

Sometimes you may run into issues due to some environment variables unknowingly set or some command line parameters or env variables being misspelled and therefore silently ignored. To avoid any such issues the robust way to invoke packcheck is to use a clean environment using env -i and passing CHECK_ENV=y parameter. When this parameter is set unwanted/misspelled variables are detected and reported.

$ env -i CHECK_ENV=y ./packcheck.sh stack

For performance diagnostics packcheck prints the time elapsed from the beginning at each build step performed.

Changes

0.6.0

Enhancements

  • CABAL_DISABLE_DEPS env var to disable dependencies install by cabal. This can be useful when we have dependencies already installed e.g. in a nix shell.
  • Add support for github CI
  • Add packcheck-remote.sh, a wrapper over packcheck that allows you to run packcheck on a remote repository by cloning it locally and optionally merging a branch into another branch (e.g. merging a PR branch into master).
  • Several fixes to make distribution builds safer and with more checks
  • Do a sanity check for the existence of files in .packcheck.ignore and .hlint.ignore

Breaking Changes

  • “packcheck cabal” now defaults to “packcheck cabal-v2”
  • Support for cabal-v1 is removed
    • CI now fails if cabal-v1 is used as a command
    • CABAL_CONFIGURE_OPTIONS is removed
    • CABAL_NO_SANDBOX is removed
    • packcheck cleanall does not remove .cabal-sandbox/ and .cabal.sandbox.config anymore
  • Support for cabal-new is removed
    • CI now fails if cabal-new is used as a command
    • CABAL_NEWBUILD_OPTIONS is removed
    • CABAL_NEWBUILD_TARGETS is removed
  • A new command hlint is introduced. The hlint build is only triggered by using this command.
  • ENABLE_INSTALL option has been removed.

0.5.1

Bug Fixes

  • Fix breakage due to DISABLE_SDIST_GIT_CHECK option. Due to this bug, build was always failing by default and reported as success.

Deprecations

  • HLINT_COMMANDS is deprecated and replaced by HLINT_OPTIONS/HLINT_TARGETS

Enhancements

  • New HLINT_OPTIONS/HLINT_TARGETS env vars to specify hlint commands in a better way.

0.5.0

Bug Fixes

  • packcheck.sh script itself was missing from the package, added.

Breaking Changes

  • CI now fails if DISABLE_SDIST_BUILD is not set and the contents of the source distribution tar ball do not match the git repository contents. Either add any exceptions to .packcheck.ignore file or use DISABLE_SDIST_GIT_CHECK=y to disable this feature. Currently this check is done only if git and tar commands are available in the PATH.

Deprecations

  • cabal-v1 command now shows a deprecation message and is removed from help. This command will be removed in future.
  • ENABLE_INSTALL option now does nothing. This change is because of the new behavior in cabal-3. This option will be removed in future.

Enhancements

  • Added a feature to detect if any files in the git repo are missing from the source distribution tarball.
  • Add CABAL_PROJECT environment variable to support specifying a cabal project file.

0.4.2

Bug Fixes

  • When building from source distribution, it would not build again unless cleaned with packcheck clean if a file in the source has changed.

Deprecations

  • Deprecate and replace the cabal command with cabal-v1, in future cabal will be used for cabal-v2.
  • Deprecate and replace the cabal-new command with cabal-v2.
  • Deprecate and rename CABAL_NEWBUILD_OPTIONS to CABAL_BUILD_OPTIONS
  • Deprecate and rename CABAL_NEWBUILD_TARGETS to CABAL_BUILD_TARGETS
  • Use STACK_BUILD_OPTIONS envvar in the dependency install phase as well
  • Remove stack yaml creation using stack init/solver

Enhancements

  • Search for ghc among stack installed GHC binaries as well
  • Add GHCJS support. Use ENABLE_GHCJS=y option.
  • Add packcheck-safe.sh . The safe version does not trust or use any environment variables, all environment needs to be specified on the command line. It also catches any misspelled command line parameter names.
  • Allow boolean parameters to be specified with a lenient syntax allowing values y|Y|yes|Yes|YES|true|True|TRUE|on|On|ON|n|N|no|No|NO|false|False|FALSE|off|Off|OFF

0.4.1

  • Disable hpc-coveralls by default

0.4.0

  • Add support for circle CI
  • Add support for multi-package stack as well as cabal repos
  • Add a version command
  • Add CABAL_NEWBUILD_TARGETS envvar to build specific targets
  • Add GHC 8.6.1 in build matrices

0.3.1

  • Add a new environment var option DISABLE_DIST_CHECKS to disable source distribution checks. This can be used as a workaround for a bug in stack causing “stack sdist” to fail.
  • For stack builds, use the same options (STACK_BUILD_OPTIONS) for install test as for build so that an extra rebuild does not occur during install.
  • Workaround to avoid depending on cabal info command; in certain cases this command crashes cabal. See issue #13.

0.3.0

Enhancements

  • Add cabal new-build support. Use packcheck.sh cabal-new to use it.
  • Add knobs to disable tests or doc builds (DISABLE_TEST, DISABLE_DOCS)
  • Now you can specify multiple versions of GHC in PATH and packcheck automatically finds the right one based on GHCVER envvar.
  • Add TOOLS_DIR option to specify hvr-ghc style installation of ghc and cabal. A correct version of GHC is automatically picked from this directory.
  • GHCVER and CABALVER variables are now optional in travis config if you specify the cabal and ghc PPAs under apt sources.
  • Run autoreconf if there is a configure.ac in the package dir

Deprecations

  • TEST_INSTALL option is deprecated, use ENABLE_INSTALL instead

0.2.0

Breaking Changes

  • Make STACK_BUILD_OPTIONS and CABAL_CONFIGURE_OPTIONS append to the existing build/configure options instead of overriding them.
  • Do not enforce specific stack version in CI configs - this is done to avoid failures due to github API limits when upgrading or downgrading.

Bug Fixes

  • Avoid build failures in cases when cabal-install has to be installed and its dependencies may conflict with the current project dependencies.

Enhancements

  • Better documentation in travis and appveyor configs
  • Reduce the number of builds in default config from 11 to 6

0.1.1

  • Enhancement: Nix support; fix bash location to make it work on NixOS and potentially on other systems.

0.1.0

  • Initial release