K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Hi Hossein,

 

You will eventually get all the help you need.  The USA members of our project will be up soon and ready to help.

 

Guys (the K team), we should fix this ASAP.  I would say that we should fix it first, and then ask Hossein svn up and make again.  This is the clean solution to this problem.  Andrei's suggestion may solve the problem locally, but we need the clean solution as well.

 

Thanks,

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Andrei Arusoaie [andrei.arusoaie AT gmail.com]
Sent: Tuesday, February 07, 2012 7:55 AM
To: Seyed H. HAERI (Hossein)
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Trouble with Making my $K_BASE

What I'm going to tell you now is not a nice and standard way to make it work, but you can try it..

So, the idea is that in you first email, 'make' seems to fails when it can't cd to a dir:

>make[2]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
> cd: 1: can't cd to /tools/language-k
> Resolving dependencies... 

What you can do, is to go in $K_BASE/tools/krun and edit Makefile, by replacing ${K_BASE} with " /home/hossein/Sources/k-framework ". After you did that, type make again and paste the output.

Andrei A.

2012/2/7 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

Andrei,

> What 'echo $K_BASE' says?

hossein@ubuntu:~/Sources/k-framework$ echo $K_BASE
/home/hossein/Sources/k-framework

which is the right directory as I named it in my KDE's right path.
And, what's next please?

TIA,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

--
Numai bine,

Andrei