1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/sh
# Runs inside the chroot set up by buildchroot
set -e
set -x
if [ "$(whoami)" != root ]; then
echo "Must run this as root!" >&2
exit 1
fi
# java needs this mounted to work
mount -t proc proc /proc || true
echo "deb-src http://ftp.us.debian.org/debian jessie main" >> /etc/apt/sources.list
apt-get update
apt-get -y install build-essential ghc git libncurses5-dev cabal-install
apt-get -y install happy alex
apt-get -y install llvm-3.4
apt-get -y install ca-certificates curl file m4 autoconf zlib1g-dev
apt-get -y install libgnutls-dev libxml2-dev libgsasl7-dev pkg-config c2hs
apt-get -y install ant default-jdk rsync wget gnupg lsof
apt-get -y install gettext unzip python
apt-get -y install locales automake
echo en_US.UTF-8 UTF-8 >> /etc/locale.gen
locale-gen
apt-get clean
useradd builder --create-home || true
su builder -c $0-asuser
|
