[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33920] [PATCH] gnu: Add gauche.
From: |
Ludovic Courtès |
Subject: |
[bug#33920] [PATCH] gnu: Add gauche. |
Date: |
Sun, 13 Jan 2019 21:40:11 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hello,
Gabriel Hondet <address@hidden> skribis:
> On Wed 09 Jan 2019 at 16:56 Ludovic Courtès wrote:
[...]
>> Please use mirror://sourceforge here.
>
> As far as I understand, I should use
> "mirror://sourceforge/gauche/Gauche-"
> but it does not work (redirections fail with a 404 not found error).
This one appears to work:
mirror://sourceforge/gauche/Gauche/Gauche-0.9.7.tgz
Trial and error…
>>> + (substitute* '("configure"
>>> + "test/www.scm"
>>> + "config.guess"
>>> + "ltmain.sh"
>>> + "ext/tls/test.scm"
>>> + "gc/configure"
>>> + "lib/gauche/configure.scm"
>>> + "lib/gauche/package/util.scm"
>>> + "lib/gauche/process.scm")
>>> + (("/bin/sh") (which "sh")))
>>
>> This looks redundant with what the standard ‘patch-source-shebangs’ and
>> ‘configure’ phases do, no?
>
> Isn't 'patch-source-shebangs' only patching the shebangs? Because here
> I have to patch other path specifications in the source as well. On the
> other hand, for the 'setenv', you are totally right.
Oh you’re right. But at least the Autotools files (configure,
config.guess, ltmain.sh) can be omitted.
Thanks,
Ludo’.
- [bug#33920] [PATCH] gnu: Add gauche., swedebugia, 2019/01/04
- [bug#33920] [PATCH] gnu: Add gauche., Gabriel Hondet, 2019/01/05
- [bug#33920] [PATCH] gnu: Add gauche., Ludovic Courtès, 2019/01/09
- [bug#33920] [PATCH] gnu: Add gauche., Gabriel Hondet, 2019/01/12
- [bug#33920] [PATCH] gnu: Add gauche.,
Ludovic Courtès <=
- [bug#33920] [PATCH] gnu: Add gauche., Gabriel Hondet, 2019/01/15
- bug#33920: [PATCH] gnu: Add gauche., Ludovic Courtès, 2019/01/15
- [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc., Gabriel Hondet, 2019/01/16
- [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc., Gabriel Hondet, 2019/01/16
- [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc., Pierre Neidhardt, 2019/01/16
- [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc., Gabriel Hondet, 2019/01/16
- [bug#33920] [PATCH] gnu: gauche: Update to 0.9.7 - removed html doc., Pierre Neidhardt, 2019/01/17