path fixes

CMakeLists.txt

@@ -41,7 +41,7 @@ endif ()
 # Config
 execute_process(COMMAND ${CMAKE_SOURCE_DIR}/configure ${CMAKE_SOURCE_DIR} ${Python3_LIBRARIES})
 message("Moving assets")
-execute_process(COMMAND cp -r ${CMAKE_SOURCE_DIR}/src/assets ${CMAKE_BINARY_DIR}/assets)
+execute_process(COMMAND cp -r ${CMAKE_SOURCE_DIR}/src/assets ${CMAKE_BINARY_DIR})
 execute_process(COMMAND cp ${CMAKE_SOURCE_DIR}/scripts/install_user.sh ${CMAKE_BINARY_DIR})
 execute_process(COMMAND cp ${CMAKE_SOURCE_DIR}/scripts/QtLean ${CMAKE_BINARY_DIR})
 

README.md

@@ -92,4 +92,4 @@ To use the configured Lean directory elsewhere, simply execute `cp -r your/path/
 Installation
 ------------
 After building, run the `install_user.sh` script in the build directory. Note that you will likely need to run this as a
-super user.
+super user. 

scripts/QtLean

@@ -20,5 +20,4 @@ if [[ "$PWD" != *"Lean"* ]]; then
 fi
 (ln -s ../assets . && ln -s ../qtlean .) || echo "WARNING: Was not able to make links!"
 ./qtlean
-rm -r assets
 rm qtlean

scripts/install_user.sh

@@ -25,9 +25,9 @@ cat <<EOF >>/usr/bin/QtLean
 if [[ "$PWD" != *Lean* ]]; then
     echo "WARNING: qtlean should be run from Lean's root directory."
 fi
-ln -s /usr/lib/qtlean/* . || echo "WARNING: Was not able to make links!"
+ln -s /usr/lib/qtlean/qtlean . || echo "WARNING: Was not able to make links!"
+cp -r /usr/lib/qtlean/assets . || echo "WARNING: Was not able to make config!"
 ./qtlean
-rm -r assets
 rm qtlean
 EOF
-chmod 755 /usr/bin/qtlean
+chmod 755 /usr/bin/QtLean