|Re: Successful TPTP profiling on Ubuntu? [message #78821 is a reply to message #78805]
||Wed, 26 July 2006 06:11
Originally posted by: powerkleszcz.o2.pl|
For starting agent controller I have to install libstdc++6 and
libstdc++2.10-glibc2.2. I don't know it should be standard. The rest was
standard procedure from documentation.
Randy D. Smith wrote:
> Has anyone successfully profiled on Linux Ubuntu? Anything you had to do
> special to get it to work? or could you just use the download??
> Sorry, we don't have one-of-every-possible-version-of-Linux in the lab!
Powered by FUDForum
. Page generated in 0.01856 seconds