https://github.com/project-everest/hacl-star
Raw File
Tip revision: c2b32fc2c457935155d88ce0ed49f24b094a3a0a authored by Christoph M. Wintersteiger on 09 September 2020, 11:06:52 UTC
Merge branch 'master' into cwinter_missing_module
Tip revision: c2b32fc
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top