K-user mailing list

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