K-user mailing list

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

Hi Hossein,

Maybe try

K_BASE=/home/hossein/Sources/k-framework make

and see if that works? The error message shows that K_BASE is being expanded 
to the empty string, which is why I'm guessing it's an environment problem 
for some reason.

Cheers,

Mark

----- Original Message -----
From: "Seyed H. HAERI (Hossein)" 
<hossein.haeri AT gmail.com>
To: "Mark Hills" 
<Mark.Hills AT cwi.nl>
Cc: 
k-user AT cs.uiuc.edu,
 "Andrei Arusoaie" 
<andrei.arusoaie AT gmail.com>
Sent: Tuesday, February 7, 2012 3:24:47 PM
Subject: Re: [K-user] Trouble with Making my $K_BASE

Hi Mark,

> 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?

No, this doesn't seem to be the cause. I have the following line

export K_BASE=/home/hossein/Sources/k-framework

in my files at $HOME/.kde/env/. KDE automatically loads these files upon 
login:

http://userbase.kde.org/Session_Environment_Variables/en

See:

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

Cheers,
--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/
--------------------------------------------------------------------------------------------------------------