Menu
▾
▴
Re: [CZT-Devel] [czt-devel] New Member and Question.
|
From: Chang X. <aub...@ou...> - 2015-08-08 09:04:36
|
Hi Mark,
Thanks for your suggestion.
I tried several times again and seems found the problem.
First, I reinstalled the M2Eclipse Plugin to the latest version(1.6), and installed maven-jflex-plugin(1.2).
Second, I import the whole czt-code project, and installed all the plug-ins required. Eclipse found those plug-ins successfully this time! But the only xml-maven-plugin cannot be found this time.
So after I've imported the project, I tried to install the XML transformer from the eclipse 'install new software' menu, then I got this error:
The error message is:
Cannot complete the install because of a conflicting dependency. Software being installed: m2e Connector for XML Transform 1.0.0 (nl.mwensveen.m2e.extras.xml.transform.feature.feature.group 1.0.0) Software currently installed: m2e - Maven Integration for Eclipse (includes Incubating components) 1.6.1.20150625-2338 (org.eclipse.m2e.feature.feature.group 1.6.1.20150625-2338) Only one of the following can be installed at once: Maven Integration for Eclipse JDT 1.4.0.20130601-0317 (org.eclipse.m2e.jdt 1.4.0.20130601-0317) Maven Integration for Eclipse JDT 1.5.0.20140606-0033 (org.eclipse.m2e.jdt 1.5.0.20140606-0033) Maven Integration for Eclipse JDT 1.5.1.20150109-1820 (org.eclipse.m2e.jdt 1.5.1.20150109-1820) Maven Integration for Eclipse JDT 1.4.1.20140328-1905 (org.eclipse.m2e.jdt 1.4.1.20140328-1905) Maven Integration for Eclipse JDT 1.6.0.20150526-2032 (org.eclipse.m2e.jdt 1.6.0.20150526-2032) Maven Integration for Eclipse JDT 1.5.2.20150413-2215 (org.eclipse.m2e.jdt 1.5.2.20150413-2215) Maven Integration for Eclipse JDT 1.6.1.20150625-2338 (org.eclipse.m2e.jdt 1.6.1.20150625-2338) Cannot satisfy dependency: From: m2e connector for XML Plugin 1.0.0 (nl.mwensveen.m2e.extras.xml.transform 1.0.0) To: bundle org.eclipse.m2e.jdt [1.0.0,1.5.0) Cannot satisfy dependency: From: m2e Connector for XML Transform 1.0.0 (nl.mwensveen.m2e.extras.xml.transform.feature.feature.group 1.0.0) To: nl.mwensveen.m2e.extras.xml.transform [1.0.0] Cannot satisfy dependency: From: m2e - Maven Integration for Eclipse (includes Incubating components) 1.6.1.20150625-2338 (org.eclipse.m2e.feature.feature.group 1.6.1.20150625-2338) To: org.eclipse.m2e.jdt [1.6.1.20150625-2338]
Seems that XML Transformer is conflict with the latest M2E plug-ins and only accept M2E under 1.5.0?
But I cannot downgrade M2E because it's built-in by Eclipse Mars(4.5). So I reinstalled Eclipse with built-in M2E(1.6) and try to install the XML Transformer again, it success. If I want to upgrade M2E, the following errors appear:
Your original request has been modified. "m2e - slf4j over logback logging (Optional)" is already installed, so an update will be performed instead. "m2e - Maven Integration for Eclipse (includes Incubating components)" is already installed, so an update will be performed instead.Cannot complete the install because of a conflicting dependency. Software being installed: m2e - Maven Integration for Eclipse (includes Incubating components) 1.6.1.20150625-2338 (org.eclipse.m2e.feature.feature.group 1.6.1.20150625-2338) Software currently installed: m2e Connector for XML Transform 1.0.0 (nl.mwensveen.m2e.extras.xml.transform.feature.feature.group 1.0.0) Only one of the following can be installed at once: Maven Integration for Eclipse JDT 1.4.0.20130601-0317 (org.eclipse.m2e.jdt 1.4.0.20130601-0317) Maven Integration for Eclipse JDT 1.5.0.20140606-0033 (org.eclipse.m2e.jdt 1.5.0.20140606-0033) Maven Integration for Eclipse JDT 1.5.1.20150109-1820 (org.eclipse.m2e.jdt 1.5.1.20150109-1820) Maven Integration for Eclipse JDT 1.4.1.20140328-1905 (org.eclipse.m2e.jdt 1.4.1.20140328-1905) Maven Integration for Eclipse JDT 1.6.0.20150526-2032 (org.eclipse.m2e.jdt 1.6.0.20150526-2032) Maven Integration for Eclipse JDT 1.5.2.20150413-2215 (org.eclipse.m2e.jdt 1.5.2.20150413-2215) Maven Integration for Eclipse JDT 1.6.1.20150625-2338 (org.eclipse.m2e.jdt 1.6.1.20150625-2338) Cannot satisfy dependency: From: m2e connector for XML Plugin 1.0.0 (nl.mwensveen.m2e.extras.xml.transform 1.0.0) To: bundle org.eclipse.m2e.jdt [1.0.0,1.5.0) Cannot satisfy dependency: From: m2e Connector for XML Transform 1.0.0 (nl.mwensveen.m2e.extras.xml.transform.feature.feature.group 1.0.0) To: nl.mwensveen.m2e.extras.xml.transform [1.0.0] Cannot satisfy dependency: From: m2e - Maven Integration for Eclipse (includes Incubating components) 1.6.1.20150625-2338 (org.eclipse.m2e.feature.feature.group 1.6.1.20150625-2338) To: org.eclipse.m2e.jdt [1.6.1.20150625-2338]
But once I upgraded to the latest version, Eclipse works almost correct:
Except the xml-maven-plugin...
The the conclusion is, only the latest M2E can install all the plug-ins except the XML Transformer.
So, please, does anyone knows how to handle this situation?
---
Hi, ky582,
Thanks for your reply, I forget the screenshot at the first email, the error looks like this:
And I think it's maybe a good option, I use OS X too, with Maven 3.3.3 and Eclipse 4.5, maybe anyone who has the same configuration can export the project and send to me then I can import it without errors.
Thank you again~
Regards.XING, ChangZhejiang University
Date: Sat, 8 Aug 2015 15:32:31 +1000
Subject: Re: [CZT-Devel] [czt-devel] New Member and Question.
From: bm....@gm...
To: leo...@ne...
CC: aub...@ou...; czt...@li...
Chang,
I'm currently using Maven 3.2.2, and had no trouble building CZT yesterday. But it is quite common for Maven to have trouble downloading something - perhaps due to internet timeouts. I find it is sometimes worth trying again a couple of times, and if necessary try at another time of the day.
Good luck!Mark
On 7 August 2015 at 22:17, Leo Freitas <leo...@ne...> wrote:
Hi,
Okay. When I had such issues it usually meant my eclipse installation was missing the plugins, but Eclipse usually managed to find them. The hint about maven 2/3 is good.
@Andrius knows better about these things. Would you have something to suggest?
Best,Leo
On 7 Aug 2015, at 02:59, XINGChang <aub...@ou...> wrote:
Hi,
Thanks for you reply. My work would aim to enhance the current type-checker for OZ. My supervisor just said that the type-checker has some problems when processing recursive data structure.
Git is not problem and I know how to use it. And I'll look at Maven some more today, Thanks for your suggestion.
But I'd like to establish the developing environment as the first step, but when I tried to import the project, follow the tutorial from the sourceforge page, I got an error like this:
<Screen Shot 2015-08-07 at 11.21.44 AM.png>
Maven failed to download some plug-ins. I tried to search related information in Google but I don't get any solution about this. Someone told that maybe the project uses Maven 2 and I have Maven 3 installed, is it?
Thank you!
Regards.XING, ChangZhejiang University
From: leo...@ne...
To: aub...@ou...
CC: czt...@li...
Subject: Re: [CZT-Devel] [czt-devel] New Member and Question.
Date: Thu, 6 Aug 2015 15:17:36 +0000
Hi,
Nice to hear about work to do within CZT and OZ.
It is possible to use intelij but we have it all setup for Eclipse. You will need the Maven integration within InteliJ, but I don’t know how that goes.
CZT is slightly complex but relatively well organised. You will also need to learn Git to be able to commit. I suggest you clone the repository and branch it for your use.You can then have a look at typechecker-oz and parser-oz projects to see what you need to change. Which is what exactly by the way? I mean, are you extending theOZ language or type type system or both?
Learning the basics of Maven is important, but that’s not too bad. Asking questions here is also a good way forward. Try using the development environment for a small change, or look at the various examples within different projects and eventually you will get there :-)
Good luck!
Best,Leo
On 5 Aug 2015, at 12:16, 邢畅 <aub...@ou...> wrote:
Hi
Sorry for bothering, I'm new here. My name is Chang. I'm a student of UQ and doing a project about Object-Z now. My supervisor is professor Graeme Paul Smith, and the thesis aims to enhance the type-checker used by CZT project. So can I join the Mailing list and post questions here? I think it's may be a hard task.
I'm not that familiar with CZT and have no idea about the IDEs. I tried to clone the project and import the Maven project into IntelliJ IDEA but failed. I can't make IDEA resolve the complex dependencies so I changed to use Eclipse and follow the instruction from the page(http://czt.sourceforge.net/dev/eclipse/index.html).
But I encountered a question again, I failed to import the project because it lacks some plugin, as shown in the image attached.
Sorry, I'm not familiar with Maven and Eclipse, I only know some language knowledge about Java without any additional knowledge about it's ecosystem...If the question is too obvious or stupid, could you please what kind of things should I learn first?
Thank you all.
Regards.XING, ChangZhejiang University------------------------------------------------------------------------------_______________________________________________CZT-Devel mailing lis...@li...https://lists.sourceforge.net/lists/listinfo/czt-devel
------------------------------------------------------------------------------
_______________________________________________
CZT-Devel mailing list
CZT...@li...
https://lists.sourceforge.net/lists/listinfo/czt-devel
|
