K-user mailing list

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

I tried running make with a fresh checkout and I still get the same
errors. Seems like /tools/maude-hs is being used as an absolute path
when it should be relative?


stchang@caprica:~/k-framework$
 make
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'
abort: Permission denied: /tools/maude-hs
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






On Fri, Nov 11, 2011 at 6:32 PM, David Lazar 
<lazar6 AT illinois.edu>
 wrote:
> 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
>>
>