diff options
Diffstat (limited to 'stubdom/caml/Makefile')
| -rw-r--r-- | stubdom/caml/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/stubdom/caml/Makefile b/stubdom/caml/Makefile index 69595a8f99..8642240cef 100644 --- a/stubdom/caml/Makefile +++ b/stubdom/caml/Makefile @@ -2,12 +2,20 @@ XEN_ROOT = ../.. include $(XEN_ROOT)/Config.mk +CAMLLIB = $(shell ocamlc -where) +DEF_CPPFLAGS += -I$(CAMLLIB) + OCAMLFIND=ocamlfind 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 $@ + %.cmx: %.ml $(OCAMLFIND) $(OCAMLOPT) -c $< -o $@ @@ -15,4 +23,4 @@ caml.o: $(OBJS) $(OCAMLFIND) $(OCAMLOPT) $(LIBS) $^ -output-obj -o $@ clean: - rm -f *.o *.cmx *.cmi + rm -f *.a *.o *.cmx *.cmi |