From 242386b19aa5eb0e87bbc39cdcb12e31c35a9890 Mon Sep 17 00:00:00 2001 From: Thomas Badie Date: Sat, 18 Aug 2012 11:46:01 +0200 Subject: [PATCH] Add missing dependencies to the ltl2tgba benchmark Makefile. * bench/ltl2tgba/Makefile.am (run): Remove wfair.txt. (small.txt, big.txt, known.txt) Add a dependency to ltl2tgba. --- bench/ltl2tgba/Makefile.am | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/bench/ltl2tgba/Makefile.am b/bench/ltl2tgba/Makefile.am index fb59e7fb2..6ab3f7c3d 100644 --- a/bench/ltl2tgba/Makefile.am +++ b/bench/ltl2tgba/Makefile.am @@ -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)/configure.ac +deps = $(srcdir)/algorithms $(top_srcdir)/configure.ac $(top_builddir)/src/tgbatest/ltl2tgba + +small.txt: $(srcdir)/small $(deps) $(srcdir)/small -big.txt: $(srcdir)/big $(srcdir)/algorithms $(top_srcdir)/configure.ac +big.txt: $(srcdir)/big $(deps) $(srcdir)/big -known.txt: $(srcdir)/known $(srcdir)/algorithms $(srcdir)/formulae.ltl $(top_srcdir)/configure.ac +known.txt: $(srcdir)/known $(srcdir)/formulae.ltl $(deps) $(srcdir)/known