K-user mailing list

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