[wtp-releng] http://download.eclipse.org/webtools/downloads/drivers/tpt

[Arthur Ryman <ryman@xxxxxxxxxx>]

I just ran a local build on a clean
directory and it failed because the TPTP dependency is missing. 

Was this recently deleted to free up
disk space? If so, could some please restore it? Thx.

Is there a more recent version we should
be using? If so, we need to update /releng/maps/dependencies.properties:

# TPTP
# Eclipse TPTP Dependency
# TPTP will be used for
API scanning
# groupID : tptp
tptp.url  = http://download.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519
tptp.releng.url  = http://download.eclipse.org/webtools/downloads/drivers
tptp.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip
tptp.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip
tptp.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip
tptp.name = TPTP
DC
v4.0
tptp.description = TPTP
DC
v4.0

piagent.url  = http://download.eclipse.org/tptp/4.0.0/TPTP-4.0.0-200507181519
piagent.releng.url  = http://download.eclipse.org/webtools/downloads/drivers
piagent.file.linux-gtk-x86= tptpdc.linux_ia32-TPTP-4.0.0-200507181519.zip
piagent.file.linux-gtk-ppc= tptpdc.linux_ppc64-TPTP-4.0.0-200507181519.zip
piagent.file.win32-win32-x86 = tptpdc.win_ia32-TPTP-4.0.0-200507181519.zip
piagent.name = TPTP
DC
v4.0
piagent.description = TPTP
DC
v4.0


Arthur Ryman,
IBM Software Group, Rational Division

blog: http://ryman.eclipsedevelopersjournal.com/
phone: +1-905-413-3077, TL 969-3077
assistant: +1-905-413-2411, TL 969-2411
fax: +1-905-413-4920, TL 969-4920
mobile: +1-416-939-5063, text: 4169395063@xxxxxxx