diff options
Diffstat (limited to 'stubdom/caml')
-rw-r--r-- | stubdom/caml/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/stubdom/caml/Makefile b/stubdom/caml/Makefile index 8642240cef..d760fe4ee5 100644 --- a/stubdom/caml/Makefile +++ b/stubdom/caml/Makefile @@ -11,10 +11,7 @@ OCAMLOPT=ocamlopt OBJS := hello.cmx LIBS := -all: main-c.o main-caml.o caml.o - -main-c.c: - ln -sf $(XEN_ROOT)/extras/mini-os/main.c $@ +all: main-caml.o caml.o %.cmx: %.ml $(OCAMLFIND) $(OCAMLOPT) -c $< -o $@ |