msprotz
commented
3 years ago 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
Open msprotz opened 3 years ago
msprotz
commented
3 years ago 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
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