Re: [iam-dev] TPTP profiling of IAM

["Abel Muiño" <amuino@xxxxxxxxx>]

Last time I looked, there was no support for macs on tptp :(

2008/11/21, Joakim Erdfelt <joakim.erdfelt@xxxxxxxxx>:
> I've managed to successfully get profiling information out of IAM
> using the TPTP project.
>
> I had to do some linux/ubuntu voodoo to get it working, but I got it
> working.
>
> I'd love to help the other devs get this set up, but I can only help
> if you have linux.
> Since I don't have a MAC and/or OSX handy, I can't help those devs. :-(
>
> - Joakim Erdfelt
> _______________________________________________
> iam-dev mailing list
> iam-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/iam-dev
>


-- 
Abel Muiño - http://ramblingabout.wordpress.com/