aboutsummaryrefslogtreecommitdiff
path: root/local-tomo
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-09-01 17:32:42 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-09-01 17:32:42 -0400
commit081a26de86eca95ba3ee0887992cdc3d96190cce (patch)
tree083e08ccfe6f5186b178a04e85d7d6a67ed27e1f /local-tomo
parentaf50891b0eb51be61d0d2366875bf5b15eef5c80 (diff)
Fixes for local-tomo so that it *actually* uses local header files,
which don't need to be installed anymore.
Diffstat (limited to 'local-tomo')
-rwxr-xr-xlocal-tomo5
1 files changed, 1 insertions, 4 deletions
diff --git a/local-tomo b/local-tomo
index c7eaeb21..bdf1e0da 100755
--- a/local-tomo
+++ b/local-tomo
@@ -7,8 +7,5 @@ if [ ! -e "$here/build/bin/tomo_$version" ]; then
fi
PATH="$here/build/bin${PATH:+:$PATH}" \
-LD_LIBRARY_PATH="$here/build/lib${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}" \
-LIBRARY_PATH="$here/build/lib${LIBRARY_PATH:+:$LIBRARY_PATH}" \
-C_INCLUDE_PATH="$here/build/include${C_INCLUDE_PATH:+:$C_INCLUDE_PATH}" \
-CPATH="$here/build/include${CPATH:+:$CPATH}" \
+TOMO_PATH="$here/build" \
tomo_"$version" "$@"