The file you are referring to is actually a binary distribution that does not need to be compiled anymore. -- Lenz Grimmer ...
One bug found | Edit Search | Change Columns |
as
ID Status▲ Resolution▲ Sev Product▲ Comp▲ Assignee▲ Reporter▲ Summary
19580 ASSI --- cri Sisyphus maxima-b oddity pip maxima lapack can not be loaded

File a new bug in the "maxima-bin-sbcl" component of the "Sisyphus" product