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/ocaml.patch | |
| 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/ocaml.patch')
| -rw-r--r-- | stubdom/ocaml.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/stubdom/ocaml.patch b/stubdom/ocaml.patch new file mode 100644 index 0000000000..50db4869dd --- /dev/null +++ b/stubdom/ocaml.patch @@ -0,0 +1,19 @@ +--- byterun/Makefile.orig 2009-04-07 12:14:02.000000000 +0100 ++++ byterun/Makefile 2009-04-07 12:13:50.000000000 +0100 +@@ -22,14 +22,14 @@ + DOBJS=$(OBJS:.o=.d.o) instrtrace.d.o + PICOBJS=$(OBJS:.o=.pic.o) + +-#ifeq ($(SUPPORTS_SHARED_LIBRARIES),true) ++ifeq ($(SUPPORTS_SHARED_LIBRARIES),true) + + all:: libcamlrun_shared.so + + install:: + cp libcamlrun_shared.so $(LIBDIR)/libcamlrun_shared.so + +-#endif ++endif + + ocamlrun$(EXE): libcamlrun.a prims.o + $(MKEXE) $(BYTECCLINKOPTS) -o ocamlrun$(EXE) \ |