From 085ea52bf5dc569f0ed64365dcccd6d121f1a51c Mon Sep 17 00:00:00 2001
From: Thomas Badie <badie@lrde.epita.fr>
Date: Sat, 14 Apr 2012 21:56:47 +0200
Subject: [PATCH] Fix two VPath-related bugs in bench.

* bench/ltl2tgba/known (ltlfile): Add a $srcdir.
* bench/ltlclasses/defs.in (builddir): Add the $builddir.
* bench/ltlclasses/run (gen): Change the $srcdir into $builddir.
---
 bench/ltl2tgba/known     | 2 +-
 bench/ltlclasses/defs.in | 1 +
 bench/ltlclasses/run     | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/bench/ltl2tgba/known b/bench/ltl2tgba/known
index fbe309bf1..2dfbd9986 100755
--- a/bench/ltl2tgba/known
+++ b/bench/ltl2tgba/known
@@ -28,7 +28,7 @@
 conffile=known.cfg
 logfile=known.log
 sumfile=known.txt
-ltlfile=formulae.ltl
+ltlfile=$srcdir/formulae.ltl
 
 . "$srcdir/algorithms"
 
diff --git a/bench/ltlclasses/defs.in b/bench/ltlclasses/defs.in
index 20729104f..9591b478a 100644
--- a/bench/ltlclasses/defs.in
+++ b/bench/ltlclasses/defs.in
@@ -27,6 +27,7 @@ test -f ./defs || {
 }
 
 srcdir='@srcdir@'
+builddir='@builddir@'
 
 # Ensure $srcdir is set correctly.
 test -f "$srcdir/defs.in" || {
diff --git a/bench/ltlclasses/run b/bench/ltlclasses/run
index 66d09d2d1..6ce1473ef 100755
--- a/bench/ltlclasses/run
+++ b/bench/ltlclasses/run
@@ -22,7 +22,7 @@
 
 . ./defs
 
-gen="$srcdir/../../src/ltltest/genltl"
+gen="$builddir/../../src/ltltest/genltl"
 
 for F in 1 2 3 4 5; do
   echo "# Benching ltl2tgba_fm for family F=$F"