Wed Feb  7 21:16:09 1996  Alexandre Frey  <frey@julien.polytechnique.fr>

	* dlink.c (dlink_info_add_bfd): fix a bug in relocations read.

Tue Feb  6 01:25:39 1996  Alexandre Frey  <frey@toxic.poison.fr>

	* dload.scm ((dload-init map-filename)): add a check of
	time consistency of map file.

	* _dload.c (file_mtime_compare): new function

Mon Feb  5 21:51:56 1996  Alexandre Frey  <frey@toxic.poison.fr>

	* dlink.c 
	(dlink_info_add_bfd): protect the memory after the section has
	been allocated
	(dlink_info_add_bfd): read the relocations in this function

Fri Feb  2 12:41:36 1996  Alexandre Frey  <frey@toxic.poison.fr>

	* dload.bgl (dload): modified accordingly.
	* dload.scm ((dload unit filename . use_static?)): new function 
	
	* dlink.h : modified accordingly. dlink_add_file is now the only
	public function. get_static_symbol_value deleted.
	* dlink.c 
	(dlink_add_object): new argument USE_STATIC.
	(dlink_add_file): new function. Dispatches to dlink_add_object or
	dlink_add_library according to the format of the file.
	(dlink_add_object): dlink_add_file now performs the checks and
	passes a argument INPUT_BFD.
	(dlink_add_library): ditto.

	(add_entry): new function.

	(init_static): the static symbols are now handled in a dlink_info
 	structure (static_dlink_info). This makes the other functions more
 	uniform.
	(dlink_add_library): modified accordingly (when USE_STATIC is true).
	(dlink_add_library): forbidden on static_dlink_info.
	(dlink_add_object): ditto.	
	
	(dlink_info_add_bfd): load the section raw content and
 	keep it in memory so that no further access to the file is made
	(should verify that).
	(dl_set_section_contents): modified accordingly.




	