goaljobs.cmi :
-goaljobs.cmo : goaljobs.cmi
-goaljobs.cmx : 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