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
