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 /src/modules.c | |
| 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 'src/modules.c')
| -rw-r--r-- | src/modules.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/modules.c b/src/modules.c index 6658f8a5..fafbbf86 100644 --- a/src/modules.c +++ b/src/modules.c @@ -86,8 +86,8 @@ module_info_t get_module_info(ast_t *use) { } bool try_install_module(module_info_t mod, bool ask_confirmation) { - Path_t dest = Path$from_text( - Texts(TOMO_PREFIX "/lib/tomo_" TOMO_VERSION "/", Text$from_str(mod.name), "_", Text$from_str(mod.version))); + Path_t dest = Path$from_text(Texts(Text$from_str(TOMO_PATH), "/lib/tomo_" TOMO_VERSION "/", Text$from_str(mod.name), + "_", Text$from_str(mod.version))); if (Path$exists(dest)) return true; if (mod.git) { |