K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Hi,

This issue should be fixed now. Update to the latest revision of the
code and let us know if you run into any other problems.

Cheers,
David

On Tue, Jun 19, 2012 at 2:21 AM, zhangfan 
<zhangfan AT nwpu.edu.cn>
 wrote:
> 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
> ----------------------------------------------------------
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>