search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Update dependency: plugin #239

Closed rv-jenkins closed 3 years ago

sskeirik commented 3 years ago

I'm not sure who manages the build for this.

I updated the blockchain plugin most recently. I test against KEVM; I hadn't done that for IELE. I am not used to checking for other downstream users aside from KEVM, but I will definitely do that in the future.

In any case, we now need to add build flags for openssl on the platforms that we support, since the plugin now depends on openssl at build time.

I am happy to assist with the build update if needed if we're talking about the Make or CMake build systems. I would might need help with Nix since I am less familiar with it.

ehildenb commented 3 years ago

@sskeirik if you can quickly update the build system to accomadate these changes please do so. You should not have to touch the Nix packaging, because that is only for the assembler which has it's own haskell-based build system.

sskeirik commented 3 years ago

@ehildenb @dwightguth This submodule update PR is now ready for review. It has passed the CI checks. I noticed the build is broken on my macOS box, at least, on the libff target (due to it not finding OPENSSL).

Do we know if IELE has been tested on macOS? Or perhaps my macOS box is misconfigured for this build. The macOS build instructions do seem a bit out of date.