k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Problems with installation

From: Kyle Blocher <kdblocher AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Problems with installation
Date: Sun, 19 Feb 2012 23:48:57 -0600
Authentication-results: mr.google.com; spf=pass (google.com: domain of kdblocher AT gmail.com designates 10.50.94.228 as permitted sender) smtp.mail=kdblocher AT gmail.com; dkim=pass header.i=kdblocher AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

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] Problems with installation, Kyle Blocher, 02/19/2012
- Re: [K-user] Problems with installation, David Lazar, 02/20/2012
  - Message not available
    - Re: [K-user] Problems with installation, Kyle Blocher, 02/26/2012
      - Re: [K-user] Problems with installation, David Lazar, 02/26/2012
        
        Re: [K-user] Problems with installation, Kyle Blocher, 02/26/2012
        
        Re: [K-user] Problems with installation, David Lazar, 02/26/2012
        
        Message not available
        
        Re: [K-user] Problems with installation, Traian Florin Șerbănuță, 02/27/2012
        Re: [K-user] Problems with installation, Kyle Blocher, 02/27/2012
        
        Re: [K-user] Problems with installation, Chucky Ellison, 02/27/2012
        Re: [K-user] Problems with installation, Kyle Blocher, 02/27/2012