k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Fwd: Installing K-Tool issue

From: Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro>
To: Yehia Moustafa Abd Arrahman <yehia.abdarrahman AT imtlucca.it>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Fwd: Installing K-Tool issue
Date: Tue, 4 Mar 2014 17:43:43 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello,

as already mentioned on the googlecode website, the project has moved on github.

you should check k-framework.org for up-to-date instructions, a binary release, and tutorials on using K.

best wishes,

Traian Serbanuta

2014-03-04 17:12 GMT+02:00 Yehia Moustafa Abd Arrahman <yehia.abdarrahman AT imtlucca.it>:

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,
55100 Lucca– Italy
Tel: + 39 324 6015427
E-mail: Yehia.abdarrahman AT imtlucca.it
www.imtlucca.it

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

[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