Installing K on MacOS Moterey over Intel

[ChristianoBraga]

While building K/KPlutus on MacOS Moterey over Intel I needed to do some additional steps wrt those listed in K's documentation:

• llvm: make sure you install llvm@14, not llvm@15 that homebrew installs by default.
• openssl: install openssl@3. I had openssl@1.1 in my system.
• secp256k1: I needed to build it from source, and for that I needed to install GNU's autotools using homebrew.
  • brew install autoconf
  • brew install automake While building secp256k1, I run:
  • ./configure --enable-module-recovery in the appropriate step.

I am not sure if I should open a different issue, but I guess I can edit this one afterwards if necessray. While building llvm backend, I got the following warning message:

warning: Unsupported attribute form DW_FORM_rnglistx in cloneAttribute. Dropping.
note: while processing /Users/cbraga/Documents/RV/plutus-core-semantics/.build/usr/lib/kplutus/llvm/uplc-kompiled/tmp.Uxew7Vwv9q/asm.o

Right after that, the building process tries to build the Haskell back end. Then I got the following error:

[Error] Critical: Could not start z3 process (IOException: Cannot run program "z3": error=24, Too many open files)
make: *** [.build/usr/lib/kplutus/haskell/uplc-kompiled/definition.kore] Error 113

That of course interrupted the building process. But then running make build again, the Haskell backend built properly. I was able to run all basic tests for KPlutus after that.

[radumereuta]

We could at least add instructions about needing to install llvm14.

[Baltoli]

https://github.com/runtimeverification/k/pull/2982 addresses the part of this that deals directly with the K dependencies. As far as I can see, the other issues are with Plutus dependencies and so should be updated in the README there. @gtrepta perhaps the best person to look at doing that?

The open files issue is a well-documented problem on macOS, I believe. I'm not sure what the best solution other than re-running it is.