Xavier Leroy b0041ea963 Revised DLL loading: distinguish between loading for execution ... (ocamlrun, dynlink, toplevel) and loading for checking the existence of symbols (ocamlc). This is needed for Windows with manifests and not a bad idea for other platforms. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02		2006-09-28 21:36:38 +00:00
..
.cvsignore	-	1996-05-04 14:39:41 +00:00
.depend	Depollution de l'espace de nom: utiliser un -pack pour isoler les modules en provenance du compilateur	2006-05-11 15:52:02 +00:00
Makefile	Remove obsolete comment	2006-09-19 12:41:33 +00:00
Makefile.nt	Update	2006-09-19 12:41:42 +00:00
dynlink.ml	Revised DLL loading: distinguish between loading for execution	2006-09-28 21:36:38 +00:00
dynlink.mli	- Revu en profondeur la verification des CRC d'interfaces.	2002-11-17 16:42:12 +00:00
extract_crc.ml	Meilleur message d'erreur dans le cas d'un fichier .cmi non trouve	2004-04-09 13:26:41 +00:00