Makefile

TOPOLOGY ?= tree3
DOT2LUSFLAGS ?=
SASA_ALGOS := p.ml root.ml
DECO_PATTERN="0:root.ml 1-:p.ml"


include ./Makefile.inc
include ./Makefile.dot

##############################################################################
# Non-regression tests

test: tree3.lurette 
	$(RUN_KIND2) tree 3 closure
	$(RUN_KIND2) tree 2 theorem 


clean: genclean
	rm -f $(TOPOLOGY)*.* tree3*.*

realclean: clean
	rm -rf .tmp-`uname -n`

##############################################################################
# Other examples of use

## Some examples of use of ../Makefile.inc

# run a simulation with luciole
simu: $(TOPOLOGY).simu

# Compare the ocaml version with the lustre one (with seed)
compare_seed: $(TOPOLOGY).lurette
	cat bfs-spanning-tree.rif

# Compare the ocaml version with the lustre one (no seed)
compare: $(TOPOLOGY).lurette_no_seed
	cat bfs-spanning-tree.rif

# make diring4.simu
kind2: $(TOPOLOGY).kind2

lesar: $(TOPOLOGY).lesar