K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

I'm glad we figured it out :-).

Please don't hesitate to ask more questions as you start to use the K 
framework.

Cheers,
David

2011/11/13 Stephen Chang 
<stchang AT ccs.neu.edu>:
> 2011/11/12 Traian Florin Șerbănuță 
> <tserban2 AT illinois.edu>:
>> I remember this sometimes happened when I did not "exported" K_BASE,
>> but only set it in .profile.
>
> This was the problem. I knew I was doing something dumb :) Thank you
> David and Traian for taking the time to help me.
>
>
>
>
>
>
>> Could also have to do with the .profile not being executed.  Does
>>  echo $K_BASE give you the right answer?
>> if so, you could probably use
>>  make K_BASE=$K_BASE
>> but there should be another simpler way to make the environment vars
>> recognizable by make...
>>
>> best wishes,
>> - traian
>>
>>
>> 2011/11/11 David Lazar 
>> <lazar6 AT illinois.edu>:
>>> That is bizarre. Can you also send the output of "make --version" and
>>> "echo $SHELL"?
>>>
>>> Since make is behaving weirdly, you can simply run the commands make
>>> would have performed by hand:
>>>
>>> rm -rf $K_BASE/tools/maude-hs
>>> hg clone http://code.google.com/p/maude-hs $K_BASE/tools/maude-hs
>>> cd $K_BASE/tools/maude-hs; cabal install
>>> cd $K_BASE/tools/language-k; cabal install
>>> cd $K_BASE/tools/krun; cabal install
>>> cp $K_BASE/tools/krun/dist/build/krun/krun $K_BASE/core
>>>
>>> I apologize for the hassle.
>>>
>>> Thanks,
>>> David
>>>
>>> On Fri, Nov 11, 2011 at 7:43 PM, Stephen Chang 
>>> <stchang AT ccs.neu.edu>
>>>  wrote:
>>>> Same error. Here is the output you requested. Seems like $K_BASE isn't
>>>> set in that context (but is in others). weird.
>>>>
>>>> stchang@caprica:~/k-framework$
>>>>  cd $K_BASE/tools/krun
>>>>
>>>> stchang@caprica:~/k-framework/tools/krun$
>>>>  make debug-vars
>>>> K_BASE is set to:
>>>>
>>>> Testing if /tools/maude-hs exists:
>>>> It does not exist.
>>>>
>>>> stchang@caprica:~/k-framework/tools/krun$
>>>>  echo $K_BASE
>>>> /home/stchang/k-framework
>>>>
>>>>
>>>>
>>>> On Fri, Nov 11, 2011 at 8:34 PM, David Lazar 
>>>> <lazar6 AT illinois.edu>
>>>>  wrote:
>>>>> Hi Stephen,
>>>>>
>>>>> I made yet another change which I hope will fix the problem.
>>>>>
>>>>> Try 'svn up' and then 'make'. You do not have to wait to update; the
>>>>> latest tag already contains my changes.
>>>>>
>>>>> If that doesn't work, please paste the output of this command: "cd
>>>>> $K_BASE/tools/krun && make debug-vars".
>>>>>
>>>>> Thanks,
>>>>> David
>>>>>
>>>>> On Fri, Nov 11, 2011 at 6:57 PM, Stephen Chang 
>>>>> <stchang AT ccs.neu.edu>
>>>>>  wrote:
>>>>>>> I'm not entirely sure what the problem is. I've committed a change
>>>>>>> that may fix it. Try doing 'svn up' in $K_BASE and then 'make' again.
>>>>>>
>>>>>> Unfortunately, I'm still getting the same error.
>>>>>>
>>>>>
>>>>
>>> _______________________________________________
>>> k-user mailing list
>>> k-user AT cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>>
>>
>