Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 255434

Summary:	Agent Controller has undocumented dependence on library libstdc++5 with linux systems
Product:	z_Archived	Reporter:	Michael Fairbank <michael.fairbank>
Component:	TPTP	Assignee:	Joel Cayne <jcayne>
Status:	CLOSED DUPLICATE	QA Contact:
Severity:	normal
Priority:	P3	CC:	jkubasta
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Linux
Whiteboard:	closed471

Description Michael Fairbank

2008-11-15 07:56:53 EST

Build ID: M20080911-1700

Steps To Reproduce:
1. The agent controller ACStart.sh script fails if the libary libstdc++5 is not installed in the linux system.  

This library is not installed by default in Linux Ubuntu.  

The user as to work out for himself to fix this by running the linux command "sudo apt-get install libstdc++5" 

Is there anyway to force the installation of this library when the Agent Controller package is added to eclipse?  Alternatively, please can an error message tell the user to do this?  Alternatively, where in the documentation should the user be told to do this?  


More information:
I am using linux 64 bit version of eclipse+TPTP+Agent controller, running on Ubuntu Linux version 8.4 (Hardy Heron).  The agent controller version is 4.2.201v200808290100.

Thanks.

Comment 1 Joel Cayne

2008-12-02 16:14:34 EST

Hi Michael,

The TPTP Release notes describe the error in http://www.eclipse.org/tptp/home/downloads/4.5.0/documents/releasenotes/releasenotes4_5_0.html#3_AC_24. The system error should indicate the missing libraries.

Marking as a duplicate of 240677.

*** This bug has been marked as a duplicate of bug 240677 ***

Comment 2 Kathy Chan

2010-11-18 18:48:55 EST

As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.