Skip to main content

Blog Archive for felipeal during June 2008

After struggling for weeks and almost giving up, I finally managed to have the Eclipse TPTP profiler working on my Ubuntu 64bits box! As this was a painful and unbelievably hard experience (because of Eclipse TPTP, not Ubuntu/Linux, BTW), I'm going to share a few tips here. First of all, this is going to be a quick and dirty blog. I don't have the time, patience, or motivation to do a detailed...