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!
