blob: e164dc99e4e8ecc6524a615233c8287cc84ef62c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
arch=$1
shift
version=`git rev-parse --short HEAD`
branch=`git rev-parse --abbrev-ref HEAD`
date=`date -I`
if test "x$CCOMP_INSTALL_PREFIX" = "x" ;
then CCOMP_INSTALL_PREFIX=/home/gourdinl/Work/VERIMAG/CompCert ;
fi
./configure --prefix ${CCOMP_INSTALL_PREFIX}/${branch}/${date}_${version}/$arch "$@" $arch
|