K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Hi Stephen,

I'm not entirely sure what the problem is. I've committed a change
that may fix it. Try doing 'svn up' in $K_BASE and then 'make' again.

Thanks,
David

On Fri, Nov 11, 2011 at 5:55 PM, Stephen Chang 
<stchang AT ccs.neu.edu>
 wrote:
> 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
>>>
>>
>