The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Hi list,
There is no way to compile a user contribution that contains ml files  
if you are using the binary of CoqIdE for mac distributed on the coq  
website.

Until we take the time to find a better solution, Here is a workaround:
- I have build Ssreflect, Containers, AACTactics, DescenteInfine,  
(what you'll ask me to build) ... on the same machine that I've made  
the bundle.
- you can pick them there http://www.pps.jussieu.fr/~pboutill/coq-night/v8.4/
- you'll have to put the unpacked directory in /Applications/ 
CoqIdE_8.4beta.app/Contents/Resources/lib/coq/user-contrib/
- you'll have to send me an email because it does not work

All the best,
Pierre Boutillier