K-user mailing list

[zhangfan <zhangfan AT nwpu.edu.cn>]

Hi, I followed the INSTALL of the k-framework,  and when go into the $K_BASE/tools/krun, there are some error messages like below:

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

frank@debian:~/k-framework/tools/language-k$ cd $K_BASE/tools/krun

frank@debian:~/k-framework/tools/krun$ cabal install

Resolving dependencies...

cabal: Could not resolve dependencies:

trying: krun-0.3.0 (user goal)

trying: parsec-3.1.2/installed-ad4... (dependency of krun-0.3.0)

trying: mtl-2.1.1/installed-ae9... (dependency of

parsec-3.1.2/installed-ad4...)

next goal: data-object-yaml (dependency of krun-0.3.0)

rejecting: data-object-yaml-0.3.3.6/installed-363... (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml =>

text==0.11.2.2/installed-b0a...)

rejecting: data-object-yaml-0.3.4.2, 0.3.4.1, 0.3.4 (conflict: krun =>

data-object-yaml<=0.3.3.6)

rejecting: data-object-yaml-0.3.3.6, 0.3.3.5, 0.3.3.4, 0.3.3.3 (conflict: mtl

=> transformers==0.3.0.0/installed-f23..., data-object-yaml =>

transformers>=0.2 && <0.3)

rejecting: data-object-yaml-0.3.3.2, 0.3.3.1 (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml => text>=0.7 && <0.11)

rejecting: data-object-yaml-0.3.3, 0.3.2 (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml => text>=0.7 && <0.10)

rejecting: data-object-yaml-0.3.1.1 (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml => text>=0.7 && <0.9)

rejecting: data-object-yaml-0.3.1, 0.3.0, 0.2.0.1 (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml => text>=0.7 && <0.8)

rejecting: data-object-yaml-0.2.0, 0.0.0 (conflict: parsec =>

text==0.11.2.0/installed-a62..., data-object-yaml => text>=0.5 && <0.6)

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

I guess this is something wrong for cabal dependencies in krun.cabal, how can I do to fix it.

---------------------------------
Zhang Fan
College of Computer, NorthWestern Polytechnical University
P.O.Box 404#, NWPU, Xi'an, Shaanxi, P.R.China, 710072
TEL: 86-29-8843 1530
----------------------------------------------------------