On 2019-07-30, Simon King <simon.k...@uni-jena.de> wrote: > Perhaps I found a solution.
Yes and no. Yes, it does work with the sage version on my laptop No, it does not work on travis-ci with a sage docker image. Namely, sage-dist-helpers cannot be found in $SAGE_ROOT/build/bin in the docker image: ls $SAGE_ROOT/build/bin sage-apply-patches sage-download-file sage-flock sage-logger sage-package sage-pip-install sage-python23 sage-spkg sage-spkg-uninstall sage-system-python sage-uncompress-spkg I guess simply the version in the docker image (which is "latest") is too old. What can I replace "source $SAGE_ROOT/build/bin/sage-dist-helpers" with, in the docker image? Best regards, Simon -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/qhq9mv%242fkc%241%40blaine.gmane.org.
