Hi Wolfgang, On Thu, 3 Jul 2025 11:57:25 -0400 Wolfgang Corcoran-Mathe via Chicken-users <chicken-users@nongnu.org> wrote:
> Hi Pietro, and thanks for your comments. > > On 2025-07-02 19:28 +0000, Pietro Cerutti wrote: >> How about having a refresh script that fetches them and generates the >> modules? You could then commit the generated modules and solve the >> compilation problem too. > > Fine by me. In fact, this is probably better, since CHICKEN doesn't > provide an easy way to fetch the files; the current script just uses > curl(1) or wget(1) via 'system'. This is certainly a likely point of > failure. > > The only issue I can see with manually refreshing the module sources > is that the egg's maintainer must remember to run the script once in a > while. I suspect this explains the current state of unicode-char-sets: > clearly the module was generated with a script, but the script hasn't > been run since 2007 & is, indeed, no longer included with the egg. > > Switching to manual refresh is easy. If people like this idea, I'll > make the necessary (minor) changes to the script & egg-file patch. Thanks for the updates to the egg. I have similar concerns as Pietro's. If I understand correctly, the approach you propose would cause reproducibility problems: the same version of the egg, given the same inputs, might produce different results, depending on the state of the stuff it fetches. All the best. Mario -- https://parenteses.org/mario