Skip to Content.
Sympa Menu

k-user - Re: [K-user] installing the latest version of K

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] installing the latest version of K


Chronological Thread 
  • From: Chucky Ellison <cme AT freefour.com>
  • To: Traian Florin Serbanuta <traian.serbanuta AT gmail.com>
  • Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] installing the latest version of K
  • Date: Thu, 12 Feb 2015 01:30:06 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

Ah I see, I was following the /INSTALL.md instructions, when apparently I was supposed to follow the src/README.md instructions.  Since the /INSTALL.md file is in the base directory of the of the repository, you might want replace it with the contents of src/README.md, and put in your zips whatever install instructions you want.  Anyone who checks out is going to look first at /INSTALL.md.  Just a friendly suggestion :)  

I'll take another crack at the install tomorrow.  Thanks Traian!

-Chucky

On Thu, Feb 12, 2015 at 1:07 AM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:
Hi Chucky,

Welcome to K!... again :)

after you run mvn package in the base directory there should be a directory

   k-distribution/target/release/k
 
which is the K distribution 

Everything described in the documentation is based to that directory, and the scripts should be run from the bin directory there, too

Also, on Windows, I find that running the batch scripts works better for me, even though most of the time I run them from the cygwin environment.

best wishes,
Traian

2015-02-12 1:49 GMT+02:00 Chucky Ellison <cme AT freefour.com>:
So I'm trying to install the latest master of K (51c11bb93be74e68d15a5e63b1262428d15e90ce) on windows 7

$ java -version
java version "1.8.0_31"
Java(TM) SE Runtime Environment (build 1.8.0_31-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.31-b07, mixed mode)

I'm using the msys2 environment (it's like a cooler cygwin).

1) the instructions seem old; there is no k/bin directory.  I think it's now meant to be k-distribution\src\main\scripts\bin.  The same is true of the Simple example directory

2)
$ kompile simple-untyped.k
/d/prog/k/k-distribution/src/main/scripts/bin/../lib/k: line 3: ulimit: stack size: cannot modify limit: Invalid argument
Error: Could not find or load main class org.kframework.main.Main

I got a similar error when I tried running the example in v3.4.

It looks like there are two errors here.  One is about setting the stack size.  It fails, but the script continues.

$ ulimit -a
core file size          (blocks, -c) unlimited
data seg size           (kbytes, -d) unlimited
file size               (blocks, -f) unlimited
open files                      (-n) 256
pipe size            (512 bytes, -p) 8
stack size              (kbytes, -s) 2025
cpu time               (seconds, -t) unlimited
max user processes              (-u) 256
virtual memory          (kbytes, -v) unlimited

FWIW:
$ uname
MSYS_NT-6.1

When it goes to run java, It looks like it's setting the classpath to be
"$(dirname "$0")/java/*"

but my $(dirname "$0") is 
/d/prog/k/k-distribution/src/main/scripts/bin/../lib
and /d/prog/k/k-distribution/src/main/scripts/bin/../lib/java doesn't exist

Did I do something wrong?  What's going on?

Thanks!
-Chucky



_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user



_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user





Archive powered by MHonArc 2.6.16.

Top of Page