K-user mailing list

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

I appreciate the help.

svn up didnt seem to retrieve anything new. This is the repository I
checked out:

svn checkout http://k-framework.googlecode.com/svn/tags/latest/ k-framework

Is it the right one?



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