ATSPackage

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.

atspkg works quite well as a build system, and acceptably well as a package manager.

• Features & Non-Features
  • Example
• Installation
  • Script
  • Source
• Quick Start
• Examples
• Global Configuration

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
• Dependency resolution

Things that atspkg will not do for you:

• Give you the full flexibility of the C/ATS ecosystem
• Integrate with other ecosystems
• Provide a centralized package repository
• Cache builds (like nix or cabal new-build)

Example

As an example, the following will install polyglot:

atspkg remote https://github.com/vmchale/polyglot/archive/master.zip

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

Installation

Script

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

curl -sSl https://raw.githubusercontent.com/vmchale/atspkg/master/bash/install.sh | sh -s

Thereafter, you can run

atspkg upgrade

to upgrade to the latest release.

Source

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 https://japaric.github.io/trust/install.sh | sh -s -- --git vmchale/project-init

Initialize an ATS project with

pi new ats project

Then build & run it:

cd project
atspkg run

Examples

You can find several examples with explanation here.

Global Configuration

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

let version = "master"
in

let cfg =
  { defaultPkgs = "https://raw.githubusercontent.com/vmchale/atspkg/${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.