Revision b2863342530d5e590a9a69dfd976f6c67f48dd9c authored by Thomas Saigre on 14 June 2023, 12:39:27 UTC, committed by Thomas Saigre on 14 June 2023, 12:48:16 UTC
[ci skip]
1 parent b71939d
feelpp.sh
# On clone le dépot GIT
cd $basedir
if [ -d "$basedir/feelpp" ]; then
cd $basedir/feelpp; git pull
else;
git clone https://github.com/feelpp/feelpp.git
fi
mkdir -p $basedir/feelpp_build_dir
cd $basedir/feelpp_build_dir
cmake $basedir/feelpp -DFEELPP_ENABLE_DOCUMENTATION=off
make -j4
Computing file changes ...
