K-user mailing list

[Andreas Stahlbauer <stahlbau AT fim.uni-passau.de>]

Hi,

I would love to use K for one of my projects. Is there a way to get 
it compiling without the LLVM backend? Would there be an old 
version that does not require it? (working on macOs).

Thank you and best regards from Passau,

Andreas

[INFO]
[INFO] K Framework Tool Parent ............................ SUCCESS [  0.367 
s]
[INFO] K Framework KORE ................................... SUCCESS [  2.420 
s]
[INFO] K Framework Tool Kernel ............................ SUCCESS [ 26.406 
s]
[INFO] K Framework KTree .................................. SUCCESS [  0.029 
s]
[INFO] K Framework Ocaml Backend .......................... SUCCESS [  0.037 
s]
[INFO] K Framework Java Backend ........................... SUCCESS [  2.736 
s]
[INFO] K Framework Haskell Backend ........................ SUCCESS [  4.064 
s]
[INFO] K Framework LLVM Backend Pattern Matching .......... SUCCESS [  0.107 
s]
[INFO] K Framework LLVM Backend ........................... FAILURE [  0.662 
s]
[INFO] K Framework Tool Distribution ...................... SKIPPED
[INFO] 
------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] 
------------------------------------------------------------------------
[INFO] Total time:  39.286 s
[INFO] Finished at: 2019-10-31T08:28:20+01:00
[INFO] 
------------------------------------------------------------------------
[ERROR] Failed to execute goal 
org.apache.maven.plugins:maven-antrun-plugin:1.7:run (build-llvm) on project 
llvm-backend: An Ant BuildException has occured: exec returned: 1

--
Andreas Stahlbauer

University of Passau
Chair of Software Engineering II 
Innstraße 33, 94032 Passau

Phone: +49 851 509 3198
Room: 126 IM