#!/bin/sh

longname=`/bin/pwd`
dirname=$1  || exit -1
mkdir $dirname || exit -1
cd  $dirname || exit -1
tar xfz /tmp/ocaml-3.12.0.tar.gz || exit -1
cd ocaml-3.12.0 || exit -1
./configure -prefix $longname/$dirname || exit -1
make world.opt > world.log 2>&1 || exit -1
make install > install.log 2>&1 || exit -1
PATH=$longname/$dirname/bin:$PATH
cd ..
tar xfz /tmp/camlp5-6.02.0.tgz || exit -1
cd camlp5-6.02.0 || exit -1
./configure --transitional 
make world.opt > world.log 2>&1 || exit -1
make install > install.log 2>&1 || exit -1
cd $longname/$dirname
git init || exit -1
git clone git://github.com/HoTT/HoTT.git || exit -1
git clone git://github.com/HoTT/coq.git || exit -1
cd coq || exit -1
./configure -local > config.log 2>&1 || exit -1
make > world.log 2>&1 || exit -1
PATH=$longname/$dirname/coq/bin:$PATH
cd $longname/$dirname/HoTT
./configure > config.log 2>&1
make > world.log 2>&1