From f0d027ecaaa6d3f19f2d451e201c04092a10c874 Mon Sep 17 00:00:00 2001
From: Benjamin Beurdouche <benjamin.beurdouche@inria.fr>
Date: Fri, 24 Feb 2017 14:34:22 +0100
Subject: [PATCH] Experimental C: support for HMAC based on SHA2_256

---
 CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0c09ffe917..00613d95d4 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -28,7 +28,8 @@ set(SOURCE_FILES_EXPERIMENTAL
    snapshots/hacl-c-experimental/cpuid.c
    snapshots/hacl-c-experimental/drng.c
    snapshots/hacl-c-experimental/Random.c
-   snapshots/hacl-c-experimental/SHA2.c
+   snapshots/hacl-c-experimental/SHA2_256.c
+   snapshots/hacl-c-experimental/HMAC_SHA2_256.c
    snapshots/hacl-c-experimental/Chacha20.c
    snapshots/hacl-c-experimental/Poly1305_64.c
    snapshots/hacl-c-experimental/aead_chacha20_poly1305.c)