k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] problems with installing K

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

> 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