diff options
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) \ |