Dia

Bradley Giesbrecht brad at pixilla.com
Mon Sep 20 17:43:13 PDT 2010


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-users/attachments/20100920/bbf3f419/attachment.html>


More information about the macports-users mailing list