97a9a944b5887e91042b019776c41d5dd74557aferikabelesudo: required

97a9a944b5887e91042b019776c41d5dd74557aferikabeledist: trusty

97a9a944b5887e91042b019776c41d5dd74557aferikabelelanguage: generic

a945f35eff8b6a88009ce73de6d4c862ce58de3cslivebefore_install:

a945f35eff8b6a88009ce73de6d4c862ce58de3cslive - sudo apt-get update -qq

a945f35eff8b6a88009ce73de6d4c862ce58de3cslive - sudo apt-get install -qq spass software-properties-common dpkg-dev

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - sudo apt-add-repository -y ppa:hets/hets

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - sudo apt-get update -qq

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - sudo apt-get install -qq darwin

fe64b2ba25510d8c9dba5560a2d537763566cf40ndinstall:

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - sudo apt-get install --no-install-recommends `dpkg-checkbuilddeps debian/control 2>&1 | cut -f3- -d":" | sed -e 's,([^)]*),,g' -e 's,openjdk-.*-jdk,,'` || true

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - sudo apt-get install openjdk-7-jdk

fe64b2ba25510d8c9dba5560a2d537763566cf40ndscript:

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - ghc -V

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - make

52fff662005b1866a3ff09bb6c902800c5cc6dedjerenkrantz - ./hets -V

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - export HETS_MAGIC=$PWD/magic/hets.magic

fe64b2ba25510d8c9dba5560a2d537763566cf40nd - make check

fe64b2ba25510d8c9dba5560a2d537763566cf40nd