K-user mailing list

[Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>]

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