https://github.com/project-everest/hacl-star
Raw File
Tip revision: 62b947568d7713b5b149468d2e8b263f35e7a2b8 authored by Dzomo the everest Yak on 10 May 2021, 16:36:51 UTC
Merge branch 'BuildHints-protz_ci' into protz_ci
Tip revision: 62b9475
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top