K-user mailing list

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