k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Dear Sir,

i contacted Professor Grigore for an issue with installing K-framework and he asked me to contact you regarding that problem.

i installed the source code of K-framework from this website "https://code.google.com/p/k-framework/wiki/Downloads?tm=2" and when i compiled it, it took about one hour and finally i get the following error

" BUILD FAILED

/home/yehia/k-framework/build.xml:147: The following error occurred while executing this line:

/home/yehia/k-framework/tests/tools/Testing/build.xml:6: Java returned: 1

Total time: 64 minutes 44 seconds

root@ubuntu:~/k-framework# "

what i exactly did is as follows:

1- svn checkout https://k-framework.googlecode.com/svn/trunk k-framework --username (my user name)

2- i call "ant" in the base directory then the build succeeded

2- i called "ant release" in the base directory then i got this messeage " BUILD FAILED

/home/yehia/k-framework/build.xml:147: The following error occurred while executing this line:

/home/yehia/k-framework/tests/tools/Testing/build.xml:6: Java returned: 1

Total time: 64 minutes 44 seconds

root@ubuntu:~/k-framework# "

note: i'm using Ubuntu OS and i tried many things and nothing worked with me. even when i tried the binary packages, it didn't work with me.

can you please explain how to install and configure K-Framework on Ubuntu?

Thank You

Yehia Abd Alrahman
PhD Student, SysMA Research Unit

IMT Alti Studi Lucca

Piazza San Francesco 19,

[K-user] Fwd: Installing K-Tool issue, Yehia Moustafa Abd Arrahman, 03/04/2014
- Re: [K-user] Fwd: Installing K-Tool issue, Traian Florin Şerbănuţă, 03/04/2014