diff options
Diffstat (limited to 'dev-ml/ocamlpam/files/ocamlpam-1.1-makefile.patch')
| -rw-r--r-- | dev-ml/ocamlpam/files/ocamlpam-1.1-makefile.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/dev-ml/ocamlpam/files/ocamlpam-1.1-makefile.patch b/dev-ml/ocamlpam/files/ocamlpam-1.1-makefile.patch deleted file mode 100644 index c9450b7f30dc..000000000000 --- a/dev-ml/ocamlpam/files/ocamlpam-1.1-makefile.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- a/Makefile 2012-09-14 22:46:11.508415083 +0200 -+++ b/Makefile 2012-09-14 22:46:34.526338371 +0200 -@@ -35,10 +35,13 @@ - - install: - install -d $(DESTDIR)/pam -- install -m 644 -t $(DESTDIR)/pam META *.mli *.cmi *.cmx *.cma *.cmxa *.a -+ install -m 644 -t $(DESTDIR)/pam META *.mli *.cmi *.cma *.a - install -d $(DESTDIR)/stublibs - install -m 644 -t $(DESTDIR)/stublibs dll$(BASENAME).so - -+install-opt: -+ install -m 644 -t $(DESTDIR)/pam *.cmx *.cmxa -+ - dist: clean - mkdir -p $(DISTNAME) - -cp * $(DISTNAME) |