cpp-d1064d

[projects.git] / debian / eibd.prebuild

diff --git a/debian/eibd.prebuild b/debian/eibd.prebuild
index b4b12bfd5bb8b3006087b9fdccd7f7707962dd44..fc91bd49768df525896cb3cd65146d55bca95a59 100755 (executable)
--- a/debian/eibd.prebuild
+++ b/debian/eibd.prebuild
@@ -7,7 +7,7 @@ set -e
 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
 tar xf pthsem_2.0.8.tar.gz
 pushd pthsem-2.0.8 >/dev/null
 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
 tar xf pthsem_2.0.8.tar.gz
 pushd pthsem-2.0.8 >/dev/null

-       ./configure
+       ./configure --prefix=$HOME/projects/debian/tmp/usr

        make
 popd >/dev/null
 
        make
 popd >/dev/null