Menu
▾
▴
[CZT-Devel] CZT build issues in Eclipse
|
From: Andrius V. <and...@ne...> - 2015-08-08 09:59:43
|
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/ - 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...> 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) instruction is that > the update site (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...> 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, Chang > > Zhejiang 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 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...> 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, Chang > > Zhejiang University > > ------------------------------------------------------------------------------ > _______________________________________________ > CZT-Devel mailing list > CZT...@li... > https://lists.sourceforge.net/lists/listinfo/czt-devel > > > > ------------------------------------------------------------------------------ > _______________________________________________ > CZT-Devel mailing list > CZT...@li... > https://lists.sourceforge.net/lists/listinfo/czt-devel > > > |
