DIR := theories/cs101
ROOT := ../..

include $(ROOT)/mk/preface

INCLUDE := \
	 -I .\
	 $(SUPPORT_INCL)\
	 -I ../base\

MPFILES :=\
	cs101_lc\
	cs101_int\
	cs101_cla\
	cs101_hw1\
	cs101_hw2\
	cs101_hw4\

OCAMLDEPFLAGS := -prl

MAIN = theory

all: $(MAIN).cma
opt: $(MAIN).cmxa

clean::
	$(RM) *.p4* *.pp* *.cph *.output

# Real makefile
include $(ROOT)/mk/rules
include Makefile.dep
