Skip to content

Instantly share code, notes, and snippets.

@dukedougal
Last active August 29, 2015 14:21
Show Gist options
  • Save dukedougal/9a9b24e7b74586a9ddac to your computer and use it in GitHub Desktop.
Save dukedougal/9a9b24e7b74586a9ddac to your computer and use it in GitHub Desktop.
Build Haskell on Ubuntu
sudo apt-get install software-properties-common
sudo add-apt-repository -y ppa:hvr/ghc
sudo apt-get update
# if EC2 ubuntu instance, add swap
sudo /bin/dd if=/dev/zero of=/var/swap.1 bs=1M count=1024
sudo /sbin/mkswap /var/swap.1
sudo /sbin/swapon /var/swap.1
sudo apt-get install -y libncurses5-dev libtool libxen-dev software-properties-common cabal-install-1.20 ghc-7.8.4 zlib1g-dev autoconf git build-essential curl
export PATH=~/.cabal/bin:/opt/cabal/1.20/bin:/opt/ghc/7.8.4/bin:$PATH
sed -i '$a export PATH=~/.cabal/bin:/opt/cabal/1.20/bin:/opt/ghc/7.8.4/bin:$PATH' ~/.bashrc
sudo cabal update
cabal install alex happy
cd ~
git clone https://github.com/GaloisInc/HaLVM.git
cd HaLVM
git checkout f3c9e8d
git submodule update --init --recursive
autoconf
./configure
make
cd ~
git clone https://github.com/GaloisInc/HaNS
cd HaNS
halvm-cabal install
cd ~
git clone https://github.com/GaloisInc/network-hans
cd network-hans
halvm-cabal install
cd ~
git clone https://github.com/acw/HTTP
cd HTTP
halvm-cabal install
halvm-cabal install blaze-html
cd ~
cd HaLVM/examples/HighLevel/WebServer
make
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment