only install to --user if user site is enabled

Author: timfel

graalpython/lib-graalpython/modules/ginstall.py

@@ -416,7 +416,10 @@ def install_from_url(url, patch=None, extra_opts=[], cflags=""):
             f.write(patch)
         system("patch -d %s/%s/ -p1 < %s/%s.patch" % ((tempdir, bare_name)*2))
 
-    user_arg = "--user" if "--prefix" not in extra_opts else ""
+    if "--prefix" not in extra_opts and site.ENABLE_USER_SITE:
+        user_arg = "--user"
+    else:
+        user_arg = ""
     system("cd %s/%s; %s %s setup.py install %s %s" % (tempdir, bare_name, "CFLAGS=%s" % cflags if cflags else "", sys.executable, user_arg, " ".join(extra_opts)))
 
 
@@ -455,7 +458,10 @@ def install_from_pypi(package, extra_opts=[]):
         else:
             xit("Unknown file type: %s" % filename)
 
-        user_arg = "--user" if "--prefix" not in extra_opts else ""
+        if "--prefix" not in extra_opts and site.ENABLE_USER_SITE:
+            user_arg = "--user"
+        else:
+            user_arg = ""
         status = os.system("cd %s/%s; %s setup.py install %s %s" % (tempdir, dirname, sys.executable, user_arg, " ".join(extra_opts)))
         if status != 0:
             xit("An error occurred trying to run `setup.py install %s %s'" % (user_arg, " ".join(extra_opts)))