Github messages for voidlinux
 help / color / mirror / Atom feed
From: tornaria <tornaria@users.noreply.github.com>
To: ml@inbox.vuxu.org
Subject: Re: Update gap to 4.12.1
Date: Sat, 29 Oct 2022 12:42:21 +0200	[thread overview]
Message-ID: <20221029104221.OKwuZb9lF1jyQiLTkQ9F6acizmfXyIxWkmZx5FAZW3Y@z> (raw)
In-Reply-To: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-40208@inbox.vuxu.org>

[-- Attachment #1: Type: text/plain, Size: 1926 bytes --]

New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/40208#issuecomment-1295799628

Comment:
@fingolfin: you can see my update from gap 4.11.1 to 4.12.1 here https://github.com/void-linux/void-packages/pull/39876/files#diff-d5e8ac4c14235608656fe702205ba0e985de306ecc14756391643152370bfbd3

Differences from yours:
 - I had to add `autodoc` and `radiroot` pkgs that are needed for some installed packages.
 - I added a check for missing packages (meaning `./xbps-src check` will try to run gap and `LoadPackage(pkg)` for each package and complain on failure).
 - I added a patch to the testsuite so it passes without trying to hit the network (which fails since neither `curl` nor `wget` nor the `io` package are installed), so check passes.

Now I'm having trouble with sagemath  b/c of the same thing with download. There are 8 doctests failed in sage (--long) testsuite. All of them because a warning is printed (No download method is available, etc). However, the actual answers are always correct, so the download is not really needed (???).

I can think two ways forward
a. configure atlasrep to not download anything by default (how would I do that?)
b. have a data package installed in the system that contains all the stuff atlasrep might want to download. I think an issue is that the data packages are not versioned so it would be hard to keep up to date, etc.

Do you know why atlasrep is trying to download something that is not necessary to give the correct answer? What would be missing without this feature? Note that the feature won't work in a system install of gap anyway since the package wants to place the files in a system directory (there's no way we can ship a 1777 directory in `/usr` as the installer wants -- this feature can only work if the downloaded files are placed in the user homedir, preferably in `$XDG_CACHE_HOME` or similar).

  parent reply	other threads:[~2022-10-29 10:42 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-10-28 20:54 [PR PATCH] " fingolfin
2022-10-28 21:13 ` tornaria
2022-10-28 23:10 ` fingolfin
2022-10-29  0:13 ` tornaria
2022-10-29 10:42 ` tornaria [this message]
2022-10-29 11:08 ` ahesford
2022-10-29 11:08 ` [PR PATCH] [Closed]: " ahesford

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20221029104221.OKwuZb9lF1jyQiLTkQ9F6acizmfXyIxWkmZx5FAZW3Y@z \
    --to=tornaria@users.noreply.github.com \
    --cc=ml@inbox.vuxu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).