From 28bc49ed664988e5a4c6008f3c648c2e3f360ca5 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Mon, 15 Feb 2016 19:06:53 +0100
Subject: [PATCH] Relative paths in benchmark script

Former-commit-id: e360ade8cefc568c9106e99724b2448c6f5ca3d8
---
 benchmark_dft.py | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/benchmark_dft.py b/benchmark_dft.py
index edfc88bda..dfcecd15f 100644
--- a/benchmark_dft.py
+++ b/benchmark_dft.py
@@ -1,13 +1,14 @@
 import os
 import os.path
+import sys
 import subprocess
 import re
 import time
 import argparse
 
-STORM_PATH= "/Users/mvolk/develop/dft-storm/build/src/storm-dft"
-EXAMPLE_DIR= "/Users/mvolk/develop/dft-storm/examples/dft/"
-
+DIR=os.getcwd()
+STORM_PATH=os.path.join(DIR, "build/src/storm-dft")
+EXAMPLE_DIR=os.path.join(DIR, "examples/dft/")
 
 benchmarks = [ 
     ("and", False, [3, 1]),