k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Trouble with Making my $K_BASE

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Trouble with Making my $K_BASE
Date: Tue, 7 Feb 2012 15:59:48 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Hi Mark,

> Maybe try
>
> K_BASE=/home/hossein/Sources/k-framework make
>
> and see if that works? The error message shows that K_BASE is being
> expanded to the empty string, which is why I'm guessing it's an environment
> problem for some reason.

Thanks, but I think I'll wait until the next svn build.

TTFN,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

Re: [K-user] Trouble with Making my $K_BASE, (continued)
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
  - Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
    - Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
      - Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        
        Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
        
        Re: [K-user] Trouble with Making my $K_BASE, Rosu, Grigore, 02/07/2012
        
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        
        Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
        
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
        Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012