[news.eclipse.tptp] Re: TPTP and AGR on Solaris

["Paul Slauenwhite" <paules@xxxxxxxxxx>]

Hi Matthias,
    You can use the Agent Controller for Solaris from V4.3.0 to launch tests 
from a newer TPTP workbench.  The TPTP workbench is not tested/supported on 
Solaris:

http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.4/support.html

Paul
"Matthias Wiskow" <matthias.wiskow@xxxxxxxxxxxxx> wrote in message 
news:fheqs7$6vn$1@xxxxxxxxxxxxxxxxxxxx
> Is there a chance to execute automated tests on Solaris also?
> There is an Eclipse build for Solaris. So I assume that - in general - 
> Solaris (GTK) is supported.
> TPTP, especially the Agent Controller, does not provide executables for 
> Solaris.
> Is it by intention?
> Any chance to get a Solaris build?
>
> Thanks,
> Matthias