MicSE/bootstrap.sh at master · kupl/MicSE · GitHub

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
#!/bin/bash

##### bootstrap.sh - set-up system and build MicSE project.
export DEBIAN_FRONTEND=noninteractive

# Env
OPAM_SWITCH_VERSION=4.10.0
Z3_VERSION=4.8.12
CORES=4

# Setup System Dependencies
echo "[NOTE] Start Setup System Dependencies"
sudo apt-get update >/dev/null
for pkg in "cmake" "build-essential" "python2.7" "libgmp-dev" "opam" "ocaml-findlib"; do
  echo "[NOTE] $pkg: Install"
  sudo apt-get install -y -qq $pkg >/dev/null 2>&1
  # if [ $(dpkg-query -W -f='${Status}' $pkg 2>/dev/null | grep -c "ok installed" 2>/dev/null) -eq 0 ]; then
  #   echo "[NOTE] $pkg: Installation started."
  #   sudo apt-get install -y -qq $pkg >/dev/null 2>&1
  #   echo "[NOTE] $pkg: Installed successfully."
  # else
  #   echo "[NOTE] $pkg: Already installed."
  # fi
done
echo "[NOTE] End-up Setup System Dependencies"

# Initialize opam
echo "[NOTE] Start Initialize OPAM with Installing OCAML Dependencies"
opam init -y --bare >/dev/null
opam update >/dev/null
eval $(opam env)
if [[ ! "$(ocaml --version)" =~ "$OPAM_SWITCH_VERSION" ]]; then
  if [[ "$(opam switch list 2>/dev/null | grep -c "$OPAM_SWITCH_VERSION")" -eq 0 ]]; then
    opam switch create $OPAM_SWITCH_VERSION >/dev/null
  else
    opam switch $OPAM_SWITCH_VERSION >/dev/null
  fi
fi
eval $(opam env) && \
  opam install -y -q -j $CORES /vagrant --deps-only
echo "[NOTE] Current OCAML version is $(ocaml --version | grep -P "\d+\.\d+\.\d+" -o)"
OPAM_LIB_DIR=~/.opam/$OPAM_SWITCH_VERSION/lib/
echo "[NOTE] End-up Initialize OPAM"

# Install Z3
# if [[ ! -d "${OPAM_LIB_DIR%%/}/z3" ]]; then
#   echo "[NOTE] Start Install Z3"
#   curl -L -o z3-$Z3_VERSION.tar.gz https://github.com/Z3Prover/z3/archive/z3-$Z3_VERSION.tar.gz >/dev/null 2>&1 && \
#     tar -zxvf z3-$Z3_VERSION.tar.gz >/dev/null 2>&1 && \
#     rm z3-$Z3_VERSION.tar.gz >/dev/null
#   Z3_DIR=~/z3-z3-$Z3_VERSION/
#   cd ${Z3_DIR%%/}/ && \
#     python2.7 scripts/mk_make.py --ml --staticlib >/dev/null
#   eval $(opam env) && \
#     make -C build -j $CORES >/dev/null 2>&1
#   eval $(opam env) && \
#     ocamlfind install z3 build/api/ml/* build/libz3-static.a >/dev/null && \
#     sudo cp build/z3 /usr/bin/z3 && \
#     rm -rf ${Z3_DIR%%/}
#   echo "[NOTE] End-up Install Z3"
# fi

# Build
if [[ ! -d "~/MicSE" ]]; then
  eval $(opam env) && cd /vagrant && make
  ln -s /vagrant ~/MicSE
fi

echo "eval \$(opam env)" >> ~/.bashrc