keter/packaging
2015-09-19 15:44:47 +05:30
..
etc Start as root, use setuid 2014-11-08 21:23:41 +01:00
init Create systemd packaging dir. 2015-01-08 01:36:44 -06:00
mkketerdeb.sh Fix deb packaging script for Upstart (Ubuntu) 2015-09-19 15:44:47 +05:30
mklibgmp10deb.sh Adds packaging 2014-11-06 13:27:20 +01:00
README.md Update README.md 2014-12-11 16:01:24 +01:00

Building debian packages

We provide two scripts to assist in building debian packages.

Requirements

The mkketerdeb.sh script requires cabal with sandbox support. But will try to install the other dependencies on it's own.

Building keter-X.Y.Z.deb

  1. Download a recent keter release from https://github.com/snoyberg/keter/releases

  2. Extract

  3. Run the packaging script.

    keter $ cd packaging
    keter/packaging $ ./mkketerdeb.sh
    

    This should produce a .deb file in the keter-X.Y.Z folder.
    Note: if the above command fails, try running it again.

Building libgmp if not avaiable.

Similarly to building keter, mklibgmp10deb.sh can be used to build a .deb package of libgmp10 on which keter depends. This should only be necessary for Debian 6.