K-user mailing list

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

Hi Grigore,

OK, I'll keep looking forward that...

TTFN,
--Hossein

On 7 February 2012 14:59, Rosu, Grigore 
<grosu AT illinois.edu>
 wrote:
> Hi Hossein,
>
>
>
> You will eventually get all the help you need.  The USA members of our
> project will be up soon and ready to help.
>
>
>
> Guys (the K team), we should fix this ASAP.  I would say that we should fix
> it first, and then ask Hossein svn up and make again.  This is the clean
> solution to this problem.  Andrei's suggestion may solve the problem
> locally, but we need the clean solution as well.
>
>
>
> Thanks,
>
> Grigore
>
>
> ________________________________
> From: 
> k-user-bounces AT cs.uiuc.edu
>  
> [k-user-bounces AT cs.uiuc.edu]
>  on behalf of
> Andrei Arusoaie 
> [andrei.arusoaie AT gmail.com]
> Sent: Tuesday, February 07, 2012 7:55 AM
> To: Seyed H. HAERI (Hossein)
> Cc: 
> k-user AT cs.uiuc.edu
> 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
>



-- 
--------------------------------------------------------------------------------------------------------------

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