k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] How do I use the LLVM backend?

From: Markus Völter <voelter AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] How do I use the LLVM backend?
Date: Tue, 13 Nov 2018 22:47:37 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=voelter AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hi,

I am new to K and I am making progress with my first programs.

Grigore suggested I use the LLVM backend, I guess by specifying
--backend llvm for kompile. But I get an error that llvm-kompile is
missing. I guess I have to install https://github.com/kframework/llvm-backend

However, there is no readme and no release. Any suggestions on
how I install this on a Mac?

Thx,
Markus

--
Dr. Markus Völter

voelter - ingenieurbüro für softwaretechnologie
voelter AT acm.org
| +49 (0) 171 / 86 01 869

http://voelter.de -- personal website incl. papers, talks, books
http://voelter.de/essays -- writings on language engineering
http://omegataupodcast.net -- science and engineering podcast

[[K-user] ] How do I use the LLVM backend?, Markus Völter, 11/13/2018
- Re: [[K-user] ] How do I use the LLVM backend?, Dwight Guth, 11/13/2018
  - Re: [[K-user] ] How do I use the LLVM backend?, Markus Völter, 11/14/2018