K-user mailing list

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

Hi Hossein,

I didn't notice this originally -- you are running the command under sudo. 
Since sudo doesn't preserve many of your environment variables (including 
this one, which it doesn't know about), this explains why it is disappearing.

Cheers,

Mark

----- Original Message -----
From: "Seyed H. HAERI (Hossein)" 
<hossein.haeri AT gmail.com>
To: 
k-user AT cs.uiuc.edu
Sent: Tuesday, February 7, 2012 3:59:48 PM
Subject: Re: [K-user] Trouble with Making my $K_BASE

Hi Mark,

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

Thanks, but I think I'll wait until the next svn build.

TTFN,
--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