make_dist() {
get_version
if [ ! -e ${SIMGRID_BASEDIR}/${version}.tar.gz ] ; then
+ cd ${SIMGRID_BASEDIR}
echo "rebuild the missing files for compilation"
- ./bootstrap && ./configure --enable-maintainer-mode --disable-compile-optimizations
+ if [ ! -e configure ] ; then
+ ./bootstrap
+ fi
+ if [ ! -e Makefile ] ; then
+ # Disable compilation optim to make it built faster
+ ./configure --enable-maintainer-mode --disable-compile-optimizations
+ fi
echo "Make the archive"
make all dist