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

[Mark U. <bm....@gm...>]

Chang,

I'm currently using Maven 3.2.2, and had no trouble building CZT
yesterday.  But it is quite common for Maven to have trouble downloading
something - perhaps due to internet timeouts.  I find it is sometimes worth
trying again a couple of times, and if necessary try at another time of the
day.

Good luck!
Mark


On 7 August 2015 at 22: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
>
>