K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Hello,

You shouldn't run our Makefile as root.

Make sure $K_BASE is set correctly and remove $K_BASE/tools/maude-hs
(doing so may require root). Then try to 'make' again, without root.

Please let us know whether or not this works.

Cheers,
David


On Fri, Nov 11, 2011 at 5:08 PM, Stephen Chang 
<stchang AT ccs.neu.edu>
 wrote:
> Hello!
>
> I am trying to install K but I got some errors and I was hoping this
> list would be able to help me fix them. I pasted the compilation
> output below. I am running ubuntu 11.10.
>
> I am following the installation directions here:
> http://code.google.com/p/k-framework/source/browse/trunk/INSTALL
>
> I tried compiling a few times and it seemed to run into a problem with
> permissions, so then I tried compiling as superuser but still got
> errors. Seems like some directories in /tools/ never got created.
> Also, there is no rule for "make clean". Has anyone seen these errors
> before?
>
>
>
> stchang@caprica:~/k-framework$
>  make -C $K_BASE
> make: Entering directory `/home/stchang/k-framework'
> make[1]: Entering directory `/home/stchang/k-framework/core/java'
> javac -target 1.5 -source 1.5 IOServer/src/*/*.java -d IOServer/bin
> jar cfm ioserver.jar IOServer/Manifest.txt -C IOServer/bin .
> javac Wrapper/src/*/*.java -d Wrapper/bin -cp 
> IOServer/bin:jopt-simple-3.3.jar
> jar cfm wrapperAndServer.jar Wrapper/Manifest.txt -C IOServer/bin . -C
> Wrapper/bin .
> make[1]: Leaving directory `/home/stchang/k-framework/core/java'
> make[1]: Entering directory `/home/stchang/k-framework/tools/krun'
> make[2]: Entering directory `/home/stchang/k-framework/tools/krun'
> Not trusting file /tools/maude-hs/.hg/hgrc from untrusted user root, group 
> root
> Not trusting file .hg/hgrc from untrusted user root, group root
> Not trusting file /tools/maude-hs/.hg/hgrc from untrusted user root, group 
> root
> Not trusting file /tools/maude-hs/.hg/hgrc from untrusted user root, group 
> root
> abort: repository default not found!
> make[2]: *** [try-install] Error 255
> make[2]: Leaving directory `/home/stchang/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 `/home/stchang/k-framework/tools/krun'
> make: *** [all] Error 2
> make: Leaving directory `/home/stchang/k-framework'
>
>
> stchang@caprica:~/k-framework$
>  sudo make -C $K_BASE
> [sudo] password for stchang:
> make: Entering directory `/home/stchang/k-framework'
> make[1]: Entering directory `/home/stchang/k-framework/core/java'
> make[1]: `all' is up to date.
> make[1]: Leaving directory `/home/stchang/k-framework/core/java'
> make[1]: Entering directory `/home/stchang/k-framework/tools/krun'
> make[2]: Entering directory `/home/stchang/k-framework/tools/krun'
> pulling from http://code.google.com/p/maude-hs
> searching for changes
> no changes found
> Resolving dependencies...
> Configuring maude-0.2.2...
> Preprocessing library maude-0.2.2...
> Building maude-0.2.2...
> Registering maude-0.2.2...
> Installing library in /home/stchang/.cabal/lib/maude-0.2.2/ghc-7.0.3
> Registering maude-0.2.2...
> cd: 1: can't cd to /tools/language-k
> Resolving dependencies...
> Configuring krun-0.3.0...
> Preprocessing executables for krun-0.3.0...
> Building krun-0.3.0...
> [1 of 6] Compiling KRun.XPath       ( src/KRun/XPath.hs,
> dist/build/krun/krun-tmp/KRun/XPath.o )
> [2 of 6] Compiling KRun.Types       ( src/KRun/Types.hs,
> dist/build/krun/krun-tmp/KRun/Types.o )
> [3 of 6] Compiling KRun.InitialValueParser (
> src/KRun/InitialValueParser.hs,
> dist/build/krun/krun-tmp/KRun/InitialValueParser.o )
> [4 of 6] Compiling Distribution.Desk.Utils (
> src/Distribution/Desk/Utils.hs,
> dist/build/krun/krun-tmp/Distribution/Desk/Utils.o )
> [5 of 6] Compiling Data.Configuration ( src/Data/Configuration.hs,
> dist/build/krun/krun-tmp/Data/Configuration.o )
> [6 of 6] Compiling Main             ( src/KRun/Main.hs,
> dist/build/krun/krun-tmp/Main.o )
> Linking dist/build/krun/krun ...
> Installing executable(s) in /home/stchang/.cabal/bin
> cd: 1: can't cd to /tools/krun
> Resolving dependencies...
> Configuring krun-0.3.0...
> Preprocessing executables for krun-0.3.0...
> Building krun-0.3.0...
> Installing executable(s) in /home/stchang/.cabal/bin
> cp: cannot stat `/tools/krun/dist/build/krun/krun': No such file or 
> directory
> make[2]: *** [try-install] Error 1
> make[2]: Leaving directory `/home/stchang/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 `/home/stchang/k-framework/tools/krun'
> make: *** [all] Error 2
> make: Leaving directory `/home/stchang/k-framework'
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>