Revision 4ba1fbd32f677a81e254e0139ea85d5c777f0ddf authored by Roberto Di Cosmo on 27 November 2011, 14:06:29 UTC, committed by Roberto Di Cosmo on 27 November 2011, 14:06:29 UTC
1 parent 19382c6
Raw File
_tags
<*>: annot
#"libparmap.a": use_parmap
<parmap.cm{x,}a>: use_libparmap
<parmap.c{mxs}>: link_libparmap
<*.{ml,mli}>: package(extlib), package(unix), package(bigarray)


back to top