On Sep 20, 2010, at 1:53 PM, Z wrote:
I appreciate your help. I can tell you are all very nice.
For your diagnostic, I did have installed a lot of special libraries
related to
http://apron.cri.ensmp.fr/library/
Looking at the list of requirements for APRON it looks to me like most
are already in MacPorts.
port info gmp
port info ocaml
port info mpfr
I didn't see a port for camlidl so I created one.
That leaves MLGMPIDL. I've started a port for mlgmpidl.
Z: If your interested in pursuing this let me know.
// Brad
_______________________________________________
macports-users mailing list
[email protected]
http://lists.macosforge.org/mailman/listinfo.cgi/macports-users
