Menu
▾
▴
Re: [CZT-Devel] CZT build issues in Eclipse
|
From: Andrius V. <and...@ne...> - 2015-08-08 11:35:05
|
Hi - yea, these are the errors I have mentioned. They only appear in Eclipse and I haven't figured out what is causing them yet, sorry. If you are not using UI, feel free to delete all the .eclipse.* projects from your workspace (but don't delete them on disk). Andrius On Sat, 8 Aug 2015 at 12:30 Chang XING <aub...@ou...> wrote: > Hi Andrius, > > Thank you, that really helps, I can import the project without error now. > > But there are still some errors when building in projects 'net.sourceforge.czt.eclipse.ui', > 'net.sourceforge.czt.eclipse.vcg.ui' and 'net.sourceforge.czt.eclipse.zeves.ui'. > The errors says that 'Access restriction' because some functions are not > API. > > All 8 hundred errors' description is attached. > > Sorry I'm not familiar with the Java build system. Is it because the build > path doesn't contain some certain packages? If I don't need UI, can I > simply deleted all the packages related? > > Thanks. > > Regards. > > XING, Chang > > Zhejiang University > > > ------------------------------ > From: and...@ne... > Date: Sat, 8 Aug 2015 09:59:22 +0000 > Subject: CZT build issues in Eclipse > To: ky...@yo...; aub...@ou... > CC: czt...@li...; leo...@ne... > > > 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 > > > |
