Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit c0f5cb31 authored by Cyril SIX's avatar Cyril SIX
Browse files

Remove /home/yuki/Work/VERIMAG/CompCert

parent d6204e0c
......@@ -5,7 +5,7 @@ branch=`git rev-parse --abbrev-ref HEAD`
date=`date -I`
if test "x$CCOMP_INSTALL_PREFIX" = "x" ;
then CCOMP_INSTALL_PREFIX=/home/yuki/Work/VERIMAG/CompCert ;
then CCOMP_INSTALL_PREFIX=/opt/CompCert ;
fi
./configure --prefix ${CCOMP_INSTALL_PREFIX}/${branch}/${date}_${version}/$arch "$@" $arch
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment