Commit 242386b1 authored by Thomas Badie's avatar Thomas Badie Committed by Alexandre Duret-Lutz
Browse files

Add missing dependencies to the ltl2tgba benchmark Makefile.

* bench/ltl2tgba/ (run): Remove wfair.txt.
(small.txt, big.txt, known.txt) Add a dependency to ltl2tgba.
parent 387bace9
......@@ -12,11 +12,13 @@ CLEAN_FILES = \
known.cfg known.log known.txt
.PHONY = run
run: small.txt big.txt known.txt wfair.txt
run: small.txt big.txt known.txt
small.txt: $(srcdir)/small $(srcdir)/algorithms $(top_srcdir)/
deps = $(srcdir)/algorithms $(top_srcdir)/ $(top_builddir)/src/tgbatest/ltl2tgba
small.txt: $(srcdir)/small $(deps)
big.txt: $(srcdir)/big $(srcdir)/algorithms $(top_srcdir)/
big.txt: $(srcdir)/big $(deps)
known.txt: $(srcdir)/known $(srcdir)/algorithms $(srcdir)/formulae.ltl $(top_srcdir)/
known.txt: $(srcdir)/known $(srcdir)/formulae.ltl $(deps)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment