Hi
On Tue, 20 Feb 2024 17:54:32 -0500 Camm Maguire wrote:
> Greetings, and thanks for your reports! GCL is the key to porting these
> programs and more. Is there any remote ssh access to a machine on which
> I may implement this?
>
> Take care,
>
> zhangdandan writes:
>
> > Source: acl2
> > Version: 8.5dfsg-5
> > Severity: wishlist
> > Tags: patch
> > User: debian-loonga...@lists.debian.org
> > Usertags: loong64
> >
> > Dear maintainers,
> >
> > Maybe we need to add LoongArch support in
> > books/kestrel/x86/parsers/parse-pe-file.lisp.
> > Refer to riscv64, please consider the patch I have attached.
> > If you have better modification suggestions, please help us fix
this patch.
> >
> > I would like to remind you that the compilation dependency of acl2 is
> > not yet satisfied. Depends on the gcl ( >= 2.6.14-1) package when
> > compiling acl2.
> > If you have any questions, you can contact me at any time.
> >
> > thanks,
> > Dandan Zhang
As you said on Bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061384#31
The patch for acl2 can be found at
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061384#5
Thanks very much.
gcl and gcl27 were available on loong64.
gcl: https://buildd.debian.org/status/package.php?p=gcl&suite=sid
gcl27: https://buildd.debian.org/status/package.php?p=gcl27&suite=sid
Best regards,
Dandan Zhang
