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 <zhangdan...@loongson.cn> 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 > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah