[Pkg-ocaml-maint-commits] [coccinelle] 06/06: Fix parmap library path

[Eugeniy Meshcheryakov]

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 <eugen at 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