Unable to install glucose SAT solver with Sage

edit

Hi all, I have sage 9.5 installed through anaconda. Following the instructions found on Sebastien Labbe's blog (can't post a link due to insufficient karma), I tried "sage -i glucose" to install glucose to no avail. The error message I got was:

"make: * No rule to make target 'all-toolchain'. Stop."

I googled it and found other people with this problem, they were told to install sage a different way. So I installed version 9.6 via "brew install --cask sage" and then when I try "sage -i glucose" again I get:

"Sorry, this binary distribution does not support installing sage packages. If glucose is available from pypi you may install it by running %pip install glucose from the sage prompt."

pip install glucose certainly doesn't work because it isn't a python package.

I looked up this error and found that perhaps I need to install from source in order to get the functionality for installing optional packages? So I downloaded the .tar.gz from the 3-manifolds GitHub repo and attempted to follow the instructions in the SETUP/readme files from there. Those seem to be outdated, as the instructions in them assume a directory structure that is not present in the form that I downloaded it. So, at this point I'm pretty stumped. I have combed myriad forum posts and tried lots of solutions but none of them worked. Does anyone have any tips/pointers? Many thanks.