Rust wrapper for hacl-star and evercrypt.
When building this *-sys
crate make sure to get the hacl-star git submodule (git submodule update --init --recursive
).
The hacl/evercrypt build is currently not part of the cargo build
.
Run build-evercrypt.sh
in order to build the gcc-compatible
dist (this requires OCAML to be set up.).
| Platform | Supported | Status |
| :---------- | :-------: | :--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------: |
| MacOS | ✅ | |
| Linux x64 | ✅ |
|
| Linux x86 | ✅ |
|
| Windows x64 | ✅ |
|
| Arm64 Linux | ✅ |
|
| Arm32 Linux | ✅ |
|
To build evercrypt
and evercrypt-sys
on Windows ensure path for the VsDevCmd.bat
called in in hacl-build.bat
is correct on your system.
The build has only been tested with VisualStudio 2019.