K-user mailing list

[Dwight Guth <dwight.guth AT runtimeverification.com>]

You need to follow the instructions in INSTALL.md in the root of the repository if you want it to work out of the box. Alternatively, since the LLVM backend is not completely ready yet for production usage, you can just pass `-Dllvm.backend.skip` to `mvn package`.

I would not recommend using github.com/kframework/k-legacy as it is completely unsupported and probably full of bugs that will never be fixed.

On Wed, Jan 23, 2019 at 11:09 AM Christos Kloukinas <c.kloukinas AT gmail.com> wrote:

Hi, I'm trying to install K from github.


I've tried both the UIUC & the RV versions:

https://github.com/kframework/k

https://github.com/runtimeverification/k


For both I've followed the instructions on UIUC but when I try "mvn
package" everything builds fine apart from LLVM Backend.

The errors are mostly the same in both versions - the common files that
are involved are:

- llvm-backend/src/main/native/llvm-backend/runtime/alloc/alloc.c

- llvm-backend/src/main/native/llvm-backend/runtime/alloc/collect.c

- llvm-backend/src/main/native/llvm-backend/include/runtime/header.h

- llvm-backend/src/main/native/llvm-backend/runtime/strings/strings.cpp

UIUC also has an issue with:

-
llvm-backend/src/main/native/llvm-backend/matching/submodules/kore/src/main/haskell/kore/src/Kore/SMT/SMT.hs


I'm attaching the output of mvn package from LLVM down.


Anyone has an idea how I could proceed here?


Best,

Chris

--

Dwight Guth

Director of Engineering

Email: dwight.guth AT runtimeverification.com