diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2009-05-19 14:17:56 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2009-05-19 14:17:56 +0100 |
| commit | ff7d47a80a126527fd7b479d0c0756a20a07e0d3 (patch) | |
| tree | 996bceccab3a2fc9f2d545a69977a02f745d68e3 /stubdom/caml | |
| parent | 0e57a92cc388c377de3940d12ac6131c698f5581 (diff) | |
| download | xen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.tar.gz xen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.tar.bz2 xen-ff7d47a80a126527fd7b479d0c0756a20a07e0d3.zip | |
stubdom: Rebuild the ocaml runtime libraries with the options needed
if they are to be linked with object files created by ocamlc and the minios
kernel.
This is needed to build stubdoms written in ocaml.
Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>
Diffstat (limited to 'stubdom/caml')
| -rw-r--r-- | stubdom/caml/Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/stubdom/caml/Makefile b/stubdom/caml/Makefile index d760fe4ee5..5f27db67a3 100644 --- a/stubdom/caml/Makefile +++ b/stubdom/caml/Makefile @@ -2,11 +2,10 @@ XEN_ROOT = ../.. include $(XEN_ROOT)/Config.mk -CAMLLIB = $(shell ocamlc -where) +CAMLLIB = $(shell $(OCAMLC_CROSS_PREFIX)ocamlc -where) DEF_CPPFLAGS += -I$(CAMLLIB) -OCAMLFIND=ocamlfind -OCAMLOPT=ocamlopt +OCAMLOPT=$(OCAMLC_CROSS_PREFIX)ocamlopt OBJS := hello.cmx LIBS := @@ -14,10 +13,10 @@ LIBS := all: main-caml.o caml.o %.cmx: %.ml - $(OCAMLFIND) $(OCAMLOPT) -c $< -o $@ + $(OCAMLOPT) -c $< -o $@ caml.o: $(OBJS) - $(OCAMLFIND) $(OCAMLOPT) $(LIBS) $^ -output-obj -o $@ + $(OCAMLOPT) $(LIBS) $^ -output-obj -o $@ clean: rm -f *.a *.o *.cmx *.cmi |