Skip to content
This repository
tag: v115
Fetching contributors…

Cannot retrieve contributors at this time

executable file 17 lines (11 sloc) 0.724 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
# -*- conf -*- (for emacs)

# subdirs
<{badop,db3}>: traverse

<**/*.{ml,mli,byte,native}>: use_libbase, use_libruntime, use_libnet, use_appruntime, use_libsecurity, use_libtools, use_buildinfos
<gml_parser.{ml,mli,byte,native}>: use_libtrx

<badop_{protocol,server,client}.ml>: rectypes

<database_server.{byte,native}>: use_ssl, use_ulex, use_libtrx, thread, use_unix, use_bigarray, use_str, use_zip, use_syslog, use_database

<database_tool.{ml,byte,native}>: use_libqmlcompil, use_buildinfos, use_compilerlib, use_passlib, use_database, use_ssl, use_ulex, use_libtrx, thread, use_unix, use_bigarray, use_str, use_zip, use_syslog, use_graph, use_opacapi

# ppdebug
<*.ml>: with_mlstate_debug
<*/*.ml>: with_mlstate_debug
Something went wrong with that request. Please try again.