K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Stephen,

> I appreciate the help.

Thanks for your patience :-).

> 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?

You should be able to retrieve the change now. The "latest" tag
contains the most recent changes in which our test cases have passed.
The tests hadn't finished running when you attempted to update.

Thanks,
David

> 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
>>>>>
>>>>
>>>
>>
>