Dynamic version, working.

[virt-mem.git] / lib / Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index e96a542..e386af0 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -76,13 +76,6 @@ virt_mem.cma: $(OBJS)
 virt_mem.cmxa: $(XOBJS)
        ocamlmklib -o virt_mem $^
 
-# The autogenerated code in kernel.ml contains recursive types.
-kernel.cmo: kernel.ml
-       $(OCAMLFIND) ocamlc -rectypes $(OCAMLCFLAGS) $(OCAMLCPACKAGES) -c $<
-
-kernel.cmx: kernel.ml
-       $(OCAMLFIND) ocamlopt -rectypes $(OCAMLOPTFLAGS) $(OCAMLOPTPACKAGES) -c $<
-
 # Just for testing Virt_mem_mmap module:
 test_mmap: virt_mem_utils.cmx virt_mem_mmap_c.o virt_mem_mmap.cmx test_mmap.cmx
        ocamlfind ocamlopt \