on da2f3ec help sign in
stackage/debian-bootstrap.sh
116 lines 2.6 kB history raw
1#!/usr/bin/env bash
3# Work in progress: create a list of commands necessary to get Stackage
4# up-and-running on a freshly installed Debian-based system (including Ubuntu).
6# Quick start:
7# wget -O - https://raw.github.com/fpco/stackage/master/debian-bootstrap.sh | bash -ex
9# NOTE: Requires that GHC and Cabal are installed and on your PATH. For
10# instructions, see:
11# http://www.stackage.org/install
13set -exu
15mkdir /home/stackage -p
16locale-gen en_US.UTF-8
18export DEBIAN_FRONTEND=noninteractive
19apt-get update
20apt-get install -y software-properties-common python-software-properties git
22add-apt-repository ppa:hvr/ghc -y
23add-apt-repository -y ppa:zoogie/sdl2-snapshots
24add-apt-repository -y ppa:marutter/rrutter
25add-apt-repository -y ppa:openstack-ubuntu-testing/icehouse
27# Get Stack
28sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 575159689BEFB442
29echo 'deb http://download.fpcomplete.com/ubuntu trusty main'|sudo tee /etc/apt/sources.list.d/fpco.list
31apt-get update
32apt-get install -y \
33 build-essential \
34 ghc-7.10.3 \
35 ghc-7.10.3-htmldocs \
36 hscolour \
37 sudo \
38 curl \
39 freeglut3-dev \
40 git \
41 libadns1-dev \
42 libblas-dev \
43 libbz2-dev \
44 libcairo2-dev \
45 libcurl4-openssl-dev \
46 libdevil-dev \
47 libedit-dev \
48 libedit2 \
49 libfftw3-dev \
50 libfreenect-dev \
51 libgd2-xpm-dev \
52 libglib2.0-dev \
53 libglu1-mesa-dev \
54 libgmp3-dev \
55 libgsasl7-dev \
56 libgsl0-dev \
57 libgtk-3-dev \
58 libgtk2.0-dev \
59 libhidapi-dev \
60 libicu-dev \
61 libjudy-dev \
62 liblapack-dev \
63 libleveldb-dev \
64 liblzma-dev \
65 libmagic-dev \
66 libmagickcore-dev \
67 libmagickwand-dev \
68 libmysqlclient-dev \
69 libncurses-dev \
70 libnotify-dev \
71 libopenal-dev \
72 libpango1.0-dev \
73 libpcap0.8-dev \
74 libphash0-dev \
75 libpq-dev \
76 libsdl2-dev \
77 libsnappy-dev \
78 libsndfile1-dev \
79 libsqlite3-dev \
80 libssl-dev \
81 libtagc0-dev \
82 libtre-dev \
83 libudev-dev \
84 libusb-1.0-0-dev \
85 libxau-dev \
86 libxml2-dev \
87 libxss-dev \
88 libyaml-dev \
89 libzip-dev \
90 libzmq3-dev \
91 llvm \
92 m4 \
93 nodejs \
94 npm \
95 r-base \
96 r-base-dev \
97 texlive-full \
98 wget \
99 zip \
100 stack \
101 zlib1g-dev
103mkdir /tmp/nettle-build
105cd /tmp/nettle-build
106wget https://ftp.gnu.org/gnu/nettle/nettle-3.1.1.tar.gz
107tar zxf nettle-3.1.1.tar.gz
108cd nettle-3.1.1
109./configure --prefix=/usr
110make
111make install
113mkdir -p /usr/lib/x86_64-linux-gnu/
114ln -sfv /usr/lib/libnettle.so.6.1 /usr/lib/x86_64-linux-gnu/libnettle.so.6
116rm -rf /tmp/nettle-build