This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository atdgen.
commit bf89afd2ca96becd45d1b22c0b1ba879b63c1da2 Author: Stephane Glondu <[email protected]> Date: Thu Jan 28 10:01:45 2016 +0100 Remove obsolete patch --- .../0001-Install-ml-files-for-dangling-cmi-s.patch | 40 ---------------------- debian/patches/series | 1 - 2 files changed, 41 deletions(-) diff --git a/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch b/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch deleted file mode 100644 index 5fadf13..0000000 --- a/debian/patches/0001-Install-ml-files-for-dangling-cmi-s.patch +++ /dev/null @@ -1,40 +0,0 @@ -From: Hendrik Tews <[email protected]> -Date: Sat, 1 Feb 2014 16:55:27 +0100 -Subject: Install ml files for dangling cmi's - -Signed-off-by: Stephane Glondu <[email protected]> ---- - Makefile | 12 +++++++++--- - 1 file changed, 9 insertions(+), 3 deletions(-) - -diff --git a/Makefile b/Makefile -index c49b299..9b20997 100644 ---- a/Makefile -+++ b/Makefile -@@ -104,8 +104,14 @@ install: META - test ! -f atdgen || cp atdgen $(BINDIR)/ - test ! -f atdgen.exe || cp atdgen.exe $(BINDIR)/ - ocamlfind install atdgen META \ -- $(MLI) $(CMI) $(CMO) $(CMX) $(CMXS) $(O) \ -- atdgen.cma atdgen.a atdgen.cmxa -+ $(wildcard $(MLI) $(CMI) $(CMO) $(CMX) $(CMXS) $(O) \ -+ atdgen.cma atdgen.a atdgen.cmxa) \ -+ ag_biniou.ml ag_doc_lexer.ml ag_doc_lexer.mll ag_error.ml \ -+ ag_indent.ml ag_json.ml ag_mapping.ml ag_ob_emit.ml \ -+ ag_ob_mapping.ml ag_ob_run.ml ag_ob_spe.ml ag_ocaml.ml \ -+ ag_oj_emit.ml ag_oj_mapping.ml ag_oj_run.ml ag_ov_emit.ml \ -+ ag_ov_mapping.ml ag_ov_run.ml ag_ox_emit.ml ag_validate.ml \ -+ ag_xb_emit.ml ag_version.ml - - uninstall: - test ! -f $(BINDIR)/atdgen.run || rm $(BINDIR)/atdgen.run -@@ -172,7 +178,7 @@ atdgen$(EXE): dep $(CMI) $(CMX) ag_main.ml - - - .PHONY: doc --doc: odoc/index.html atdgen$(EXE) -+doc: odoc/index.html - cd manual; $(MAKE) - - odoc/index.html: $(CMI) --- diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 776c15a..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Install-ml-files-for-dangling-cmi-s.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/atdgen.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
