K-user mailing list

[Kyle Blocher <kdblocher AT gmail.com>]

After talking with David, still problems getting this to work...

ok, bottom of my .bashrc file:

---

export K_BASE="/usr/local/bin/k-framework"

export PATH="/usr/local/bin/maude:$K_BASE/core:$PATH"

then at a clean prompt:

---

kyle@kblocher:~$ cd $K_BASE;echo $PATH

/usr/local/bin/maude:/usr/local/bin/k-framework/core:/usr/lib/lightdm/lightdm:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games

kyle@kblocher:/usr/local/bin/k-framework$ sudo make -C $K_BASE

[sudo] password for kyle: 

make: Entering directory `/usr/local/bin/k-framework'

make[1]: Entering directory `/usr/local/bin/k-framework/core/java'

make[1]: `all' is up to date.

make[1]: Leaving directory `/usr/local/bin/k-framework/core/java'

make[1]: Entering directory `/usr/local/bin/k-framework/tools/krun'

make[2]: Entering directory `/usr/local/bin/k-framework/tools/krun'

cabal update

Downloading the latest package list from hackage.haskell.org

cd: 1: can't cd to /tools/language-k

Resolving dependencies...

cabal: dependencies conflict: language-k-0.2.0 requires attoparsec ==0.9.1.2

however

attoparsec-0.9.1.2 was excluded because krun-0.3.0 requires attoparsec

>=0.10.0.0

make[2]: *** [try-install] Error 1

make[2]: Leaving directory `/usr/local/bin/k-framework/tools/krun'

-e \e[91mNOTE: Please type `make clean` followed by `cabal update` and try again before reporting any errors.\e[0m

make[1]: *** [install] Error 1

make[1]: Leaving directory `/usr/local/bin/k-framework/tools/krun'

make: *** [all] Error 2

make: Leaving directory `/usr/local/bin/k-framework'

kyle@kblocher:/usr/local/bin/k-framework$ 

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

On Mon, Feb 20, 2012 at 4:38 AM, Rosu, Grigore <grosu AT illinois.edu> wrote:

What are we doing wrong in the INSTALL instructions that so many people have the same problem over and over again?  Has anybody addressed this specific issue there clearly?

Grigore



________________________________________
From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of David Lazar [lazar6 AT illinois.edu]
Sent: Monday, February 20, 2012 1:45 AM
To: Kyle Blocher
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Problems with installation

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
>

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

_______________________________________________
k-list mailing list
k-list AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-list