On 2015/09/11 16:11, Jonathan Gray wrote:
> On Thu, Sep 10, 2015 at 05:33:31PM +0100, Stuart Henderson wrote:
> > Depends on recently submitted devel/ocaml-parmap.
> > http://marc.info/?l=openbsd-ports&m=144189988907219&w=2
> >
> > Lightly tested only.
>
> I installed texlive_base and its odd deps like clisp but that doesn't
> seem to be enough.
>
> It looks like texlive_texmf-full is needed to build the manual,
> after installing that coccinelle builds and runs here on amd64.
Updated diff fixes this, and actually installs the docs.
Index: Makefile
===================================================================
RCS file: /cvs/ports/devel/coccinelle/Makefile,v
retrieving revision 1.25
diff -u -p -r1.25 Makefile
--- Makefile 30 Aug 2015 16:18:48 -0000 1.25
+++ Makefile 11 Sep 2015 10:47:32 -0000
@@ -6,9 +6,7 @@ COMMENT = program matching and transform
# if updating, check for any additional use of diff/grep which
# may need to be switched to gdiff/ggrep
-DISTNAME = coccinelle-1.0.0-rc15
-REVISION = 4
-PKGNAME = ${DISTNAME:S/-rc/rc/}
+DISTNAME = coccinelle-1.0.2
EXTRACT_SUFX = .tgz
CATEGORIES = devel
@@ -25,12 +23,15 @@ MASTER_SITES = ${HOMEPAGE}distrib/
MODULES = lang/ocaml \
lang/python
-BUILD_DEPENDS = ${RUN_DEPENDS} lang/ocaml-camlp4
-RUN_DEPENDS = devel/ocaml-pcre \
+BUILD_DEPENDS = ${RUN_DEPENDS} \
+ lang/ocaml-camlp4 \
+ print/texlive/base \
+ print/texlive/texmf,-full
+RUN_DEPENDS = devel/ocaml-parmap \
+ devel/ocaml-pcre \
sysutils/findlib \
sysutils/ggrep \
textproc/gdiff
-TEST_DEPENDS = ${FULLPKGPATH}
# asks questions at the end if it does better than expected
TEST_IS_INTERACTIVE = Yes
@@ -38,19 +39,23 @@ TEST_IS_INTERACTIVE = Yes
CONFIGURE_STYLE = gnu
CONFIGURE_ENV = MAKE_PROGRAM=${MAKE_PROGRAM}
# The PKG_CHECK_MODULES autoconf macro doesn't have a way to use .private
-CONFIGURE_ENV += PYTHON_LIBS="`pkg-config --static --libs python`"
+CONFIGURE_ENV += PYTHON_LIBS="`pkg-config --static --libs python`" \
+ ac_cv_path_PATCH="patch -z.ccorig"
CONFIGURE_ARGS = --with-python=${MODPY_BIN}
+CONFIGURE_ARGS += --disable-menhirLib # version in ports is too new
-USE_GMAKE = Yes
+USE_GMAKE = Yes
+PORTHOME = ${WRKDIR}
TEST_TARGET = test
+TEST_DEPENDS = ${FULLPKGPATH}
.include <bsd.port.arch.mk>
.if ${PROPERTIES:Mocaml_native_dynlink}
-# word builds both: opt AND byte
+# "world" builds both: opt AND byte
ALL_TARGET = world
.else
-# all-release builds either opt OR byte
+# "all-release" builds either opt OR byte
ALL_TARGET = all-release
.endif
@@ -60,8 +65,10 @@ pre-configure:
post-install:
${MODPY_BIN} ${MODPY_LIBDIR}/compileall.py \
${PREFIX}/share/coccinelle/python/coccilib
- mv \
- ${PREFIX}/share/coccinelle/dllpycaml_stubs.so \
+ mv ${PREFIX}/lib/coccinelle/dllpycaml_stubs.so \
${PREFIX}/lib/ocaml/stublibs/
+ ${INSTALL_DATA_DIR} ${PREFIX}/share/doc/coccinelle
+ cd ${WRKSRC}/docs/manual; \
+ ${MAKE_PROGRAM} WEBDOCS=${PREFIX}/share/doc/coccinelle install
.include <bsd.port.mk>
Index: distinfo
===================================================================
RCS file: /cvs/ports/devel/coccinelle/distinfo,v
retrieving revision 1.9
diff -u -p -r1.9 distinfo
--- distinfo 12 Oct 2012 19:59:32 -0000 1.9
+++ distinfo 11 Sep 2015 10:47:32 -0000
@@ -1,2 +1,2 @@
-SHA256 (coccinelle-1.0.0-rc15.tgz) =
B/q04XUSkluViJC7E8CAl5cHTy5EoRB7AHS9zBVrlZY=
-SIZE (coccinelle-1.0.0-rc15.tgz) = 3328556
+SHA256 (coccinelle-1.0.2.tgz) = TkW5BPQsm4RzIWh4LUkcjBqyO7hdsGxLm6J2K+qKxnk=
+SIZE (coccinelle-1.0.2.tgz) = 2790829
Index: patches/patch-Makefile
===================================================================
RCS file: /cvs/ports/devel/coccinelle/patches/patch-Makefile,v
retrieving revision 1.7
diff -u -p -r1.7 patch-Makefile
--- patches/patch-Makefile 12 Oct 2012 20:53:39 -0000 1.7
+++ patches/patch-Makefile 11 Sep 2015 10:47:32 -0000
@@ -1,36 +1,24 @@
$OpenBSD: patch-Makefile,v 1.7 2012/10/12 20:53:39 sthen Exp $
---- Makefile.orig Thu Aug 16 18:52:07 2012
-+++ Makefile Fri Oct 12 21:23:42 2012
-@@ -275,9 +275,9 @@ purebytecode:
- # copies the stubs libraries (if any) to the root directory
- copy-stubs:
- @if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \
-- cp -fv ./bundles/pycaml/dllpycaml_stubs.so .; fi
-+ cp -f ./bundles/pycaml/dllpycaml_stubs.so .; fi
- @if test -f ./bundles/pcre/dllpcre_stubs.so; then \
-- cp -fv ./bundles/pcre/dllpcre_stubs.so .; fi
-+ cp -f ./bundles/pcre/dllpcre_stubs.so .; fi
-
- ##############################################################################
- # Build version information
-@@ -358,7 +358,7 @@ install-man:
- $(MKDIR_P) $(DESTDIR)$(MANDIR)/man1
+--- Makefile.orig Tue Aug 18 09:31:35 2015
++++ Makefile Thu Sep 10 18:19:21 2015
+@@ -472,7 +472,7 @@ install-man:
$(MKDIR_P) $(DESTDIR)$(MANDIR)/man3
$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
+ $(INSTALL_DATA) docs/pycocci.1 $(DESTDIR)$(MANDIR)/man1/
- $(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/
+ $(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/Coccilib.3
install-bash:
- @echo "Installing bash completion in: ${DESTDIR}${BASH_COMPLETION_DIR}"
-@@ -389,9 +389,9 @@ install-python:
+ @$(ECHO) "Installing bash completion in:
${DESTDIR}${BASH_COMPLETION_DIR}"
+@@ -503,9 +503,9 @@ install-python:
install-stubs:
- $(MKDIR_P) $(DESTDIR)$(SHAREDIR)
+ $(MKDIR_P) $(DESTDIR)$(LIBDIR)
@if test -f ./bundles/pycaml/dllpycaml_stubs.so; then \
-- cp -fv ./bundles/pycaml/dllpycaml_stubs.so
$(DESTDIR)$(SHAREDIR); fi
-+ cp -f ./bundles/pycaml/dllpycaml_stubs.so
$(DESTDIR)$(SHAREDIR); fi
+- cp -fv ./bundles/pycaml/dllpycaml_stubs.so $(DESTDIR)$(LIBDIR);
fi
++ cp -f ./bundles/pycaml/dllpycaml_stubs.so $(DESTDIR)$(LIBDIR);
fi
@if test -f ./bundles/pcre/dllpcre_stubs.so; then \
-- cp -fv ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(SHAREDIR); fi
-+ cp -f ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(SHAREDIR); fi
+- cp -fv ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(LIBDIR); fi
++ cp -f ./bundles/pcre/dllpcre_stubs.so $(DESTDIR)$(LIBDIR); fi
install: install-man install-common install-stubs $(PYTHON_INSTALL_TARGET)
- rm -f $(DESTDIR)$(SHAREDIR)/spatch
+ rm -f $(DESTDIR)$(LIBDIR)/spatch
Index: patches/patch-Makefile_libs
===================================================================
RCS file: patches/patch-Makefile_libs
diff -N patches/patch-Makefile_libs
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ patches/patch-Makefile_libs 11 Sep 2015 10:47:32 -0000
@@ -0,0 +1,11 @@
+$OpenBSD$
+--- Makefile.libs.orig Tue Aug 18 09:21:41 2015
++++ Makefile.libs Thu Sep 10 18:14:58 2015
+@@ -80,5 +80,5 @@ LOCAL_parmap = $(PARMAPDIR)/parmap.cma
+ LOCALOPT_parmap = $(PARMAPDIR)/parmap.cmxa
+ GLOBAL_parmap = $(PARMAPDIR)/parmap.cma
+ GLOBALOPT_parmap = $(PARMAPDIR)/parmap.cmxa
+-FLAGS_parmap = -cclib -lparmap_stubs
+-OPTFLAGS_parmap = -cclib -lparmap_stubs
++#FLAGS_parmap = -cclib -lparmap_stubs
++#OPTFLAGS_parmap = -cclib -lparmap_stubs
Index: patches/patch-cocci_ml
===================================================================
RCS file: /cvs/ports/devel/coccinelle/patches/patch-cocci_ml,v
retrieving revision 1.5
diff -u -p -r1.5 patch-cocci_ml
--- patches/patch-cocci_ml 12 Oct 2012 19:59:32 -0000 1.5
+++ patches/patch-cocci_ml 11 Sep 2015 10:47:32 -0000
@@ -1,32 +1,32 @@
$OpenBSD: patch-cocci_ml,v 1.5 2012/10/12 19:59:32 sthen Exp $
---- cocci.ml.orig Mon Jul 16 17:22:27 2012
-+++ cocci.ml Sun Aug 5 09:31:54 2012
-@@ -269,8 +269,8 @@ let show_or_not_diff2 cfile outfile =
+--- cocci.ml.orig Tue Aug 18 09:31:35 2015
++++ cocci.ml Thu Sep 10 17:50:24 2015
+@@ -267,8 +267,8 @@ let show_or_not_diff2 cfile outfile =
- let line =
- match !Flag_parsing_c.diff_lines with
-- | None -> "diff -u -p " ^ cfile ^ " " ^ outfile
-- | Some n -> "diff -U "^n^" -p "^cfile^" "^outfile in
-+ | None -> "gdiff -u -p " ^ cfile ^ " " ^ outfile
-+ | Some n -> "gdiff -U "^n^" -p "^cfile^" "^outfile in
- let res = Common.cmd_to_list line in
- let res =
- List.map
-@@ -529,7 +529,7 @@ let worth_trying cfiles tokens =
- | _ -> s
+ let line =
+ match !Flag_parsing_c.diff_lines with
+- | None -> "diff -u -p " ^ cfile ^ " " ^ outfile
+- | Some n -> "diff -U "^n^" -p "^cfile^" "^outfile in
++ | None -> "gdiff -u -p " ^ cfile ^ " " ^ outfile
++ | Some n -> "gdiff -U "^n^" -p "^cfile^" "^outfile in
+ let res = Common.cmd_to_list line in
+ (match res with
+ [] -> ()
+@@ -546,7 +546,7 @@ let worth_trying2 cfiles (tokens,_,query,_) =
) in
-- let com = sprintf "egrep -q '(%s)' %s" (join "|" tokens) (join " "
cfiles)
-+ let com = sprintf "gegrep -q '(%s)' %s" (join "|" tokens) (join " "
cfiles)
+ let com =
+- sprintf "egrep -q '(%s)' %s" (join "|" tokens) (join " " cfiles)
++ sprintf "gegrep -q '(%s)' %s" (join "|" tokens) (join " " cfiles)
in
(match Sys.command com with
| 0 (* success *) -> true
-@@ -2049,7 +2049,7 @@ let check_duplicate_modif2 xs =
+@@ -2314,7 +2314,7 @@ let check_duplicate_modif2 xs =
match res2 with
| None -> false
| Some res2 ->
- let diff = Common.cmd_to_list ("diff -u -b -B "^res^"
"^res2)
+ let diff = Common.cmd_to_list ("gdiff -u -b -B "^res^"
"^res2)
in
- null diff
+ diff = []
) xs) then begin
Index: patches/patch-commons_common_ml
===================================================================
RCS file: /cvs/ports/devel/coccinelle/patches/patch-commons_common_ml,v
retrieving revision 1.4
diff -u -p -r1.4 patch-commons_common_ml
--- patches/patch-commons_common_ml 12 Oct 2012 20:53:39 -0000 1.4
+++ patches/patch-commons_common_ml 11 Sep 2015 10:47:32 -0000
@@ -1,7 +1,7 @@
$OpenBSD: patch-commons_common_ml,v 1.4 2012/10/12 20:53:39 sthen Exp $
---- commons/common.ml.orig Thu Aug 16 18:35:22 2012
-+++ commons/common.ml Fri Oct 12 22:09:20 2012
-@@ -3407,7 +3407,7 @@ let glob pattern =
+--- commons/common.ml.orig Sat Jun 13 23:58:25 2015
++++ commons/common.ml Wed Jul 15 14:33:39 2015
+@@ -3335,7 +3335,7 @@ let glob pattern =
let files_of_dir_or_files ext xs =
xs +> List.map (fun x ->
if is_directory x
@@ -10,7 +10,7 @@ $OpenBSD: patch-commons_common_ml,v 1.4
else [x]
) +> List.concat
-@@ -3417,7 +3417,7 @@ let files_of_dir_or_files_no_vcs ext xs =
+@@ -3345,7 +3345,7 @@ let files_of_dir_or_files_no_vcs ext xs =
if is_directory x
then
cmd_to_list
@@ -19,7 +19,7 @@ $OpenBSD: patch-commons_common_ml,v 1.4
"| grep -v /.hg/ |grep -v /CVS/ | grep -v /.git/ |grep -v
/_darcs/"
)
else [x]
-@@ -3430,7 +3430,7 @@ let files_of_dir_or_files_no_vcs_post_filter regex xs
+@@ -3358,7 +3358,7 @@ let files_of_dir_or_files_no_vcs_post_filter regex xs
then
cmd_to_list
("find " ^ x ^
@@ -28,7 +28,7 @@ $OpenBSD: patch-commons_common_ml,v 1.4
)
+> List.filter (fun s -> s =~ regex)
else [x]
-@@ -5357,7 +5357,7 @@ let (diff: (int -> int -> diff -> unit)-> (string list
+@@ -5295,7 +5295,7 @@ let (diff: (int -> int -> diff -> unit)-> (string list
write_file file1 (unwords xs);
write_file file2 (unwords ys);
command2
@@ -37,7 +37,7 @@ $OpenBSD: patch-commons_common_ml,v 1.4
let res = cat fileresult in
let a = ref 0 in
let b = ref 0 in
-@@ -5385,7 +5385,7 @@ let (diff2: (int -> int -> diff -> unit) -> (string *
+@@ -5323,7 +5323,7 @@ let (diff2: (int -> int -> diff -> unit) -> (string *
write_file "/tmp/diff1" xstr;
write_file "/tmp/diff2" ystr;
command2
Index: patches/patch-parsing_c_compare_c_ml
===================================================================
RCS file: /cvs/ports/devel/coccinelle/patches/patch-parsing_c_compare_c_ml,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 patch-parsing_c_compare_c_ml
--- patches/patch-parsing_c_compare_c_ml 14 May 2011 15:02:50 -0000
1.1.1.1
+++ patches/patch-parsing_c_compare_c_ml 11 Sep 2015 10:47:32 -0000
@@ -1,27 +1,15 @@
$OpenBSD: patch-parsing_c_compare_c_ml,v 1.1.1.1 2011/05/14 15:02:50 sthen Exp
$
---- parsing_c/compare_c.ml.orig Thu May 5 20:04:22 2011
-+++ parsing_c/compare_c.ml Thu May 5 20:06:39 2011
-@@ -156,9 +156,9 @@ let compare_ast filename1 filename2 =
- let xs =
+--- parsing_c/compare_c.ml.orig Sat Apr 18 14:37:23 2015
++++ parsing_c/compare_c.ml Sat Apr 25 10:42:50 2015
+@@ -204,9 +204,9 @@ let is_normal_space_or_comment to_expected = function
+ let get_diff filename1 filename2 bs =
+ let com =
match !Flag_parsing_c.diff_lines with
- None ->
-- Common.cmd_to_list ("diff -u -b -B "^filename1^ " " ^ filename2)
-+ Common.cmd_to_list ("gdiff -u -b -B "^filename1^ " " ^ filename2)
+- None -> Printf.sprintf "diff -u %s %s %s" bs filename1 filename2
++ None -> Printf.sprintf "gdiff -u %s %s %s" bs filename1 filename2
| Some n ->
-- Common.cmd_to_list ("diff -U "^n^" -b -B "^filename1^" "^filename2) in
-+ Common.cmd_to_list ("gdiff -U "^n^" -b -B "^filename1^" "^filename2) in
+- Printf.sprintf "diff -U %s %s %s %s" n bs filename1 filename2 in
++ Printf.sprintf "gdiff -U %s %s %s %s" n bs filename1 filename2 in
+ let xs = Common.cmd_to_list com in
(* get rid of the --- and +++ lines *)
- let xs =
-@@ -341,9 +341,9 @@ let do_compare_token adjust_cvs to_expected filename1
- let xs =
- match !Flag_parsing_c.diff_lines with
- None ->
-- Common.cmd_to_list ("diff -u -b -B "^filename1^ " " ^ filename2)
-+ Common.cmd_to_list ("gdiff -u -b -B "^filename1^ " " ^ filename2)
- | Some n ->
-- Common.cmd_to_list ("diff -U "^n^" -b -B "^filename1^" "^filename2) in
-+ Common.cmd_to_list ("gdiff -U "^n^" -b -B "^filename1^" "^filename2) in
-
- (* get rid of the --- and +++ lines *)
- let xs =
Index: patches/patch-scripts_stat_directory_complete_pl
===================================================================
RCS file:
/cvs/ports/devel/coccinelle/patches/patch-scripts_stat_directory_complete_pl,v
retrieving revision 1.2
diff -u -p -r1.2 patch-scripts_stat_directory_complete_pl
--- patches/patch-scripts_stat_directory_complete_pl 18 Jul 2012 08:04:43
-0000 1.2
+++ patches/patch-scripts_stat_directory_complete_pl 11 Sep 2015 10:47:32
-0000
@@ -1,12 +1,12 @@
$OpenBSD: patch-scripts_stat_directory_complete_pl,v 1.2 2012/07/18 08:04:43
sthen Exp $
---- scripts/stat_directory_complete.pl.orig Sun Mar 11 22:52:51 2012
-+++ scripts/stat_directory_complete.pl Wed Mar 14 23:37:53 2012
+--- scripts/stat_directory_complete.pl.orig Tue Aug 18 09:31:37 2015
++++ scripts/stat_directory_complete.pl Thu Sep 10 17:51:44 2015
@@ -256,7 +256,7 @@ foreach my $c (@cfiles) {
mylog "found corrected";
}
my $onlychange = 0;
- open TMP, "diff -u -b -B $bef $aft |";
+ open TMP, "gdiff -u -b -B $bef $aft |";
-
+
my $count = 0;
while(<TMP>) {
Index: pkg/PFRAG.dynlink
===================================================================
RCS file: /cvs/ports/devel/coccinelle/pkg/PFRAG.dynlink,v
retrieving revision 1.1
diff -u -p -r1.1 PFRAG.dynlink
--- pkg/PFRAG.dynlink 27 Nov 2012 10:08:00 -0000 1.1
+++ pkg/PFRAG.dynlink 11 Sep 2015 10:47:32 -0000
@@ -1,3 +1,3 @@
@comment $OpenBSD: PFRAG.dynlink,v 1.1 2012/11/27 10:08:00 sthen Exp $
bin/spatch.opt
-@bin share/coccinelle/spatch.opt
+@bin lib/coccinelle/spatch.opt
Index: pkg/PLIST
===================================================================
RCS file: /cvs/ports/devel/coccinelle/pkg/PLIST,v
retrieving revision 1.8
diff -u -p -r1.8 PLIST
--- pkg/PLIST 27 Nov 2012 10:08:00 -0000 1.8
+++ pkg/PLIST 11 Sep 2015 10:47:32 -0000
@@ -1,96 +1,79 @@
@comment $OpenBSD: PLIST,v 1.8 2012/11/27 10:08:00 sthen Exp $
%%dynlink%%
+bin/pycocci
bin/spatch
bin/spatch.byte
-lib/ocaml/
-lib/ocaml/stublibs/
+lib/coccinelle/
+lib/coccinelle/ocaml/
+lib/coccinelle/ocaml/ast0_cocci.cmi
+lib/coccinelle/ocaml/ast_c.cmi
+lib/coccinelle/ocaml/ast_cocci.cmi
+lib/coccinelle/ocaml/coccilib.cmi
+lib/coccinelle/ocaml/common.cmi
+lib/coccinelle/ocaml/config.cmi
+lib/coccinelle/ocaml/exposed_modules.cmi
+lib/coccinelle/ocaml/flag.cmi
+lib/coccinelle/ocaml/iteration.cmi
+lib/coccinelle/ocaml/lexer_c.cmi
+lib/coccinelle/ocaml/lib_parsing_c.cmi
+lib/coccinelle/ocaml/ocamlcocci_aux.cmi
+lib/coccinelle/ocaml/parse_c.cmi
+lib/coccinelle/ocaml/parser_c.cmi
+lib/coccinelle/ocaml/prepare_ocamlcocci.cmi
+lib/coccinelle/ocaml/pretty_print_c.cmi
+lib/coccinelle/ocaml/regexp.cmi
+lib/coccinelle/ocaml/run_ocamlcocci.cmi
+lib/coccinelle/ocaml/type_cocci.cmi
+lib/coccinelle/ocaml/visitor_c.cmi
+lib/coccinelle/ocaml/yes_prepare_ocamlcocci.cmi
+lib/coccinelle/python/
+lib/coccinelle/python/coccilib/
+lib/coccinelle/python/coccilib/__init__.py
+lib/coccinelle/python/coccilib/coccigui/
+lib/coccinelle/python/coccilib/coccigui/__init__.py
+lib/coccinelle/python/coccilib/coccigui/coccigui.py
+lib/coccinelle/python/coccilib/coccigui/pycoccimodel.py
+lib/coccinelle/python/coccilib/coccigui/pygui.glade
+lib/coccinelle/python/coccilib/coccigui/pygui.gladep
+lib/coccinelle/python/coccilib/coccigui/vim.py
+lib/coccinelle/python/coccilib/coccigui/vimcom.py
+lib/coccinelle/python/coccilib/coccigui/vimeditor.py
+lib/coccinelle/python/coccilib/coccigui/vimembed.py
+lib/coccinelle/python/coccilib/elems.py
+lib/coccinelle/python/coccilib/org.py
+lib/coccinelle/python/coccilib/output.py
+lib/coccinelle/python/coccilib/report.py
+lib/coccinelle/python/coccilib/trac.py
+lib/coccinelle/python/coccilib/xml_firehose.py
+@bin lib/coccinelle/spatch
+lib/coccinelle/standard.h
+lib/coccinelle/standard.iso
lib/ocaml/stublibs/dllpycaml_stubs.so
+@man man/man1/pycocci.1
@man man/man1/spatch.1
@man man/man3/Coccilib.3
-share/coccinelle/
-share/coccinelle/commons/
-share/coccinelle/commons/commands.cmi
-share/coccinelle/commons/common.cmi
-share/coccinelle/commons/common_extra.cmi
-share/coccinelle/commons/glimpse.cmi
-share/coccinelle/commons/interfaces.cmi
-share/coccinelle/commons/oarray.cmi
-share/coccinelle/commons/oassoc.cmi
-share/coccinelle/commons/objet.cmi
-share/coccinelle/commons/ocollection.cmi
-share/coccinelle/commons/ograph.cmi
-share/coccinelle/commons/ograph_extended.cmi
-share/coccinelle/commons/ograph_simple.cmi
-share/coccinelle/commons/osequence.cmi
-share/coccinelle/commons/oset.cmi
-share/coccinelle/commons/parser_combinators.cmi
-share/coccinelle/commons/seti.cmi
-share/coccinelle/globals/
-share/coccinelle/globals/iteration.cmi
-share/coccinelle/ocaml/
-share/coccinelle/ocaml/coccilib.cmi
-share/coccinelle/parsing_c/
-share/coccinelle/parsing_c/ast_c.cmi
-share/coccinelle/parsing_c/comment_annotater_c.cmi
-share/coccinelle/parsing_c/compare_c.cmi
-share/coccinelle/parsing_c/control_flow_c.cmi
-share/coccinelle/parsing_c/control_flow_c_build.cmi
-share/coccinelle/parsing_c/cpp_analysis_c.cmi
-share/coccinelle/parsing_c/cpp_ast_c.cmi
-share/coccinelle/parsing_c/cpp_token_c.cmi
-share/coccinelle/parsing_c/flag_parsing_c.cmi
-share/coccinelle/parsing_c/lexer_c.cmi
-share/coccinelle/parsing_c/lexer_parser.cmi
-share/coccinelle/parsing_c/lib_parsing_c.cmi
-share/coccinelle/parsing_c/parse_c.cmi
-share/coccinelle/parsing_c/parser_c.cmi
-share/coccinelle/parsing_c/parsing_consistency_c.cmi
-share/coccinelle/parsing_c/parsing_hacks.cmi
-share/coccinelle/parsing_c/parsing_recovery_c.cmi
-share/coccinelle/parsing_c/parsing_stat.cmi
-share/coccinelle/parsing_c/pretty_print_c.cmi
-share/coccinelle/parsing_c/semantic_c.cmi
-share/coccinelle/parsing_c/test_parsing_c.cmi
-share/coccinelle/parsing_c/token_c.cmi
-share/coccinelle/parsing_c/token_helpers.cmi
-share/coccinelle/parsing_c/token_views_c.cmi
-share/coccinelle/parsing_c/type_annoter_c.cmi
-share/coccinelle/parsing_c/type_c.cmi
-share/coccinelle/parsing_c/unparse_c.cmi
-share/coccinelle/parsing_c/unparse_cocci.cmi
-share/coccinelle/parsing_c/unparse_hrule.cmi
-share/coccinelle/parsing_c/visitor_c.cmi
-share/coccinelle/python/
-share/coccinelle/python/coccilib/
-share/coccinelle/python/coccilib/__init__.py
-share/coccinelle/python/coccilib/__init__.pyc
-share/coccinelle/python/coccilib/coccigui/
-share/coccinelle/python/coccilib/coccigui/__init__.py
-share/coccinelle/python/coccilib/coccigui/__init__.pyc
-share/coccinelle/python/coccilib/coccigui/coccigui.py
-share/coccinelle/python/coccilib/coccigui/coccigui.pyc
-share/coccinelle/python/coccilib/coccigui/pycoccimodel.py
-share/coccinelle/python/coccilib/coccigui/pycoccimodel.pyc
-share/coccinelle/python/coccilib/coccigui/pygui.glade
-share/coccinelle/python/coccilib/coccigui/pygui.gladep
-share/coccinelle/python/coccilib/coccigui/vim.py
-share/coccinelle/python/coccilib/coccigui/vim.pyc
-share/coccinelle/python/coccilib/coccigui/vimcom.py
-share/coccinelle/python/coccilib/coccigui/vimcom.pyc
-share/coccinelle/python/coccilib/coccigui/vimeditor.py
-share/coccinelle/python/coccilib/coccigui/vimeditor.pyc
-share/coccinelle/python/coccilib/coccigui/vimembed.py
-share/coccinelle/python/coccilib/coccigui/vimembed.pyc
-share/coccinelle/python/coccilib/elems.py
-share/coccinelle/python/coccilib/elems.pyc
-share/coccinelle/python/coccilib/org.py
-share/coccinelle/python/coccilib/org.pyc
-share/coccinelle/python/coccilib/output.py
-share/coccinelle/python/coccilib/output.pyc
-share/coccinelle/python/coccilib/report.py
-share/coccinelle/python/coccilib/report.pyc
-share/coccinelle/python/coccilib/trac.py
-share/coccinelle/python/coccilib/trac.pyc
-@bin share/coccinelle/spatch
-share/coccinelle/standard.h
-share/coccinelle/standard.iso
+share/doc/coccinelle/
+share/doc/coccinelle/contents_motif.gif
+share/doc/coccinelle/index.html
+share/doc/coccinelle/main_grammar.css
+share/doc/coccinelle/main_grammar.html
+share/doc/coccinelle/main_grammar.pdf
+share/doc/coccinelle/main_grammar001.html
+share/doc/coccinelle/main_grammar002.html
+share/doc/coccinelle/main_grammar003.html
+share/doc/coccinelle/main_grammar004.html
+share/doc/coccinelle/main_grammar005.html
+share/doc/coccinelle/main_grammar006.html
+share/doc/coccinelle/main_grammar007.html
+share/doc/coccinelle/main_grammar008.html
+share/doc/coccinelle/main_grammar009.html
+share/doc/coccinelle/main_grammar010.html
+share/doc/coccinelle/main_grammar011.html
+share/doc/coccinelle/main_grammar012.html
+share/doc/coccinelle/main_grammar013.html
+share/doc/coccinelle/main_grammar014.html
+share/doc/coccinelle/main_grammar015.html
+share/doc/coccinelle/manual.pdf
+share/doc/coccinelle/next_motif.gif
+share/doc/coccinelle/options.pdf
+share/doc/coccinelle/previous_motif.gif
