TOP = $(HOME)/research/pubsub
CILDIR = $(TOP)/cil
EXTDIR = $(CILDIR)/src/ext

src := $(wildcard *.ml)
all: cilly

.cil.in: Makefile.cil.in
	cp Makefile.cil.in .cil.in
	cp Makefile.cil.in maincil.ml $(CILDIR)
	cd $(CILDIR) && ./configure

cilly: .cil.in $(src)
	cp $(src) $(EXTDIR)
	cd $(CILDIR) && make
	cp $(CILDIR)/bin/cilly $(CILDIR)/bin/CilConfig.pm .
	chmod 644 CilConfig.pm
