This is an automated email from the git hooks/post-receive script. eugen pushed a commit to branch master in repository coccinelle.
commit ce0e48e164b511fd81fdb2facca2977d46c78aaa Author: Eugeniy Meshcheryakov <eu...@debian.org> Date: Wed Mar 4 16:18:53 2015 +0100 Fix parmap library path --- debian/patches/no-parmap-subdir.diff | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/debian/patches/no-parmap-subdir.diff b/debian/patches/no-parmap-subdir.diff index 422e813..5e3c10d 100644 --- a/debian/patches/no-parmap-subdir.diff +++ b/debian/patches/no-parmap-subdir.diff @@ -10,3 +10,14 @@ CLEANSUBDIRS=commons \ globals ctl parsing_cocci parsing_c \ +--- a/Makefile.libs ++++ b/Makefile.libs +@@ -75,7 +75,7 @@ + OPTFLAGS_type_conv = + + # parmap library +-PARMAPDIR = bundles/parmap/parmap-1.0-rc5-patched/_build ++PARMAPDIR = /usr/lib/ocaml/parmap + LOCAL_parmap = $(PARMAPDIR)/parmap.cma + LOCALOPT_parmap = $(PARMAPDIR)/parmap.cmxa + GLOBAL_parmap = $(PARMAPDIR)/parmap.cma -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits