virt_ps.cmo: ../lib/virt_mem_utils.cmo ../lib/virt_mem_mmap.cmi \ ../lib/virt_mem_gettext.cmo ../lib/virt_mem.cmi virt_ps.cmx: ../lib/virt_mem_utils.cmx ../lib/virt_mem_mmap.cmx \ ../lib/virt_mem_gettext.cmx ../lib/virt_mem.cmx