goaljobs.cmi :
goaljobs.cmo : goaljobs_config.cmo goaljobs.cmi
goaljobs.cmx : goaljobs_config.cmx goaljobs.cmi
goaljobs_config.cmo :
goaljobs_config.cmx :
goaljobs_memory.cmo : goaljobs.cmi
goaljobs_memory.cmx : goaljobs.cmx