https://github.com/project-everest/hacl-star
Raw File
Tip revision: da8ff681379c6660c01b79d20bbef40431073979 authored by Tahina Ramananandro (professional account) on 21 July 2021, 23:38:24 UTC
Merge branch 'master' into setup_travis
Tip revision: da8ff68
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top