Trouble installing the Kohel database

asked 2023-03-30 22:24:32 +0100

stillconfused gravatar image

I am trying to install the Kohel database but running into an error I don't understand.

From what I gathered online I should run sage -i database_kohel in my Linux terminal, but this is giving me the following error : make: *** No rule to make target 'all-toolchain'. Stop.

I am running Sage 9.5 in WSL using an Ubuntu terminal.

Any help would be appreciated!

edit retag flag offensive close merge delete


How did you install Sage ? Installing an optonal module usually requires to compile Sage from source...

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2023-03-30 22:46:55 +0100 )edit

That's likely the issue - I installed Sage through the version of Ubuntu I have on WSL. Looks like it might be time for a re-install...

stillconfused gravatar imagestillconfused ( 2023-03-30 22:51:26 +0100 )edit