Skip to Content.
Sympa Menu

k-user - Re: [K-user] problems with installing K

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] problems with installing K


Chronological Thread 
  • From: David Lazar <lazar6 AT illinois.edu>
  • To: Stephen Chang <stchang AT ccs.neu.edu>
  • Cc: k-user AT cs.uiuc.edu
  • Subject: Re: [K-user] problems with installing K
  • Date: Fri, 11 Nov 2011 19:34:18 -0600
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
  • List-id: <k-user.cs.uiuc.edu>

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




Archive powered by MHonArc 2.6.16.

Top of Page