K-user mailing list

[Kyle Blocher <kdblocher AT gmail.com>]

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
>
>