K-user mailing list

[Chucky Ellison <celliso2 AT illinois.edu>]

Maybe we should add a piece of code to the makefile that says something like
if `whoami` == root, print error and stop

2012/2/27 Traian Florin Șerbănuță 
<tserban2 AT illinois.edu>:
> 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
>
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>