K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Kyle,

Can you make sure K_BASE is *exported* properly?

That is, `export K_BASE=...`.

Thanks,
David

On Sun, Feb 19, 2012 at 11:48 PM, Kyle Blocher 
<kdblocher AT gmail.com>
 wrote:
> Hi,
>
> My system (Ubuntu 11.4) failed to run "cd tools/language-k and tools/krun"
> when I tried to run make -C.  I went to language-k and ran cabal manually,
> that seemed to work and the rest of the installation process succeeded.
> However, when I try to run /tests/regression/make it fails:
>
> kyle@kblocher:~/k-framework/tests/regression$
>  make
> Testing agents...
> make[1]: Entering directory `/home/kyle/k-framework/tests/regression/agents'
> Makefile:15: /tools/make-helper.mk: No such file or directory
> make[1]: *** No rule to make target `/tools/make-helper.mk'.  Stop.
> make[1]: Leaving directory `/home/kyle/k-framework/tests/regression/agents'
> make: *** [agents] Error 2
> kyle@kblocher:~/k-framework/tests/regression$
>
> I've moved the k-framework directory to my home dir from /usr/local/bin
> where I had it originally, same error.
>
> Kyle D. Blocher
> Ph.D Student, University of Illinois Urbana-Champaign
> Software Consultant, Blocher Consulting, LLC
> (812)-340-2111
> kdblocher AT gmail.com,
>  
> blocher1 AT illinois.edu
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>