Re: [CZT-Users] Eclipse 4.14 CZT plugins installation problem

[Julian R. <jro...@gm...>]

I found Eclipse 4.8 (photon) will run on my PC but with the same results
for CZT as 4.14.
Anything older refuses to run, as per 4.2 (Juno).

Please find attached a log snapshot from my Eclipse
~/workspace/.metadata/.log in which framework errors are reported.
This is not the entire log dump, just those parts for CZT.
Hope this helps someone.

With thanks,
julian


On Tue, 18 Feb 2020 at 12:10, Julian Rose <jro...@gm...> wrote:

> Hello,
>
> Sorry for the newbie question but I cannot get CZT Eclipse plugins to run.
> On the plus side the czt.jar from
> https://sourceforge.net/projects/czt/files/czt-ide/nightly/ standalone
> works perfectly well.
>
>
> After downloading the latest Eclipse 4.14 and installing the CZT nightly
> updates:
> From Help->About Eclipse SDK I see the CZT logo and in ->Installation
> Details I see CZT-Core, CZT for Eclipse and Z/Eves Prover Integration for
> CZT.
> However, there is nothing else Z in Eclipse at all. No perspective. No New
> CZT Project.
>
> My windows version is 64-bit 10, 1909 updates
> My jdk version is 11.0.1
>
> I downloaded Eclipse 4.14 from
> https://download.eclipse.org/eclipse/downloads/ (as linked to from
> www.vogella.com).
> I used the Update Manager, Help->InstallNewSoftware identifying the plugin
> from http://czt.sourceforge.net/eclipse/updates/nightly/ and then
> re-started Eclipse.
>
> Alternatively I tried downloading Eclipse IDE from
> https://www.eclipse.org/eclipseide/ that comes with more Java, Maven,
> etc, and got exactly the same results for the CZT plugins as for plain
> Eclipse 4.14..
>
> I also downloaded the pre-built czt-ide-1.6 but this doesn't run. It
> outputs an error and a configuration sub-directory log file.
> Seperately downloadingplain plain old version 4.2 (Juno) of Eclipse
> produces exactly the same error as the pre-built czt-ide-1.6.
> So I assume the 4.2 versions are no longer compatible with Windows 10,
> java 11.
>
> I did a quick scan through czt-users posts but didn't find any help there.
> I am sure there is a simple explanation and it is probably my mistake.
> I'll keep trying but Any clues?
>
> With thanks,
> julian
>
>