K-user mailing list

[Mark Hills <Mark.Hills AT cwi.nl>]

Hi Hossein,

The message you are getting looks like K_BASE is expanding to the empty 
string, which would happen if it isn't set. This probably means that you 
haven't exported K_BASE, just set it in the current shell. Can you try 
exporting it and see what happens? 

Cheers,

Mark

----- Original Message -----
From: "Andrei Arusoaie" 
<andrei.arusoaie AT gmail.com>
To: "Seyed H. HAERI (Hossein)" 
<hossein.haeri AT gmail.com>
Cc: 
k-user AT cs.uiuc.edu
Sent: Tuesday, February 7, 2012 2:55:05 PM
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 

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