K-user mailing list

[Kyle Blocher <kdblocher AT gmail.com>]

David and I got it working last night. David is also probably a better person to tell what went wrong than I, but certainly I did not know running as sudo would hide the current user's environment.

On Feb 27, 2012 10:06 AM, "Traian Florin Șerbănuță" <tserban2 AT illinois.edu> wrote:

Kyle

It looks like you actually have the same problem as the Hossein:

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

you should not use sudo,  or if you do, you should probably export $K_BASE somewhere visible from a sudo shell.

best wishes, 

- traian

2012/2/26 Lazar, David <lazar6 AT illinois.edu>

Hm,

It seems that $K_BASE is still not being read?

>From your error output:

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

I'm not sure what's wrong with make, but the following commands will
build the Haskell dependencies manually:

cd $K_BASE/tools/language-k;
cabal install;
cd $K_BASE/tools/krun;
cabal install;

Cheers,
David

On Sun, Feb 26, 2012 at 10:55 PM, Kyle Blocher <kdblocher AT gmail.com> wrote:
> I already did svn up right before this, should have showed you. My
> revision's current.
>
> 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 Sun, Feb 26, 2012 at 10:52 PM, David Lazar <lazar6 AT illinois.edu> wrote:
>>
>> Kyle,
>>
>> You should do an 'svn up' and try again.
>>
>> Thanks,
>> David
>>
>> On Sun, Feb 26, 2012 at 10:42 PM, Kyle Blocher <kdblocher AT gmail.com>
>> wrote:
>> > 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
>> >
>> >
>
>

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