opam-bootstrap.sh 2.27 KB
Newer Older
1 2 3 4 5 6 7 8 9 10
#!/bin/sh

set -e

# Check that OCamlDuce is not installed
if which ocamlduce >/dev/null; then
    echo "Please uninstall OCamlDuce first, or remove it from your PATH."
    exit 1
fi

11 12
export BELENIOS_SYSROOT="${BELENIOS_SYSROOT:-$HOME/.belenios}"
export OPAMROOT="$BELENIOS_SYSROOT/opam"
13

14 15 16
if [ -e "$BELENIOS_SYSROOT" ]; then
    echo "$BELENIOS_SYSROOT already exists."
    echo "Please remove it or set BELENIOS_SYSROOT to a non-existent directory first."
17 18 19
    exit 1
fi

20
mkdir -p "$BELENIOS_SYSROOT/bootstrap/src"
21

22 23 24 25
echo
echo "=-=-= Download and check tarballs =-=-="
echo
cd "$BELENIOS_SYSROOT/bootstrap/src"
26 27 28 29 30 31 32
wget http://caml.inria.fr/pub/distrib/ocaml-4.01/ocaml-4.01.0.tar.gz
wget http://www.ocamlpro.com/pub/opam-full-1.1.0.tar.gz
sha256sum --check <<EOF
ea1751deff454f5c738d10d8a0ad135afee0852d391cf95766b726c0faf7cfdb  ocaml-4.01.0.tar.gz
c0ab5e85b6cd26e533a40686e08aea173387d15bead817026f5b08f264642583  opam-full-1.1.0.tar.gz
EOF

33 34 35 36
echo
echo "=-=-= Compilation and installation of OCaml =-=-="
echo
cd "$BELENIOS_SYSROOT/bootstrap/src"
37 38
tar -xzf ocaml-4.01.0.tar.gz
cd ocaml-4.01.0
39
./configure -prefix "$BELENIOS_SYSROOT/bootstrap"
40 41 42 43
make world
make opt
make opt.opt
make install
44
export PATH="$BELENIOS_SYSROOT/bootstrap/bin:$PATH"
45

46 47 48 49
echo
echo "=-=-= Compilation and installation of OPAM =-=-="
echo
cd "$BELENIOS_SYSROOT/bootstrap/src"
50 51
tar -xzf opam-full-1.1.0.tar.gz
cd opam-full-1.1.0
52
./configure -prefix "$BELENIOS_SYSROOT/bootstrap"
53 54 55
make
make install

56 57 58
echo
echo "=-=-= Initialization of OPAM root =-=-="
echo
59 60
opam init --no-setup
eval `opam config env`
61 62 63 64

echo
echo "=-=-= Installation of Belenios build-dependencies =-=-="
echo
65 66 67 68 69 70
opam install --yes atdgen zarith cryptokit uuidm calendar eliom csv

echo
echo "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
echo
echo "Belenios build-dependencies have been successfully compiled and installed"
71 72
echo "to $BELENIOS_SYSROOT. The directory"
echo "  $BELENIOS_SYSROOT/bootstrap/src"
73 74 75 76
echo "can be safely removed now."
echo
echo "Next, you need to run the following commands or add them to your ~/.bashrc"
echo "or equivalent:"
77
echo "  export PATH=$BELENIOS_SYSROOT/bootstrap/bin:\$PATH"
78 79 80 81
echo "  export OPAMROOT=$OPAMROOT"
echo "  eval \`opam config env\`"
echo
echo "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
82
echo