K-user mailing list

[Andrei Arusoaie <andrei.arusoaie AT gmail.com>]

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