Community
Participate
Working Groups
Need to update version number for features and plugins. http://www.eclipse.org/tptp/home/downloads/version.php?version=4.7.0&buildID=TPTP-4.7.0-201005261900
Sean, Please update the version number of the features. Also the tool is complaining about org.apache.log4j which had been updated to 1.2.15.
I could not find the file plugins/org.eclipse.hyades.logging.core/src/org/eclipse/hyades/logging/core/properties/plugin.properties as noted in: http://download.eclipse.org/tptp/4.7.0/dev/TPTP-4.7.0-201005222133/NeedUpdate Could you figure out exactly what the tool is complaining about?
I just checked http://download.eclipse.org/tptp/4.7.0/dev/TPTP-4.7.0-201005271150/BadOrMissingCopyrights and it's still complaining about plugins/org.eclipse.tptp.platform.models/build.xml even though I've updated the format. Not sure what the tool is looking for. Please take a look.
Sean took a quick look and think that this might be a tools problem. He's still investigating.
Sean has checked the latest version checking report and pointed out that the remaining problems reported are because of problem with the tool (not that version numbers need to be further changed). Deferring this to 4.7.1 for fixing up the tool.
In the TPTP-4.7.0RC4-201006081927 build, the following copyright issues exist: http://download.eclipse.org/tptp/4.7.0/TPTP-4.7.0-201006081927/BadOrMissingCopyrights http://download.eclipse.org/tptp/4.7.0/TPTP-4.7.0-201006081927/NeedUpdate http://download.eclipse.org/tptp/4.7.0/TPTP-4.7.0-201006081927/ThirdPartyCopyrights
Deferring to TPTP 4.7.2.
Re-assigning to Sam.
The file that is marked as incorrect is copied during the build and can be ignored. No plan to fix.
This defect had been resolved as WONTFIX for more than 1 month. Closing this on the reporter's behalf. Please re-open if you have further comment on this issue.
Closed in TPTP 4.7.2.
