From aa1a42b7bd8430cee8422c6954e8ec252b326f61 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 7 Apr 2016 20:47:27 +0200
Subject: [PATCH] set LD_LIBRARY_PATH to find libisl.so

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 166c0f109..9311bd44a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,3 +16,6 @@ install:
         - sudo make install
         - cd -
         - rm -rf isl-0.12.2*
+before_script:
+        - export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
+        - export PATH=$PATH:/usr/local/bin