|problem using TPTP in the standalone mode [message #775879]
||Fri, 06 January 2012 16:22
| Missing name Missing name
Registered: January 2010
I encountered a problem while trying to run TPTP Probekit in the standalone mode.
The following is an excerpt of the Ant script I am trying to run (from within eclipse):
<jvmarg value="-XrunpiAgent:server=standalone, mode=none,
The error I am getting is:
Error occurred during initialization of VM
Could not find agent library piAgent on the library path, with error: libpiAgent.so: cannot open shared object file: No such file or directory
Here are a few info about the config of my system:
OS: virtual Ubuntu 10.04 - 64 bit
Java: version "1.6.0_24", 64-Bit Server VM
Agent Controller package: agntctrl.linux_em64t-TPTP-4.7.2
I've tried different approaches with no luck! I'd really appreciate your help in resolving my issue.