Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ECL 20.4.24: More trouble with makeinfo #30173

Closed
mkoeppe opened this issue Jul 19, 2020 · 20 comments
Closed

ECL 20.4.24: More trouble with makeinfo #30173

mkoeppe opened this issue Jul 19, 2020 · 20 comments

Comments

@mkoeppe
Copy link
Member

mkoeppe commented Jul 19, 2020

https://groups.google.com/d/msg/sage-devel/2zjlIEsKETU/PkM3_eh1CAAJ

Upstream: Completely fixed; Fix reported upstream

CC: @dimpase @spaghettisalat @mwageringel

Component: packages: standard

Author: Matthias Koeppe

Branch/Commit: 42e6c43

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/30173

@mkoeppe mkoeppe added this to the sage-9.2 milestone Jul 19, 2020
@dimpase
Copy link
Member

dimpase commented Jul 19, 2020

comment:1

this looks like a locale issue - makeinfo is found, but

perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
	LC_ALL = "C.UTF-8",
	LANG = "en_US.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
user-guide/embedding.txi:14: warning: unreferenced node `Starting and Stopping'
user-guide/embedding.txi:14: warning: node `Catching Errors and Managing Interrupts' is next for `Starting and Stopping' in sectioning but not in menu
user-guide/embedding.txi:14: warning: node `Embedding ECL - Embedding Reference' is up for `Starting and Stopping' in sectioning but not in menu
user-guide/embedding.txi:11: node `Embedding ECL - Embedding Reference' lacks menu item for `Starting and Stopping' despite being its Up target
user-guide/embedding.txi:127: warning: unreferenced node `Catching Errors and Managing Interrupts'
user-guide/embedding.txi:127: warning: node `Starting and Stopping' is prev for `Catching Errors and Managing Interrupts' in sectioning but not in menu
user-guide/embedding.txi:127: warning: node `Embedding ECL - Embedding Reference' is up for `Catching Errors and Managing Interrupts' in sectioning but not in menu
user-guide/embedding.txi:11: node `Embedding ECL - Embedding Reference' lacks menu item for `Catching Errors and Managing Interrupts' despite being its Up target
make[7]: *** [ecl.info.gz] Error 1
make[6]: *** [info] Error 2
make[5]: *** [doc] Error 2
make[4]: *** [all] Error 2

@dimpase
Copy link
Member

dimpase commented Jul 19, 2020

comment:2

or, perhaps, a very old version of makeinfo (however, it's in /usr/local/bin on a Mac,
so a special effort was needed to get an old one...)

@spaghettisalat
Copy link

comment:3

How about just not building the manual at all by passing --disable-manual to the configure script? Running sagemath doesn't require the manual to be there anyway.

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 19, 2020

comment:4

Replying to @spaghettisalat:

How about just not building the manual at all by passing --disable-manual to the configure script? Running sagemath doesn't require the manual to be there anyway.

Yes, that's what we should do on this ticket

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 19, 2020

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 19, 2020

Author: Matthias Koeppe

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 19, 2020

New commits:

c235031build/pkgs/ecl/spkg-install.in: Do not build the manual

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 19, 2020

Commit: c235031

@dimpase
Copy link
Member

dimpase commented Jul 19, 2020

comment:7

disabling this due to a possibly broken tool is a bit lame. Tools are meant to be either working or not installed.

@dimpase
Copy link
Member

dimpase commented Jul 19, 2020

comment:8

a correct way would be to test makeinfo version in ECL itself.

Anyhow, the old makeinfo on macOS which creates problems can be tested for by

makeinfo -c foo 2>&1 | grep invalid

this returns something nonempty on makeinfo 4.8, and will be empty on a modern makeinfo - or when there is no makeinfo available.

I suggest that this test is used in spkg-install to test whether the flag --disable-manual should be used, or not.

@dimpase
Copy link
Member

dimpase commented Jul 20, 2020

comment:9

I've submitted https://gitlab.com/embeddable-common-lisp/ecl/-/merge_requests/221 upstream, to fix this properly.

@dimpase
Copy link
Member

dimpase commented Jul 20, 2020

Upstream: Completely fixed; Fix reported upstream

@mkoeppe
Copy link
Member Author

mkoeppe commented Jul 20, 2020

comment:10

Great. We could still suppress building the manual if "$SAGE_SPKG_INSTALL_DOCS" != yes like on the maxima upgrade ticket (#30063).

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 20, 2020

Branch pushed to git repo; I updated commit sha1. New commits:

5e8765ebuild/pkgs/ecl/spkg-install.in: Disable building the manual if SAGE_SPKG_INSTALL_DOCS != yes

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 20, 2020

Changed commit from c235031 to 5e8765e

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 20, 2020

Changed commit from 5e8765e to 42e6c43

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 20, 2020

Branch pushed to git repo; I updated commit sha1. New commits:

42e6c43build/pkgs/ecl/spkg-install.in: Add test for makeinfo -c

@dimpase
Copy link
Member

dimpase commented Jul 26, 2020

Reviewer: Dima Pasechnik

@dimpase
Copy link
Member

dimpase commented Jul 26, 2020

comment:13

lgtm

@vbraun
Copy link
Member

vbraun commented Aug 2, 2020

Changed branch from u/mkoeppe/ecl_20_4_24__more_trouble_with_makeinfo to 42e6c43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants