diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-09-01 17:32:42 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-09-01 17:32:42 -0400 |
| commit | 081a26de86eca95ba3ee0887992cdc3d96190cce (patch) | |
| tree | 083e08ccfe6f5186b178a04e85d7d6a67ed27e1f /local-tomo | |
| parent | af50891b0eb51be61d0d2366875bf5b15eef5c80 (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-x | local-tomo | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -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" "$@" |
