opam-bootstrap.sh 2.76 KB
Newer Older
1 2 3 4
#!/bin/sh

set -e

Stephane Glondu's avatar
Stephane Glondu committed
5 6
BELENIOS_SRC="${BELENIOS_SRC:-$PWD}"

7 8 9 10 11 12
# 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

13 14 15 16 17 18 19 20 21 22 23 24
echo
echo "=-=-= Download and check tarballs =-=-="
echo

# Look for wget or curl
if which wget >/dev/null; then
    echo "wget was found and will be used"
elif which curl >/dev/null; then
    wget () { curl "$1" > "${1##*/}"; }
    echo "curl was found and will be used"
fi

25 26
export BELENIOS_SYSROOT="${BELENIOS_SYSROOT:-$HOME/.belenios}"
export OPAMROOT="$BELENIOS_SYSROOT/opam"
27

28 29 30
if [ -e "$BELENIOS_SYSROOT" ]; then
    echo "$BELENIOS_SYSROOT already exists."
    echo "Please remove it or set BELENIOS_SYSROOT to a non-existent directory first."
31 32 33
    exit 1
fi

34
mkdir -p "$BELENIOS_SYSROOT/bootstrap/src"
35

36
cd "$BELENIOS_SYSROOT/bootstrap/src"
37 38
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
39 40

if which sha256sum >/dev/null; then
41 42 43 44
sha256sum --check <<EOF
ea1751deff454f5c738d10d8a0ad135afee0852d391cf95766b726c0faf7cfdb  ocaml-4.01.0.tar.gz
c0ab5e85b6cd26e533a40686e08aea173387d15bead817026f5b08f264642583  opam-full-1.1.0.tar.gz
EOF
45 46 47
else
    echo "WARNING: sha256sum was not found, checking tarballs is impossible!"
fi
48

49 50 51 52
echo
echo "=-=-= Compilation and installation of OCaml =-=-="
echo
cd "$BELENIOS_SYSROOT/bootstrap/src"
53 54
tar -xzf ocaml-4.01.0.tar.gz
cd ocaml-4.01.0
55
./configure -prefix "$BELENIOS_SYSROOT/bootstrap"
56 57 58 59
make world
make opt
make opt.opt
make install
60
export PATH="$BELENIOS_SYSROOT/bootstrap/bin:$PATH"
61

62 63 64 65
echo
echo "=-=-= Compilation and installation of OPAM =-=-="
echo
cd "$BELENIOS_SYSROOT/bootstrap/src"
66 67
tar -xzf opam-full-1.1.0.tar.gz
cd opam-full-1.1.0
68
./configure -prefix "$BELENIOS_SYSROOT/bootstrap"
69 70 71
make
make install

Stephane Glondu's avatar
Stephane Glondu committed
72 73 74 75 76 77 78 79 80
echo
echo "=-=-= Generation of env.sh =-=-="
echo
cat > $BELENIOS_SRC/env.sh <<EOF
PATH="$BELENIOS_SYSROOT/bootstrap/bin:\$PATH"; export PATH;
OPAMROOT=$OPAMROOT; export OPAMROOT;
eval \`opam config env\`
EOF

81 82 83
echo
echo "=-=-= Initialization of OPAM root =-=-="
echo
84 85
opam init --no-setup
eval `opam config env`
86 87 88 89

echo
echo "=-=-= Installation of Belenios build-dependencies =-=-="
echo
90 91 92 93 94 95
opam install --yes atdgen zarith cryptokit uuidm calendar eliom csv

echo
echo "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
echo
echo "Belenios build-dependencies have been successfully compiled and installed"
96 97
echo "to $BELENIOS_SYSROOT. The directory"
echo "  $BELENIOS_SYSROOT/bootstrap/src"
98 99 100 101
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:"
Stephane Glondu's avatar
Stephane Glondu committed
102
echo "  source $BELENIOS_SRC/env.sh"
103 104
echo
echo "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
105
echo