Ask Your Question
0

Error building linbox

asked 2021-12-17 14:06:57 +0200

updated 2021-12-19 04:52:34 +0200

slelievre gravatar image

I try to compile SageMath, but fail for one SPKG: linbox-1.6.3.p1

  • OS: Archlinux x86_64
  • Kernel: 5.14.16-arch1-1
  • Version of SageMath: Trying to compile it!

I made a clone of the SageMath git repository with:

git clone -c core.symlinks=true --branch master https://github.com/sagemath/sage.git

I checked prerequisites packages on my system by copy-pasting.

I have all of: GNU make, GNU m4, perl (including ExtUtils::MakeMaker), ranlib, git, tar, bc.

I made a git checkout origin/develop, after which I get:

$ git branch
* (HEAD detached at origin/develop)
master

I tried to install origin/master version of SageMath. I tried to install linbox 1.7.0.1 with pacman and ./configure && make without success.

Here is the log for the linbox build failure:

edit retag flag offensive close merge delete

Comments

I could not add the links since this is my first post and I do not have enough reputation yet. So you have to rewrite them. I do not know how long the log will stay on the website, I'll try to integrate part of it in the post if the link expires.

Dimitri Lesnoff gravatar imageDimitri Lesnoff ( 2021-12-18 11:37:18 +0200 )edit

I changed the link to a pastebin that is not a burn-after-read website unlike file.io

Dimitri Lesnoff gravatar imageDimitri Lesnoff ( 2021-12-18 11:51:30 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted
1

answered 2021-12-18 22:44:50 +0200

Emmanuel Charpentier gravatar image

See this sage-release thread and Trac#33042.

Long story short : ./configure with-system-givaro=no will work around a bug that Trac#33042 will fix.

HTH,

edit flag offensive delete link more

Comments

Sage has been successfully built with this option, thank you. I guess I have to keep track of the fix, to know when I can recompile sage without this flag.

Dimitri Lesnoff gravatar imageDimitri Lesnoff ( 2021-12-19 14:24:24 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2021-12-17 14:06:57 +0200

Seen: 86 times

Last updated: Dec 19 '21