MODULES := pred prelude idynamic ordtype pperm finmap domain pcm spcm unionmap heap coding feap state zigzag world autosplit inject atomic rely privstate privalt footprint schedule refine process always hide model lemmas histories stsep array getter locks caslock ticketed incrementor extra_lemmas readpair alloc treiber stack_framed stack_seq stack_client flatcombine stack_combine spanning
RELEASE := $(MODULES:%=%.v) Makefile Makefile.build
ssr.pname := $(SSRCOQ_LIB)
ssr.lname := Ssreflect
COQLIBS := ssr

include Makefile.build

all: coq
