19.3. Instalacja platformy TPTP

Najprostszym sposobem instalacji platformy TPTP w ramach istniejącej instalacji środowiska Eclipse jest użycie witryny zdalnej aktualizacji (patrz Rysunek 19-1). Wystarczy otworzyć okno Remote Update (wybierając kolejno opcje Help, Software Updates oraz Find and Install), po czym zaznaczyć element Discovery Site, właściwy dla naszej wersji środowiska Eclipse. Środowisko Eclipse wyświetli wówczas listę proponowanych modułów rozszerzeń. Narzędzia platformy TPTP są wyświetlane pod węzłem Testing and Performance. Najprostszym, ale też najbardziej czasochłonnym rozwiązaniem jest instalacja wszystkich proponowanych modułów. Nawet jeśli nie chcemy instalować całego zestawu narzędzi, koniecznie musimy instalować pewne komponenty ...

Get Java. Praktyczne narzędzia now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.