The ats-pkg package

[ Tags: ats, bsd3, development, library ] [ Propose Tags ]

A collection of scripts to simplify building ATS projects.

[Skip to Readme]


Dependencies ansi-wl-pprint, ats-pkg, base (>=4.7 && <5), binary, bytestring, bzlib, Cabal (>=, composition-prelude (>=, containers, dependency, dhall (>=1.10.0), directory, file-embed, filemanip, hashable, http-client, http-client-tls, lens, lzma, mtl, optparse-applicative, parallel-io, process, shake, shake-ats (>=, shake-ext (>=, tar, temporary, text, unix, zip-archive, zlib [details]
License BSD3
Copyright Copyright: (c) 2018 Vanessa McHale
Author Vanessa McHale
Category Development, ATS
Home page
Source repo head: git clone
Uploaded Mon Mar 5 21:40:28 UTC 2018 by vmchale
Distributions NixOS:
Executables atspkg
Downloads 2349 total (796 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-03-05 [all 2 reports]
Hackage Matrix CI





Enable -Werror


Enable -Werror


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for ats-pkg-

[back to package description]


Build Status

This is a build system for ATS written in Haskell and configured with Dhall. It is not fully working, but the configuration format is now stable.

Features & Non-Features

Things that atspkg will do for you:

  • Dramatically simplify CI for ATS projects
  • Simplify distribution of your project
  • Enable Haskell builds that depend on ATS code
  • Enable ATS builds that depend on Haskell code
  • Track all file dependencies
  • Make contributing to your projects easier
  • Run builds in parallel (like make)
  • Install patscc and other ATS tooling
  • Install manual pages and shell completions
  • Install ATS libraries

Things that atspkg will not do for you:

  • Dependency resolution (this is planned)
  • Give you the full flexibility of the C/ATS ecosystem
  • Integrate with other ecosystems
  • Provide a centralized package repository
  • Cache builds locally (like nix or cabal)


As an example, the following will install polyglot:

atspkg remote

As you can see, this greatly simplifies distribution and testing of programs written in ATS.



The easiest way to install is via a script, viz.

curl -sSl | bash -s

Thereafter, you can run

atspkg upgrade

to upgrade to the latest release.


If that doesn't work, you can download Cabal and GHC and install with

cabal update
cabal new-install ats-pkg --symlink-bindir ~/.local/bin --happy-options='-gcsa' --alex-options='-g'

Note that $HOME/.local/bin will need to be on your PATH.

Quick Start

Install pi with

curl -LSfs | sh -s -- --git vmchale/project-init

Initialize an ATS project with

pi new ats project

Then build & run it:

cd project
atspkg run


You can find several examples with explanation here.

Global Configuration

atspkg is configured via a file in ~/.config/atspkg/config.dhall. You can set a custom package set as follows:

let version = "master"

let cfg =
  { defaultPkgs = "${version}/ats-pkg/pkgs/pkg-set.dhall"
  , path = ([] : Optional Text)
  , githubUsername = "vmchale"
  , filterErrors = False
in cfg

I recommend setting version to whichever branch your version of atspkg was built from.