Makefile: support for HMAC in the Experimental C snapshot

hacl-star · Feb 24, 2017 · e45e43a · e45e43a
1 parent 992cfc1
commit e45e43a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/snapshots/hacl-c-experimental/Makefile b/snapshots/hacl-c-experimental/Makefile
@@ -22,5 +22,10 @@ test-sha2:
 	-I $(KREMLIN_HOME)/kremlib $(KREMLIN_HOME)/kremlib/kremlib.c $(KREMLIN_HOME)/kremlib/testlib.c SHA2_256.c test-sha2.c -o test-sha2.exe
 	./test-sha2.exe
 
+test-hmac-sha2:
+	$(CC) -Ofast -march=native -mtune=native -m64 -fwrapv -fomit-frame-pointer -funroll-loops \
+	-I $(KREMLIN_HOME)/kremlib $(KREMLIN_HOME)/kremlib/kremlib.c $(KREMLIN_HOME)/kremlib/testlib.c HMAC_SHA2_256.c test-hmac-sha2.c -o test-hmac-sha2.exe
+	./test-hmac-sha2.exe
+
 clean:
 	rm -rf *~ *.exe *.out