Menu
▾
▴
Re: [CZT-Devel] CZT build issues in Eclipse
|
From: ky582 <ky...@yo...> - 2015-08-10 08:40:45
|
Hi Andrius, Thanks a lot for your update. I might try Java 8 and Eclipse Mars later. Any problem, I will let you know. Regards, Randall > On 8 Aug 2015, at 10:59, Andrius Velykis <and...@ne...> wrote: > > Hi Randall and XING Chang, > > Sorry about the build problems - they are still being solved so please report what you find. Also SourceForge was not working for the last couple weeks so I could not update what is needed. > > I have just updated the update site at http://czt.sourceforge.net/dev/eclipse/updates/ <http://czt.sourceforge.net/dev/eclipse/updates/> - a bit of manual job, but now it should point to the correct m2e connector update sites (they have changed locations since the last CZT updates). > > Also, could you try using Eclipse Mars with Java 8, Maven 3.3.3 and the version of m2e that comes with Mars? I have tried fixing so it works with the recent versions but have not tested with older ones. > > With this configuration (Java 8, Maven 3.3.3, Eclipse Mars), the import of CZT works. There may be a bit of issues with dependency resolution in net.sourceforge.czt.eclipse.ui (known issue) but I have not found a way to resolve it yet or what causes the problem. > > Also, the instructions in http://czt.sourceforge.net/dev/eclipse/ <http://czt.sourceforge.net/dev/eclipse/index.html> are a bit out-of-date, so use the versions indicated in this email. > > > XING Chang, > > Please try running the latest versions as written above. Also, you need to be online to resolve the necessary m2e connectors. > > > Let me know how it goes! And sorry about all the issues.. > Andrius > > > On Sat, 8 Aug 2015 at 10:01 ky582 <ky...@yo... <mailto:ky...@yo...>> wrote: > Hello, > > I am using CZT with Eclipse and Maven 3.2.5 on Mac OS X (I also used Maven 3.0.4 on Ubuntu before). So Maven 3 should not be a problem. The only problem to follow "Setup CZT in Eclipse” (http://czt.sourceforge.net/dev/eclipse/index.html <http://czt.sourceforge.net/dev/eclipse/index.html>) instruction is that the update site (http://czt.sourceforge.net/dev/eclipse/updates/ <http://czt.sourceforge.net/dev/eclipse/updates/>) doesn’t work for me to install two m2e connectors. Because I have another previous setup on Ubuntu as well, my solution is to export these connectors and then install them in new environment. > > I am not sure if it is the case for XINGChang because I can not see his attached screen shot in this mail list. > > Regards, > Randall > >> On 7 Aug 2015, at 13:17, Leo Freitas <leo...@ne... <mailto: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... <mailto: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, Chang >>> >>> Zhejiang University >>> >>> >>> From: leo...@ne... <mailto:leo...@ne...> >>> To: aub...@ou... <mailto:aub...@ou...> >>> CC: czt...@li... <mailto: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 the >>> OZ 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... <mailto: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 <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, Chang >>> >>> Zhejiang University >>> ------------------------------------------------------------------------------ >>> _______________________________________________ >>> CZT-Devel mailing list >>> CZT...@li... <mailto:CZT...@li...> >>> https://lists.sourceforge.net/lists/listinfo/czt-devel <https://lists.sourceforge.net/lists/listinfo/czt-devel> >> ------------------------------------------------------------------------------ >> _______________________________________________ >> CZT-Devel mailing list >> CZT...@li... <mailto:CZT...@li...> >> https://lists.sourceforge.net/lists/listinfo/czt-devel <https://lists.sourceforge.net/lists/listinfo/czt-devel> > |
