MODULES := prelude ordtype finmap rels heaps hprop domains stmod stsep stlog array stlogR llistR
RELEASE := $(MODULES:%=%.v) Makefile Makefile.build
ssr.pname := $(SSRCOQ_LIB)
ssr.lname := Ssreflect
COQLIBS := ssr

include $(HTT_DIR)/Makefile.build

all: coq
