https://github.com/project-everest/hacl-star
Raw File
Tip revision: bc7a5c21753df3d544b03fedc821c5ff412af8ba authored by Nikhil Swamy on 06 May 2020, 19:55:34 UTC
merging in master
Tip revision: bc7a5c2
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top