Revision acc8d8e557f6f11242ed366f6c6c639f90594a82 authored by Jay Bosamiya on 06 June 2019, 00:13:16 UTC, committed by Jay Bosamiya on 06 June 2019, 00:13:16 UTC
1 parent 8c7fa77
README
Performance tests for HACL*, written in C
-----------------------------------------
These tests are compiled by the local Makefile. They're executed when the user
runs `make test`.
Note: LTO is disabled since it causes a bunch of issues (not all systems have it
properly enabled; issues with MinGW in the past...). Also, I haven't noticed a
measurable performance improvement. If you wish to recompile the tests with LTO
enabled:
```
$ export AR=gcc-ar # if $CC is gcc
$ cd kremlin/kremlib && git clean -fdx dist && CFLAGS=-flto make -j
$ cd hacl-star && git clean -fdx dist && CFLAGS=-flto make -j test
```
Computing file changes ...
