2000-12-01  Jaccard Pierre  <jaccard@gfi.uib.no>

	* makefile.dep: A note about LACKS_STRICMP. Older version of gcc
	  did not define it. It seems that it does it now. If so, there is
          no need to redefine it in the Makefile
	
	* makefile.dep: Added compile time options for Linux. These must
	  be present in order to use the gfi-codas extensions. Note also
	  that GNU libc does not implement stricmp. Hence, LACKS_STRICMP
	  should be defined on GNU Linux hosts.


