aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2017-07-07 10:08:49 +0000
committerPjotr Prins2017-07-07 10:08:49 +0000
commit2a4ecd67087cc36166a5a1c2ce03dba1c9c74cf4 (patch)
tree7184a842ee4ad5a0b9b6beb33db5d7b14f765d3c
parent10f82cd2aa24abfbab7068fd062cc43429070f60 (diff)
downloadpangemma-2a4ecd67087cc36166a5a1c2ce03dba1c9c74cf4.tar.gz
Added notes on using make
-rw-r--r--INSTALL.md10
1 files changed, 9 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md
index dd6bb2a..8bfe7f8 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -36,5 +36,13 @@ using the following command
guix package -i gemma
-
### Install from source
+
+Install listed dependencies and run
+
+ make
+
+if you get an Eigen error you may need to override the include
+path. E.g. on GNU Guix with shared libs this may work
+
+ make EIGEN_INCLUDE_PATH=~/.guix-profile/include/eigen3 FORCE_DYNAMIC=1