From 373441fb9fd4335020ef317e78856c449c9a437b Mon Sep 17 00:00:00 2001
From: Artem Dinaburg <artem@trailofbits.com>
Date: Wed, 1 Nov 2017 22:59:04 -0400
Subject: [PATCH] Allow for a user only install if CMAKE_INSTALL_PREFIX is set

---
 CMakeLists.txt | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8d31fa9..b157154 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -76,6 +76,14 @@ add_custom_command(
 add_custom_target(target ALL DEPENDS ${OUTPUT})
 
 # Install DeepState via PIP.
-install(CODE "execute_process(COMMAND ${PYTHON} ${SETUP_PY} install)")
+
+if(CMAKE_INSTALL_PREFIX_INITIALIZED_TO_DEFAULT)
+    #if an install prefix is not set, assume a global install
+    install(CODE "execute_process(COMMAND ${PYTHON} ${SETUP_PY} install)")
+else()
+    # and install prefix is set; assume a user install
+    # the "prefix=" is intentional
+    install(CODE "execute_process(COMMAND ${PYTHON} ${SETUP_PY} install --user --prefix=)")
+endif()
 
 add_subdirectory(examples)