#! /bin/bash

mkdir /isodevice/public/cache/internet_package/trisquel_cabal/
mkdir /isodevice/public/cache/build/trisquel_cabal/

mkdir -p ~/.cabal/packages/hackage.haskell.org/
sudo mount -B /isodevice/public/cache/internet_package/trisquel_cabal/ ~/.cabal/packages/hackage.haskell.org/

mkdir ~/.cabal/store
sudo mount -B /isodevice/public/cache/build/trisquel_cabal/ ~/.cabal/store

sudo apt-get -y install cabal-install zlib1g-dev pkg-config g++ make
cabal update
(cd /tmp/
 cabal unpack idris
 (cd idris-1.3.4
  cabal install --bindir=/usr/local/bin/ -f FFI -f LLVM -f GMP))