hol-light-workbench / setup


# Setup script for HOL Light, including compatible versions of ocaml/camlp5

export WORKBENCH="$(cd "$(dirname "$0")"; pwd -P)"

if [ -f $WORKBENCH/ocaml/done ]; then
  echo OCaml already present.

  mkdir build.tmp
  cd build.tmp

  echo Getting ocaml sources

  wget -N http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.1.tar.gz
  tar -xzf ocaml-3.12.1.tar.gz
  cd ocaml-3.12.1
  ./configure -prefix $WORKBENCH/ocaml

  echo Building ocaml
  make world

  echo Installing ocaml
  make install

  export PATH=$WORKBENCH/ocaml/bin:$PATH
  export OCAMLLIB=$WORKBENCH/ocaml/lib/ocaml
  cd $WORKBENCH/build.tmp

  echo Getting camlp5 sources
  wget -N http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-5.15.tgz
  tar -xzf camlp5-5.15.tgz
  cd camlp5-5.15
  ./configure -strict -prefix $WORKBENCH/ocaml

  echo Building camlp5
  make world.opt > log.world 2>&1
  make install

  touch $WORKBENCH/ocaml/done

if [ -f $WORKBENCH/hol-light/done ]; then
  echo HOL Light already present.
  echo "Getting HOL Light"

  svn checkout http://hol-light.googlecode.com/svn/trunk/ hol-light
  cd hol-light

  touch $WORKBENCH/hol-light/done

cat > setpaths <<EOF

export PATH=$WORKBENCH/ocaml/bin:\$PATH
export OCAMLLIB=$WORKBENCH/ocaml/lib/ocaml

echo "Done. Run \". setpath\", to set adjust PATH"
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.