Building

You will need a 64-bit Linux machine.

1. Install Docker (if you haven’t already).

    sudo apt install docker.io  
    sudo adduser $USER docker
   

   You will have to log out of your desktop session for adduser to take effect.

2. Install Stack.

   If you don’t already have stack, install it like this:

    wget -qO- https://get.haskellstack.org/ | sh
   

   If you do have it, make sure it’s the latest version:

    stack upgrade
   

3. Fetch the code.

    git clone --recurse-submodules https://github.com/AshleyYakeley/Truth.git
    cd Truth
   

4. Build. The first time, this will take about an hour or so.

    make
   

   This will create a Debian package in the out directory.