That file has been moved recently. It used to be src/bin/sage-dist-helpers I guess that's where it is on your docker image.
On Tue, Jul 30, 2019 at 11:35 PM Simon King <simon.k...@uni-jena.de> wrote: > > 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. -- 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/CAAWYfq1GLeXMTvOo6ePWA4-yGdxjv76QtwM43Ox%3Dn7i1%2BDBh9w%40mail.gmail.com.
