all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Philip McGrath <philip@philipmcgrath.com>
To: Efraim Flashner <efraim@flashner.co.il>,
	65482@debbugs.gnu.org, Tim Johann <t1m@phrogstar.de>
Subject: [bug#65482] [PATCH 0/3] gnu: racket: Update to 8.10.
Date: Mon, 4 Sep 2023 17:21:54 -0400	[thread overview]
Message-ID: <d58ad376-fb9c-4b53-a88c-c1ef5fbf95eb@philipmcgrath.com> (raw)
In-Reply-To: <ZPXm-c0Rtom58aLk@pbp>

Hi,

On 9/4/23 10:17, Efraim Flashner wrote:
> On Sat, Sep 02, 2023 at 09:59:23PM -0400, Philip McGrath wrote:
>> tags 65482 + security
>> quit
>>
>> On 8/23/23 20:05, Philip McGrath wrote:
>>> Hi,
>>>
>>> In addition to updating Racket to 8.10, this patch series backports fixes
>>> merged upstream for rktboot on architectures other than x86_64 and removes
>>> a corresponding workaround from the Guix packaging.
>>>
>>> [...]
> 
> Sorry for just getting to this now. As far as it working on riscv64, the
> test suite for racket didn't pass before, so there's no real possibility
> of regression on Guix's end. Currently it fails while building
> chez-scheme-for-racket-9.9.9-pre-release.17, but if upstream didn't
> notice then that's something else.
> 
> starting phase `configure'
> source directory: "/tmp/guix-build-chez-scheme-for-racket-9.9.9-pre-release.17.drv-0/source/racket/src/ChezScheme" (relative from build: "../ChezScheme")
> build directory: "/tmp/guix-build-chez-scheme-for-racket-9.9.9-pre-release.17.drv-0/source/racket/src/build"
> configure flags: ("--disable-x11" "--threads" "-m=trv64le" "--installcsug=/gnu/store/c66pkyb1kvbi0jn1shanxrzbjvfqjmqf-chez-scheme-for-racket-9.9.9-pre-release.17-doc/share/doc/chez-scheme-for-racket-9.9.9-pre-release.17/csug" "--installreleasenotes=/gnu/store/c66pkyb1kvbi0jn1shanxrzbjvfqjmqf-chez-scheme-for-racket-9.9.9-pre-release.17-doc/share/doc/chez-scheme-for-racket-9.9.9-pre-release.17/release_notes" "--installprefix=/gnu/store/bqjwn04ix8xd9bwdni861244yza75qrf-chez-scheme-for-racket-9.9.9-pre-release.17" "ZLIB=-lz" "LZ4=-llz4" "--libkernel" "--nogzip-man-pages")
> No suitable machine type found in "../ChezScheme/boot".
> 
> Available machine types:
>    tpb64l
> 
> See "../ChezScheme/BUILDING" for ways of getting boot files.
> 
> I'll see about fixing the missing files or configure options. Don't let
> it not building on riscv64 delay this update though.
> 

Thanks for this report! I would have expected that to work, and it's 
tricky to test without hardware.

Before getting into the weeds, I agree with you that it shouldn't block 
the update, especially if it was already broken. I'm not a Guix 
committer, but as far as I'm concerned this series is ready to merge.

As far as riscv64, it looks like 
chez-scheme-for-racket-bootstrap-bootfiles created "portable bytecode" 
bootfiles ("tpb64l") instead of native riscv64 ones. You can confirm if 
that is the problem (or at least *a* problem) by checking if the 
lib/chez-scheme-bootfiles directory in the bootstrap package's output 
contains a directory named "tpb64l" instead of "trv64le".

If that is indeed the problem, most likely either there is a bug in my 
change to rktboot's auto-detection or there were additional 
auto-detection bugs I didn't find.

One way things could have gone wrong is if Racket BC returned something 
unexpected from (system-library-subpath #f). It would help to confirm 
the results of that, (system-type 'os*), and (system-type 'arch).

In principle, if the problem is only with rktboot's auto-detection, it 
should work to just keep supplying the explicit --machine flag for now, 
i.e. drop patch 3/3 from this series.

Racket doesn't have CI on riscv64 or distribute builds for it, but 
Matthew Flatt did share a nice screenshot earlier this summer of 
DrRacket running on a STAR64 :)

Philip




  reply	other threads:[~2023-09-04 21:23 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-24  0:05 [bug#65482] [PATCH 0/3] gnu: racket: Update to 8.10 Philip McGrath
2023-08-24  0:08 ` [bug#65482] [PATCH 1/3] " Philip McGrath
2023-08-24  0:08 ` [bug#65482] [PATCH 2/3] gnu: racket: Declare OpenSSL search paths Philip McGrath
2023-08-24  0:08 ` [bug#65482] [PATCH 3/3] gnu: chez-scheme-for-racket-bootstrap-bootfiles: Remove workaround Philip McGrath
2023-08-31 19:16 ` [bug#65482] Racket 8.10 on aarch64 Tim Johann
2023-09-03  1:59 ` [bug#65482] [PATCH 0/3] gnu: racket: Update to 8.10 Philip McGrath
2023-09-04 14:17   ` Efraim Flashner
2023-09-04 21:21     ` Philip McGrath [this message]
2023-09-08  6:12       ` bug#65482: " Efraim Flashner
2023-09-11  4:32         ` [bug#65482] " Philip McGrath

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=d58ad376-fb9c-4b53-a88c-c1ef5fbf95eb@philipmcgrath.com \
    --to=philip@philipmcgrath.com \
    --cc=65482@debbugs.gnu.org \
    --cc=efraim@flashner.co.il \
    --cc=t1m@phrogstar.de \
    /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.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.