aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/zarith/files/zarith-1.0-bytecode.patch')
-rw-r--r--dev-ml/zarith/files/zarith-1.0-bytecode.patch31
1 files changed, 31 insertions, 0 deletions
diff --git a/dev-ml/zarith/files/zarith-1.0-bytecode.patch b/dev-ml/zarith/files/zarith-1.0-bytecode.patch
new file mode 100644
index 000000000..2de677214
--- /dev/null
+++ b/dev-ml/zarith/files/zarith-1.0-bytecode.patch
@@ -0,0 +1,31 @@
+--- project.mak.orig 2011-11-14 18:18:05.702705850 -0500
++++ project.mak 2011-11-14 18:18:58.142704311 -0500
+@@ -23,12 +23,14 @@
+
+ CMIOBJ = $(MLISRC:%.mli=%.cmi)
+ TOINSTALL = zarith.a zarith.cma zarith.cmxa zarith.cmxs libzarith.a $(MLISRC) $(CMIOBJ)
+-
++TOINSTALLbyte = zarith.cma libzarith.a $(MLISRC) $(CMIOBJ)
+
+ # build targets
+ ###############
+
+-all: $(TOINSTALL) test
++all: $(TOINSTALL)
++
++all-byte: $(TOINSTALLbyte)
+
+ zarith.cma: $(MLSRC:%.ml=%.cmo)
+ $(OCAMLMKLIB) -o zarith $+ $(LIBS)
+@@ -80,8 +82,9 @@
+
+ ifeq ($(INSTMETH),findlib)
+ install:
+- $(OCAMLFIND) install -destdir $(INSTALLDIR) zarith META $(TOINSTALL) dllzarith.so
+-
++ $(OCAMLFIND) install zarith META $(TOINSTALL) dllzarith.so
++install-byte:
++ $(OCAMLFIND) install zarith META $(TOINSTALLbyte) dllzarith.so
+ uninstall:
+ $(OCAMLFIND) remove -destdir $(INSTALLDIR) zarith
+ endif