diff options
author | Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-02 00:55:32 -0500 |
---|---|---|
committer | Guillaume Horel <guillaume.horel@gmail.com> | 2012-03-02 01:01:21 -0500 |
commit | 23afff670e90583ba9206f37e7b7dfc772b585db (patch) | |
tree | ce9fb5a091cded32ada5d8340bed82e8b1b36e5b /dev-ml/zarith/files | |
parent | [dev-ml/lacaml] version bump (diff) | |
download | sci-23afff670e90583ba9206f37e7b7dfc772b585db.tar.gz sci-23afff670e90583ba9206f37e7b7dfc772b585db.tar.bz2 sci-23afff670e90583ba9206f37e7b7dfc772b585db.zip |
[dev-ml/zarith] new ebuild
Diffstat (limited to 'dev-ml/zarith/files')
-rw-r--r-- | dev-ml/zarith/files/zarith-1.0-bytecode.patch | 31 | ||||
-rw-r--r-- | dev-ml/zarith/files/zarith-1.0-optnotrequired.patch | 22 |
2 files changed, 53 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 diff --git a/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch new file mode 100644 index 000000000..2bd1b4df8 --- /dev/null +++ b/dev-ml/zarith/files/zarith-1.0-optnotrequired.patch @@ -0,0 +1,22 @@ +From: Mehdi Dogguy <mehdi@debian.org> +Date: Sun, 2 Oct 2011 11:53:22 +0200 +Subject: [PATCH] ocamlopt is not really required + +--- + configure | 2 +- + 1 files changed, 1 insertions(+), 1 deletions(-) + +diff --git a/configure b/configure +index 5bd80d3..980aedd 100755 +--- a/configure ++++ b/configure +@@ -186,7 +186,7 @@ checkcc() + + searchbinreq $ocaml + searchbinreq $ocamlc +-searchbinreq $ocamlopt ++searchbin $ocamlopt + searchbinreq $ocamldep + searchbinreq $ocamlmklib + searchbinreq $ocamldoc +-- |