Re: [CZT-Devel] [czt-devel] New Member and Question.

[Leo F. <leo...@ne...>]

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 <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>