Fixes python-lib to build with system python

HazyResearch · Jan 8, 2017 · 2b9c7a9 · 2b9c7a9
1 parent db70787
commit 2b9c7a9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/extern/bundled/python-lib/install.sh b/extern/bundled/python-lib/install.sh
@@ -7,8 +7,10 @@ unset PYTHONPATH  # existing PYTHONPATH can interfere
 fetch-verify get-pip.py https://bootstrap.pypa.io/get-pip.py
 for python in python2.7 python3.{6,5,4}; do
     type $python || continue
-    PYTHONPATH="$PWD"/prefix/lib/$python/site-packages \
-    $python get-pip.py setuptools -r requirements.txt --upgrade --ignore-installed --prefix prefix
+    ( export PYTHONPATH="$PWD"/prefix/lib/$python/site-packages
+    $python get-pip.py --upgrade --force-reinstall --ignore-installed --prefix prefix  setuptools
+    $python get-pip.py --upgrade --force-reinstall --ignore-installed --prefix prefix  -r requirements.txt
+    )
 done
 
 # remove pip and setuptools

diff --git a/util/install/install.Ubuntu.sh b/util/install/install.Ubuntu.sh
@@ -61,6 +61,7 @@ install__deepdive_build_deps() {
         # psycopg2
         libreadline-dev
         python-dev
+        python3-dev
         libpq-dev
         # graphviz-devel
         autoconf pkg-config libtool