[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #42352] pkg install fails if --disable-docs is
From: |
Muhali |
Subject: |
[Octave-bug-tracker] [bug #42352] pkg install fails if --disable-docs is given at build time |
Date: |
Thu, 14 Apr 2022 03:59:31 -0400 (EDT) |
Follow-up Comment #16, bug #42352 (project octave):
I just stumbled over this old bug. For me the following patch resolved the
issue.
diff -r e219aacda1e5 scripts/pkg/private/install.m
--- a/scripts/pkg/private/install.m Sun Apr 10 14:34:05 2022 -0700
+++ b/scripts/pkg/private/install.m Thu Apr 14 09:41:29 2022 +0200
@@ -238,7 +238,9 @@
create_pkgadddel (desc, pdir, "PKG_ADD", global_install);
create_pkgadddel (desc, pdir, "PKG_DEL", global_install);
finish_installation (desc, pdir, global_install);
- generate_lookfor_cache (desc);
+ if __octave_config_info__("ENABLE_DOCS")
+ generate_lookfor_cache (desc);
+ endif
endfor
catch
## Something went wrong, delete tmpdirs.
Not sure whether this works in general.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?42352>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Octave-bug-tracker] [bug #42352] pkg install fails if --disable-docs is given at build time,
Muhali <=