[splint.git] / src / Headers / local_constants.h

/* local_constants.h - created automatically by gmake localconstants */
/*@constant observer char *SYSTEM_LIBDIR;@*/
# define SYSTEM_LIBDIR "/usr/include"
/*@constant observer char *DEFAULT_LARCHPATH;@*/
# define DEFAULT_LARCHPATH ".:/a/apollo.cs.Virginia.EDU/af10/evans/lclint-build/lclint-2.5m/lib"
/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
# define DEFAULT_LCLIMPORTDIR "/a/apollo.cs.Virginia.EDU/af10/evans/lclint-build/lclint-2.5m/imports"
Commit	Line	Data
885824d3	1	/* local_constants.h - created automatically by gmake localconstants */
	2	/@constant observer char SYSTEM_LIBDIR;@*/
	3	# define SYSTEM_LIBDIR "/usr/include"
	4	/@constant observer char DEFAULT_LARCHPATH;@*/
	5	# define DEFAULT_LARCHPATH ".:/a/apollo.cs.Virginia.EDU/af10/evans/lclint-build/lclint-2.5m/lib"
	6	/@constant observer char DEFAULT_LCLIMPORTDIR;@*/
	7	# define DEFAULT_LCLIMPORTDIR "/a/apollo.cs.Virginia.EDU/af10/evans/lclint-build/lclint-2.5m/imports"