SPLC ?= ../../cfa/splc

CFLAGS=-Wall -g -I../.. -I. -pthread
TESLALIBS=                                      \
	../../libtesla/tesla_state.o            \
	../../libtesla/tesla_state_global.o     \
	../../libtesla/tesla_state_perthread.o  \
	../../libtesla/tesla_util.o

.PHONY: all clean pdf
all: libteslassh.a libfaketeslassh.a

pdf: ssh.pdf 

ssh_assertion.o: ssh_assertion.c ssh_defs.h ssh_kex_defs.h
	$(CC) -c $(CFLAGS) -o $@ $<

%_fakeassertion.o: %_fakeassertion.c
	$(CC) -c $(CFLAGS) -o $@ $<
	
%_defs.h %_automata.c %.spec: %.spl $(SPLC) Makefile
	$(SPLC) -t tesla -s $* $<

%-all.dot: %.spl $(SPLC) Makefile
	$(SPLC) -t dot $<

%-all.dot.pdf: %-all.dot
	dot -Tpdf -O $<

%.pdf: %-all.dot.pdf
	cp $< $@

%_automata.o: %_automata.c %_defs.h
	$(CC) -c $(CFLAGS) -o $@ $<

libteslassh.a: $(TESLALIBS) ssh_automata.o ssh_assertion.o ssh_kex_automata.o
	ar rvc $@ $^

libfaketeslassh.a: $(TESLALIBS) ssh_fakeassertion.o
	ar rvc $@ $^

# Before running this, run ./run_test to generate the results files
ssh_data.dat: parse.ml
	ocaml $<

#sshperf.ps: sshplot.gp ssh_data.dat
#	gnuplot $<
#
#sshperf.pdf: sshperf.ps
#	ps2pdf -dEPSCrop $<

sshperf.pdf: sshplot.R ssh_data.dat
	R CMD BATCH --vanilla $<

clean:
	rm -f *.o *.a *.dot *.Rout *_defs.h *_automata.c ssh.spec ssh_kex.spec ssh_channel.spec ssh.pdf \
		ssh_data.dat sshperf.ps sshperf.pdf

distclean:
	rm -rf openssh-5.8p1-with-clang-faketesla \
		openssh-5.8p1-with-clang-tesla \
		openssh-5.8p1-with-gcc