k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- 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.
>
- [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Traian Florin Șerbănuță, 11/12/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/13/2011
- Re: [K-user] problems with installing K, David Lazar, 11/14/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
- Re: [K-user] problems with installing K, Stephen Chang, 11/11/2011
- Re: [K-user] problems with installing K, David Lazar, 11/11/2011
Archive powered by MHonArc 2.6.16.