MODULES := secmod seclog seclogO examples alice alice2 llist llist2 llist3 principals average
ssr.pname := $(SSRCOQ_LIB)
ssr.lname := Ssreflect
htt.pname := $(HTT_DIR)
htt.lname := 
COQLIBS := ssr htt

include $(HTT_DIR)/Makefile.build

all: coq
