Include /usr/local/{include,lib}

1 files changed, 3 insertions, 2 deletions

diff --git a/src/tomo.c b/src/tomo.c
index b3f2db77..8cb0f18f 100644
--- a/src/tomo.c
+++ b/src/tomo.c
@@ -64,9 +64,10 @@ static OptionalText_t
                           " -fno-signed-zeros -fno-finite-math-only -fno-signaling-nans -fno-trapping-math"
                           " -D_XOPEN_SOURCE=700 -D_POSIX_C_SOURCE=200809L -D_DEFAULT_SOURCE -fPIC -ggdb"
                           " -DGC_THREADS"
-                          " -I$HOME/.local/include -I$HOME/.local/share/tomo/installed"),
+                          " -I$HOME/.local/include -I$HOME/.local/share/tomo/installed -I/usr/local/include"),
             ldlibs = Text("-lgc -lgmp -lm -ltomo"),
-            ldflags = Text("-Wl,-rpath='$ORIGIN',-rpath=$HOME/.local/share/tomo/lib,-rpath=$HOME/.local/lib -L$HOME/.local/lib -L$HOME/.local/share/tomo/lib"),
+            ldflags = Text("-Wl,-rpath='$ORIGIN',-rpath=$HOME/.local/share/tomo/lib,-rpath=$HOME/.local/lib,-rpath=/usr/local/lib "
+                           "-L$HOME/.local/lib -L$HOME/.local/share/tomo/lib -L/usr/local/lib"),
             optimization = Text("2"),
             cc = Text("cc");