Building Sage 7.5.beta6 using Docker

42 views
Skip to first unread message

Sho Takemori

unread,
Dec 15, 2016, 7:42:57 AM12/15/16
to sage-support
Dear all,

I am trying to build Sage 7.5.beta6 using Docker and binary-pkg (https://github.com/sagemath/binary-pkg) but I failed.

I cloned binary-pkg in the host and ran the following commands. Here I used this Docker file (https://gist.github.com/stakemori/2008d4f3480c4c2334ac7133c4f7f0f7).

docker run -it -v /path/to/binary-pkg -m 8192m sage-build
make bdist-sage-linux

(/home/docker/.sage/crash_logs/crash_QXFkJu.log is an empty file.)

It is possible to build Sage 7.4 using Docker and binary-pkg in the same way.
More precisely, using git bisect, I found that a83e25136481efb99d9cb8c00dde3065c0d04894 ("Do effectively exactly what the makefile for the autogen sources was doing, but purely in Python, removing the use of make.") is the first bad commit.

Any help would be appreciated.

Sho Takemori

slelievre

unread,
Dec 15, 2016, 10:17:16 AM12/15/16
to sage-support
Note: this commit corresponds to this trac comment on #21613:

Sorry I can't help. ...Just adding this bit of information.

Sho Takemori

unread,
Dec 15, 2016, 8:41:59 PM12/15/16
to sage-support
Thank you for the information. But I sill don't understand why this error occurs.

I build Sage in the Docker container using the Sage repo as follows.

git checkout a83e25136481efb99d9cb8c00dde3065c0d04894
make

Then I got the following error message
(if I use the commit f26b322f76034b8122603cbc4c7b02d4011f0cd9, then building succeeds).

cd ../.. && sage-logger -p './sage --docbuild --no-pdf-links all html ' logs/dochtml.log
[dochtml] Setting permissions of DOT_SAGE directory so only you can read and write it.
[dochtml] /home/docker/sage/local/bin/python: No module named interpreters.wrapper_rdf; 'sage_setup.docbuild' is a package and cannot be directly executed
Makefile:1064: recipe for target 'doc-html' failed
make[2]: *** [doc-html] Error 1
make[2]: Leaving directory '/home/docker/sage/build/make'
Makefile:887: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/home/docker/sage/build/make'

real    71m12.794s
user    232m3.108s
sys     19m54.532s
***************************************************************
Error building Sage.

The following package(s) may have failed to build (not necessarily
during this run of 'make all'):

The build directory may contain configuration files and other potentially
helpful information. WARNING: if you now run 'make' again, the build
directory will, by default, be deleted. Set the environment variable
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.

Makefile:16: recipe for target 'all' failed
make: *** [all] Error 1

Dima Pasechnik

unread,
Dec 15, 2016, 9:04:41 PM12/15/16
to sage-support
does at least

make build

finish without an error?
If yes, then the problem is in building the Sage docs.

Sho Takemori

unread,
Dec 15, 2016, 11:32:31 PM12/15/16
to sage-support
`make build` finishes without an error but Sage crashes.
The attached file is Sage_crash_report.txt

2016年12月16日金曜日 11時04分41秒 UTC+9 Dima Pasechnik:
Sage_crash_report.txt
Reply all
Reply to author
Forward
0 new messages