[sage-devel] help needed to debug a systematically killed Sage

[Vincent Delecroix]

Dear all,

I have trouble building Sage for the patchbot. My procedure consists 
just in launching the attached script. It basically

 1) compile sage
 2) install most optional packages except the one for which I know 
there are some troubles
 3) launch the patchbot

However, after step 2) I end up with a very broken Sage that is 
immediately killed with no information at all

$ ./sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 8.0.beta1, Release Date: 2017-04-06               │
│ Type "notebook()" for the browser-based notebook interface.        │
│ Type "help()" for help.                                            │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable.     ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
Killed


Does anybody have a clue on how I could debug this thing?

Thanks,
Vincent

--
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
#!/usr/bin/env bash

CONFIG="/home/vdelecro/sage_patchbot/patchbot_config.json"
SAGE_ROOT="/home/vdelecro/sage_patchbot/"
PATCHBOT="python3 -m sage_patchbot.patchbot"
NICE="nice -n 20"

SAGE="${SAGE_ROOT}/sage"

PKG_NOT_NEEDED="atlas|rst2ipynb|cbc|gap_packages|database_gap|sip|libtheora|mercurial|patchbot|ccache|gdb|gmp|openmpi|mpi4py|openblas|python2|python3|trac"
# cbc: https://trac.sagemath.org/ticket/22006
# gap_packages, database_gap: https://trac.sagemath.org/ticket/22576
# libtheora??
# sip: https://groups.google.com/forum/#!topic/sage-devel/Jc-5u9YslkI
# ccache, gdb and valgrind: system available!
# gmp cause recopilation of nearly everything (mpir, mpfr, mpc, pari, etc) and 
is broken!
# openblas is not used anywhere

function do_or_die
{
        echo $@
        $@
        if [ $? -ne 0 ]
        then
                echo "the following command failed: $1"
                exit 1
        fi
}


# pull the last source version in develop
do_or_die cd ${SAGE_ROOT}
do_or_die git checkout develop
do_or_die git pull trac develop --tags

# build it (and write starting file)
export MAKE="make -j5"
do_or_die make start

# see https://groups.google.com/forum/#!topic/sage-devel/Wu7vbnlOydE
do_or_die  ${SAGE} -pip install service_identity

# this needs to be done *after* the build for stupid reasons
OPTIONAL_PKGS=$(${SAGE} -optional --local --no-version|egrep -v 
"${PKG_NOT_NEEDED}")

echo "OPTIONAL PKGS TO BE INSTALLED:" ${OPTIONAL_PKGS}

# install optional packages
for PKG in ${OPTIONAL_PKGS}
do
    do_or_die ${SAGE} -i ${PKG}
done
# launch patchbot
${NICE} ${PATCHBOT} --config=${CONFIG} --cleanup