Menu
▾
▴
Re: [CZT-Devel] [czt-devel] New Member and Question.
|
From: ky582 <ky...@yo...> - 2015-08-08 09:00:43
|
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...> 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... > https://lists.sourceforge.net/lists/listinfo/czt-devel |
