everest
everest copied to clipboard
Published
20 hours ago •
project-everest
project-everest
misc bugs
from slack:
FYI, everest script is slightly unhelpful on OSX: when it suggests to install scons, brew install scons results in an error, while pip3 install -U scons works... just for others who may have run into the same thing 1 reply protz < 1 minute ago it also doesn't check that wget is installed
it also doesn't invoke gmake instead of make for building HACL*
doesn't check for brew install make
doesn't check for brew install gnu-time