K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Dear all,

Following the instructions for installing the K Framework on my KUbuntu:

http://code.google.com/p/k-framework/source/browse/trunk/INSTALL

I made it until "## Install the K Framework". Thereafter, when I try
to make my K-BASE directory, I get some error messages that I don't
know how to fix. (Please see the P.S. for the complete run of the
command.) Any idea?

As far as I know, both my cabal and krun are up-to-date. Yet, by all
means, feel free to guide me on how to verify that; I'm not that
fluent in Linux after all...

 TIA,
 --Hossein

 P.S.

 
hossein@ubuntu:~/Sources/k-framework$
 sudo make -C $K_BASE
 [sudo] password for hossein:
 make: Entering directory `/home/hossein/Sources/k-framework'
 make[1]: Entering directory `/home/hossein/Sources/k-framework/core/java'
 make[1]: `all' is up to date.
 make[1]: Leaving directory `/home/hossein/Sources/k-framework/core/java'
 make[1]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
 make[2]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
 cd: 1: can't cd to /tools/language-k
 Resolving dependencies...
 cabal: cannot configure krun-0.3.0. It requires language-k -any
 There is no available version of language-k that satisfies -any
 make[2]: *** [try-install] Error 1
 make[2]: Leaving directory `/home/hossein/Sources/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/hossein/Sources/k-framework/tools/krun'
 make: *** [all] Error 2
 make: Leaving directory `/home/hossein/Sources/k-framework'

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------