https://github.com/project-everest/hacl-star
Raw File
Tip revision: 11aafe5eaa729b5f95c8073c509a96138c4be652 authored by Victor Dumitrescu on 25 June 2020, 10:49:28 UTC
Merge pull request #318 from project-everest/vdum_ocaml_p256
Tip revision: 11aafe5
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top