[paparazzi-commits] [paparazzi/pprzlink] c4c663: Update paths for HACL-C so it compiles

[GitHub]

  Branch: refs/heads/hacl-c
  Home:   https://github.com/paparazzi/pprzlink
  Commit: c4c663cf0b849da5397a4cafd3886adea9ad2da0
      
https://github.com/paparazzi/pprzlink/commit/c4c663cf0b849da5397a4cafd3886adea9ad2da0
  Author: Michal Podhradsky <address@hidden>
  Date:   2017-11-03 (Fri, 03 Nov 2017)

  Changed paths:
    M lib/hacl-c/AEAD_Poly1305_64.c
    M lib/hacl-c/AEAD_Poly1305_64.h
    M lib/hacl-c/Chacha20.c
    M lib/hacl-c/Chacha20Poly1305.c
    M lib/hacl-c/Curve25519.c
    M lib/hacl-c/Ed25519.c
    M lib/hacl-c/Hacl_Policies.c
    M lib/hacl-c/SHA2_512.c
    M lib/hacl-c/kremlib.c
    M lib/v1.0/C/secure_pprz_transport.c

  Log Message:
  -----------
  Update paths for HACL-C so it compiles