#!/bin/bash

PREFIX=$(pwd)
ROOT=$(dirname $0)
ROOT=$(cd -P $ROOT ; pwd)

OMNI=omnicompiler-1.3.2

#echo "prefix : $PREFIX"
#echo "ROOT   : $ROOT"
cd $ROOT
rm -rf ${OMNI}
tar xjf ${OMNI}.tar.bz2
cd ${OMNI}
./configure --prefix=$PREFIX
make -j 8
make install
ls -l $PREFIX/bin