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
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 <zhangdandan@loongson.cn> writes:
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 <zhangdandan@loongson.cn> writes:
Greetings! I have gained access to a machine in the gcc compile farm for this arch. configure is failing due to missing header files. If you happen to be able to point me to a contact to address this I'd be most appreciative! Take care, wuruilong <wuruilong@loongson.cn> writes:
Greetings! I have gained access to a machine in the gcc compile farm for this arch. configure is failing due to missing header files. If you happen to be able to point me to a contact to address this I'd be most appreciative! Take care, wuruilong <wuruilong@loongson.cn> writes:
Hi Camm Maguire, > Greetings! I have gained access to a machine in the gcc compile farm > for this arch. configure is failing due to missing header files. If > you happen to be able to point me to a contact to address this I'd be > most appreciative! > Please continue to contact me. During this time, we have added LoongArch support to gcl source code locally, but we did not receive a response after sending an email with patch to gcl upstream. Currently, the compilation dependency that acl2 does not satisfy is gcl. Could you help me? Dandan Zhang
Greetings, and thank you so much for your sustained interest in this. Could you please point me again to the patch? I don't think I saw it. Some time ago I did get the loong64 box to the gcl compilation stage and determined that the reloc records for this arch are substantially different from mips and need extensive work and testing. The files that needs producing are akin to h/elf64_mips_reloc.h and h/elf64_mips_reloc_special.h. I'm hoping these were in your patch. If not, I can produce them but it will take some time and reading of the reloc documentation for this new architecture. As you can see, the files are simple and need only cover the reloc records output by gcc. We can also add default gcc compile switches to make the job easier if less optimal. Veneers can be supported. One of the most complicated examples to look at are the 32bit mips files. Take care, zhangdandan <zhangdandan@loongson.cn> writes:
Hi, On Wed, 26 Jun 2024 08:22:19 -0400 Camm Maguire wrote: > Greetings, and thank you so much for your sustained interest in this. > > Could you please point me again to the patch? I don't think I saw it. Please review the patch from bug https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061384#5. > Some time ago I did get the loong64 box to the gcl compilation stage and > determined that the reloc records for this arch are substantially > different from mips and need extensive work and testing. The files that > needs producing are akin to h/elf64_mips_reloc.h and > h/elf64_mips_reloc_special.h. I'm hoping these were in your patch. If > not, I can produce them but it will take some time and reading of the > reloc documentation for this new architecture. 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
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-loongarch@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
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1061384@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <camm@debian.org> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Wed, 14 May 2025 08:36:42 -0400
Source: acl2
Architecture: source
Version: 8.6+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Closes: 436372 1061384 1083157 1096276
Changes:
acl2 (8.6+dfsg-3) unstable; urgency=medium
.
* build-dep latest gcl
* lintian cleanups
* Bug fix: "Includes non-free RFC again", thanks to Bastian Germann
(Closes: #1083157).
* Bug fix: "add support for loongarch64", thanks to zhangdandan (Closes:
#1061384).
* Bug fix: "ftbfs with GCC-15", thanks to Matthias Klose (Closes:
#1096276).
* Bug fix: "not handling nostrip build option (policy 10.1) sid/i386",
thanks to Julien Danjou (Closes: #436372). nostrip obsolete in favor
of dh_strip/dbgsym, no longer mentioned in policy.
Checksums-Sha1:
acff64c8bf4865164a893976dd4d989a98f7d702 2288 acl2_8.6+dfsg-3.dsc
cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz
00b98809fb421bf18fb870b78fac94ce29c07b1a 7753 acl2_8.6+dfsg-3_source.buildinfo
Checksums-Sha256:
03d2d39337b16ef4e42d11ff10e86fe529a49389f929dbbe81c2c8db4a3444aa 2288 acl2_8.6+dfsg-3.dsc
39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200 acl2_8.6+dfsg-3.debian.tar.xz
cc4c946fc3833481cf9d54724677c56531d17284f3862c01189e960fbcc1e94c 7753 acl2_8.6+dfsg-3_source.buildinfo
Files:
955e72fd7bdba67f5a75a405a4e6adb6 2288 math optional acl2_8.6+dfsg-3.dsc
07db5025e350c50aabd886f7e9c49235 711200 math optional acl2_8.6+dfsg-3.debian.tar.xz
f3b19cac623f85d89926bc930196f13d 7753 math optional acl2_8.6+dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknykACgkQuEXOUQ+b
cU206BAAm561lL80pEbnchLYMEgo9vg/LakPQy8EWRZzFpjkf+JUL/Grfj92B8GW
zTSavL9M9wQqIeK5wm/Ox6IZxJxmMmsraZE9kbGT8yIs+WvZUZmyZAiCpLlNqFmz
XFxsrowCYfQF+gpnI2wo781/EkFkcl7pOTgnXzed6sjutjRyJDQbb42mVsYAGtND
LLM4dCs9aYq4fvBtlNIbcgl+se5pUTQpY8m0cgcdEC5Odslae9VV8GVqK4CEU/SC
kptCUlroMRIF5y5W2o5p1lQFclQG843Uzma1+rDhSqLqOa0xghzsxFtrTZ0oSym/
v43/NlntqrojGrkx59IuDvf3oFB3j3Uv6u/idqud2lFZ3GZTU9ywAuZk28lEHJ1g
Y4Xrq2ihueFm1LIji8VILafaBpF1tN9JulFRQNob6qhmZZfOgq59NCvs5tvbND7x
eeFHksb+jisiZ2IzOMGgAgiBPrbTan8yGSuuLosZlJZh/Up78uwD8PI7zC2UE6O4
rTD2ARhiA0QB+zzqJTbycuM0iEb7rVGIszbO2i1tIJISFaRmCn7yDUkjvRuqYehC
Zb0Cm/CxjHxhqCnRW7lCVKD120vsC3iCQIi18wrw/MR2nmPRqMUCLl7qOe4ZKgDc
lWJMdi6Lnh3D7y+mjFGqdvX3aJ/J5OaMeKthxazBO3pd09nbflg=
=WqAY
-----END PGP SIGNATURE-----