K-user mailing list

[Stephen Chang <stchang AT ccs.neu.edu>]

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