Re: Usage in commercial software
Adam Chlipala <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
On 06/12/2014 09:54 AM, Bikal Gurung wrote: > After searching around a bit, I have come across this another mp > library which seems/aims to be a drop in replacement for 'gnu mp' but > with a more permissive BSD based license. Has anyone tried this > library yet? > > Maybe we could allow a user to choose between MLTon compiled with GNU > MP or BSDMP. Any thoughts? > > http://bsdmp.org/ Even better would be to allow MLton to compile code with no dependencies on any MP library. My guess is most MLton-compiled programs don't need MP integers, and yet we must carry this one nonstandard linking dependency around everywhere. ------------------------------------------------------------------------------ HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions Find What Matters Most in Your Big Data with HPCC Systems Open Source. Fast. Scalable. Simple. Ideal for Dirty Data. Leverages Graph Analysis for Fast Processing & Easy Data Exploration http://p.sf.net/sfu/hpccsystems