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.