digama0 / mm-hammer

A tool for automatically proving Metamath theorems using ATPs
9 stars 2 forks source link

Unable to Build mm-hammer on ARM64 Due to Missing `hhutils` Binaries #2

Open volisoft opened 4 days ago

volisoft commented 4 days ago

I'm attempting to build mm-hammer on an ARM64 platform (Linux 6.11.0 aarch64 GNU/Linux), but I'm encountering exec format errors with hhutils and vampire.

Could you provide:

  1. Sources for hhutils, or
  2. ARM64 compatible binaries for hhutils?

Thank you for your assistance.

digama0 commented 4 days ago

@JUrban I also want to know the answer to this question.