Trouble installing the Kohel database
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!
How did you install Sage ? Installing an optonal module usually requires to compile Sage from source...
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...