Re: [sage-devel] database_kohel install failure

2020-03-03 Thread Taylor Huang
I used a binary install. But anyway I somehow successfully install everything by changing my filesystem then softlink executables to their pre-requisite packages. It re-built itslef for roughly half a day then the installation succeeded. Dima Pasechnik於 2020年3月2日星期一 UTC+8上午12時00分30秒寫道: > > Have

Re: [sage-devel] database_kohel install failure

2020-03-01 Thread Dima Pasechnik
Have you build Sage from scratch? Or it's a binary install? (in the latter case, installing external packages is far from perfect, and would likely be a bug we need to fix) On Sun, 1 Mar 2020, 02:47 Taylor Huang, wrote: > Hi, > > So I was trying to install database_kohel onto my Ubuntu 18.04