k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Unable to build KJS

From: James Koppel <jkoppel AT mit.edu>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Unable to build KJS
Date: Tue, 11 Oct 2016 19:52:10 -0400

Hello!

I've been unable to build the _javascript_ semantics. I've tried building with both K 4.0 and K 3.6, and gotten errors on both.

The KJS README says it needs a modified version of K, accessible by checking out the "kjs" branch of the K repository. However, there is no such branch. I'd appreciate help in this matter.

Sincerely,

James Koppel

MIT CSAIL

[[K-user] ] Unable to build KJS, James Koppel, 10/11/2016
- Re: [[K-user] ] Unable to build KJS, Park, Daejun, 10/11/2016
  - Re: [[K-user] ] Unable to build KJS, James Koppel, 10/12/2016
    - Re: [[K-user] ] Unable to build KJS, Park, Daejun, 10/13/2016
      - Message not available
        
        Re: [[K-user] ] Unable to build KJS, Park, Daejun, 10/14/2016
        
        Re: [[K-user] ] Unable to build KJS, James Koppel, 10/15/2016