Menu
▾
▴
Re: [CZT-Devel] [czt-devel] New Member and Question.
|
From: Leo F. <leo...@ne...> - 2015-08-07 12:17:18
|
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... <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> |
