Community
Participate
Working Groups
Currently the probekit bytecode-instrumentation engine only builds on Windows and Linux. This bug patch's the build to enable compilation on AIX 32-/64-bit, Solaris SPARC 32-/64-bit, Solaris x86/x86_64 and zOS 31-/64-bit platforms.
Created attachment 175441 [details] patch Attached patch with changes to makefiles to support building on aforementioned platforms.
Patch reviewed by Paul K and checked into HEAD.
This defect had been resolved as FIXED for more than 1 month. Please verify with the latest TPTP 4.7.2 driver. If this defect is still left unverified by February 25, we'll close it on the originator's behalf. TPTP 4.7.2 driver can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2
Closing.