K-user mailing list

[Stephen Chang <stchang AT ccs.neu.edu>]

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'