alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bench: fix bench/ltl2tgba for new bin location

Browse source 
* bench/ltl2tgba/Makefile.am, bench/ltl2tgba/defs.in:
Update location of tools.
* NEWS: Mention the fix.
This commit is contained in:
Alexandre Duret-Lutz 2016-05-05 18:11:46 +02:00
parent 465fda2b35
commit 4cc6df102a
3 changed files with 12 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -41,6 +41,8 @@ New in spot 2.0.0a (not yet released)
will now unregister atomic propositions that are no longer will now unregister atomic propositions that are no longer
used in labels. Simplification of exclusive properties used in labels. Simplification of exclusive properties
and remove_ap::strip() will do similarly. and remove_ap::strip() will do similarly.
* bench/ltl2tgba/ was not working since the source code
reorganization of 1.99.7.
New in spot 2.0 (2016-04-11) New in spot 2.0 (2016-04-11)

8
bench/ltl2tgba/Makefile.am
View file

@ -1,6 +1,6 @@
## -*- coding: utf-8 -*- ## -*- coding: utf-8 -*-
## Copyright (C) 2013 Laboratoire de Recherche et Développement de ## Copyright (C) 2013, 2016 Laboratoire de Recherche et Développement
## l'Epita (LRDE). ## de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library. ## This file is part of Spot, a model checking library.
## ##
@ -42,13 +42,13 @@ json: $(OUTJSON)
deps = $(srcdir)/tools \ deps = $(srcdir)/tools \
$(top_srcdir)/configure.ac \ $(top_srcdir)/configure.ac \
$(top_builddir)/src/bin/ltl2tgba $(top_builddir)/bin/ltl2tgba
small.json: $(srcdir)/small $(deps) small.json: $(srcdir)/small $(deps)
$(srcdir)/small $(srcdir)/small
big.json: $(srcdir)/big $(deps) big.json: $(srcdir)/big $(deps)
$(srcdir)/big $(srcdir)/big
known.json: $(srcdir)/known $(srcdir)/formulae.ltl $(deps) known.json: $(srcdir)/known $(deps)
$(srcdir)/known $(srcdir)/known
results.tex: $(srcdir)/sum.py $(OUTJSON) results.tex: $(srcdir)/sum.py $(OUTJSON)

11
bench/ltl2tgba/defs.in
View file

@ -1,5 +1,5 @@
# -*- mode: shell-script; coding: utf-8 -*- # -*- mode: shell-script; coding: utf-8 -*-
# Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement # Copyright (C) 2012, 2013, 2016 Laboratoire de Recherche et Développement
# de l'Epita (LRDE). # de l'Epita (LRDE).
# Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6), # Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -36,13 +36,14 @@ test -f "$srcdir/defs.in" || {
top_builddir="@top_builddir@" top_builddir="@top_builddir@"
LBT="@LBT@" LBT="@LBT@"
LTLCROSS="$top_builddir/src/bin/ltlcross@EXEEXT@" LTLCROSS="$top_builddir/bin/ltlcross@EXEEXT@"
LTLFILT="$top_builddir/src/bin/ltlfilt@EXEEXT@" LTLFILT="$top_builddir/bin/ltlfilt@EXEEXT@"
RANDLTL="$top_builddir/src/bin/randltl@EXEEXT@" RANDLTL="$top_builddir/bin/randltl@EXEEXT@"
GENLTL="$top_builddir/bin/genltl@EXEEXT@"
LTL2BA="@LTL2BA@" LTL2BA="@LTL2BA@"
LTL3BA="@LTL3BA@" LTL3BA="@LTL3BA@"
LTL2NBA="@LTL2NBA@" LTL2NBA="@LTL2NBA@"
LTL2TGBA="@top_builddir@/src/bin/ltl2tgba@EXEEXT@" LTL2TGBA="@top_builddir@/bin/ltl2tgba@EXEEXT@"
MODELLA="@MODELLA@" MODELLA="@MODELLA@"
SPIN="@SPIN@" SPIN="@SPIN@"
WRING2LBTT="@WRING2LBTT@" WRING2LBTT="@WRING2LBTT@"