K-user mailing list

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



Ok, It's no error now. thanks.

 

Regards,

Fan

 

---

----------------------------------------------------------
张凡
西北工业大学计算机学院
陕西西安西北工业大学404#，710072
TEL：029-8843 1530
---------------------------------
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
----------------------------------------------------------

 

From: David Lazar

Date: 2012-06-20 16:16

To: zhangfan

CC: k-user

Subject: Re: [K-user] problem with the k-framework install

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

>