web-sst
Results
3
comments of
web-sst
Pursuing the first suggestion from @msprotz, I cleaned up some Linuxisms (e.g. /bin/bash) and added flag setting for FreeBSD, and added -thread to hacl-star to get past the first error...
The quackyducky/3d Makefile does not pass the clean target down to 3d/ocaml, so the 3d/ocaml/_build directory was not removed, resulting in a dirty build.
I thought one conversation thread and separate PRs per project was the way to go, and stand corrected. Happy to oblige.