K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi Mark,

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

My understanding is that I have to use sudo given the following access denial:

hossein@ubuntu:~/Sources/k-framework$
 make -C $K_BASE
make: Entering directory `/home/hossein/Sources/k-framework'
make[1]: Entering directory `/home/hossein/Sources/k-framework/core/java'
make[1]: `all' is up to date.
make[1]: Leaving directory `/home/hossein/Sources/k-framework/core/java'
make[1]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
make[2]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
Resolving dependencies...
Downloading ansi-terminal-0.5.5...
Downloading deepseq-1.3.0.0...
Downloading transformers-0.2.2.0...
cabal: /home/hossein/.cabal/logs: permission denied
make[2]: *** [try-install] Error 1
make[2]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
-e \e[91mNOTE: Please type `make clean` followed by `cabal update` and
try again before reporting any errors.\e[0m
make[1]: *** [install] Error 1
make[1]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
make: *** [all] Error 2

Am I missing anything?

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