From cbd969bd9bdd9acc02d55deefcabfbb6daa332f7520e7a62f9f1c473f4ae5b3b Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Wed, 5 Aug 2015 14:34:31 +0000 Subject: [PATCH 1/3] Accepting request 320722 from home:pluskalm:branches:devel:tools - Update to 1.0.1 * Language: + allow static on type-level declarers * Features: + add --use-gitgrep option, for scanning with git grep * Bugfix: + Take into account constraints when determining whether a metavar is pure don't add switch fall through when a default is hidden under another case label. OBS-URL: https://build.opensuse.org/request/show/320722 OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=43 --- coccinelle-1.0.0.tgz | 3 --- coccinelle-1.0.1.tgz | 3 +++ coccinelle.changes | 13 +++++++++++++ coccinelle.spec | 2 +- 4 files changed, 17 insertions(+), 4 deletions(-) delete mode 100644 coccinelle-1.0.0.tgz create mode 100644 coccinelle-1.0.1.tgz diff --git a/coccinelle-1.0.0.tgz b/coccinelle-1.0.0.tgz deleted file mode 100644 index aa79659..0000000 --- a/coccinelle-1.0.0.tgz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:e18b4c77964c6f623c385dc8b2fcb46beacd9811927617144620b12d93289e74 -size 3427246 diff --git a/coccinelle-1.0.1.tgz b/coccinelle-1.0.1.tgz new file mode 100644 index 0000000..8abd525 --- /dev/null +++ b/coccinelle-1.0.1.tgz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:39caac46c1f80cbe5de21164c5b31a794e3befdb9cd7ef1d080d455ac171b526 +size 2772730 diff --git a/coccinelle.changes b/coccinelle.changes index 48b4b41..4c6a633 100644 --- a/coccinelle.changes +++ b/coccinelle.changes @@ -1,3 +1,16 @@ +------------------------------------------------------------------- +Wed Aug 5 14:22:01 UTC 2015 - mpluskal@suse.com + +- Update to 1.0.1 + * Language: + + allow static on type-level declarers + * Features: + + add --use-gitgrep option, for scanning with git grep + * Bugfix: + + Take into account constraints when determining whether a + metavar is pure don't add switch fall through when a default + is hidden under another case label. + ------------------------------------------------------------------- Tue May 5 12:43:14 UTC 2015 - mpluskal@suse.com diff --git a/coccinelle.spec b/coccinelle.spec index 003614a..90593a2 100644 --- a/coccinelle.spec +++ b/coccinelle.spec @@ -17,7 +17,7 @@ Name: coccinelle -Version: 1.0.0 +Version: 1.0.1 Release: 0 Summary: Semantic patch utility License: GPL-2.0 From 991bbdb647210a22a3540a97e1b3a215940f1f89f6259764a95dd099e7371203 Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Fri, 7 Aug 2015 09:44:52 +0000 Subject: [PATCH 2/3] revert last change - build is broken: no such file or directory: dllpycaml_stubs.so OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=44 --- coccinelle-1.0.0.tgz | 3 +++ coccinelle-1.0.1.tgz | 3 --- coccinelle.changes | 13 ------------- coccinelle.spec | 2 +- 4 files changed, 4 insertions(+), 17 deletions(-) create mode 100644 coccinelle-1.0.0.tgz delete mode 100644 coccinelle-1.0.1.tgz diff --git a/coccinelle-1.0.0.tgz b/coccinelle-1.0.0.tgz new file mode 100644 index 0000000..aa79659 --- /dev/null +++ b/coccinelle-1.0.0.tgz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e18b4c77964c6f623c385dc8b2fcb46beacd9811927617144620b12d93289e74 +size 3427246 diff --git a/coccinelle-1.0.1.tgz b/coccinelle-1.0.1.tgz deleted file mode 100644 index 8abd525..0000000 --- a/coccinelle-1.0.1.tgz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:39caac46c1f80cbe5de21164c5b31a794e3befdb9cd7ef1d080d455ac171b526 -size 2772730 diff --git a/coccinelle.changes b/coccinelle.changes index 4c6a633..48b4b41 100644 --- a/coccinelle.changes +++ b/coccinelle.changes @@ -1,16 +1,3 @@ -------------------------------------------------------------------- -Wed Aug 5 14:22:01 UTC 2015 - mpluskal@suse.com - -- Update to 1.0.1 - * Language: - + allow static on type-level declarers - * Features: - + add --use-gitgrep option, for scanning with git grep - * Bugfix: - + Take into account constraints when determining whether a - metavar is pure don't add switch fall through when a default - is hidden under another case label. - ------------------------------------------------------------------- Tue May 5 12:43:14 UTC 2015 - mpluskal@suse.com diff --git a/coccinelle.spec b/coccinelle.spec index 90593a2..003614a 100644 --- a/coccinelle.spec +++ b/coccinelle.spec @@ -17,7 +17,7 @@ Name: coccinelle -Version: 1.0.1 +Version: 1.0.0 Release: 0 Summary: Semantic patch utility License: GPL-2.0 From 9bd08e3629a6012dcbad8a6f708c0334fe2c52d22df536691ae274d85881ebda Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Sun, 23 Aug 2015 08:16:35 +0000 Subject: [PATCH 3/3] Accepting request 325456 from home:pluskalm:branches:devel:tools - Update to 1.0.2 * Positions of C tokens are now computed while lexing rather than during a distinct pass. This makes use of the Lexing.new_line function which has been introduced in OCaml 3.11. Coccinelle can thus no longer be compiled with OCaml 3.10. --use-gitgrep falls back to --use-coccigrep for a non-git repository. * ocaml coccilib allows propagating identifiers, expressions, statements, listlens, and positions to subsequent matching rules * Allow @S, for statement metavariable S on expressions * Exploit explicit positive constraints (no regexps) on identifiers in file filtering * Ability to declare a rule as matching an identifier. Doesn't work properly for names of typedefs, enums, structures, or unions. * Iso: allow mixed for model for the case where the model is just a metavar * Allow ! to propagate into == or other ops in more cases. - Update to 1.0.1 * Language: + allow static on type-level declarers * Features: + add --use-gitgrep option, for scanning with git grep * Bugfix: + Take into account constraints when determining whether a metavar is pure don't add switch fall through when a default is hidden under another case label. OBS-URL: https://build.opensuse.org/request/show/325456 OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=45 --- coccinelle-1.0.0.tgz | 3 --- coccinelle-1.0.2.tgz | 3 +++ coccinelle.changes | 34 ++++++++++++++++++++++++++++++++++ coccinelle.spec | 15 ++++++--------- 4 files changed, 43 insertions(+), 12 deletions(-) delete mode 100644 coccinelle-1.0.0.tgz create mode 100644 coccinelle-1.0.2.tgz diff --git a/coccinelle-1.0.0.tgz b/coccinelle-1.0.0.tgz deleted file mode 100644 index aa79659..0000000 --- a/coccinelle-1.0.0.tgz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:e18b4c77964c6f623c385dc8b2fcb46beacd9811927617144620b12d93289e74 -size 3427246 diff --git a/coccinelle-1.0.2.tgz b/coccinelle-1.0.2.tgz new file mode 100644 index 0000000..7e170ae --- /dev/null +++ b/coccinelle-1.0.2.tgz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4e45b904f42c9b84732168782d491c8c1ab23bb85db06c4b9ba2762bea8ac679 +size 2790829 diff --git a/coccinelle.changes b/coccinelle.changes index 48b4b41..a255ea7 100644 --- a/coccinelle.changes +++ b/coccinelle.changes @@ -1,3 +1,37 @@ +------------------------------------------------------------------- +Sat Aug 22 14:30:59 UTC 2015 - mpluskal@suse.com + +- Update to 1.0.2 + * Positions of C tokens are now computed while lexing rather than + during a distinct pass. This makes use of the Lexing.new_line + function which has been introduced in OCaml 3.11. Coccinelle + can thus no longer be compiled with OCaml 3.10. --use-gitgrep + falls back to --use-coccigrep for a non-git repository. + * ocaml coccilib allows propagating identifiers, expressions, + statements, listlens, and positions to subsequent matching rules + * Allow @S, for statement metavariable S on expressions + * Exploit explicit positive constraints (no regexps) on + identifiers in file filtering + * Ability to declare a rule as matching an identifier. Doesn't + work properly for names of typedefs, enums, structures, or + unions. + * Iso: allow mixed for model for the case where the model is just + a metavar + * Allow ! to propagate into == or other ops in more cases. + +------------------------------------------------------------------- +Wed Aug 5 14:22:01 UTC 2015 - mpluskal@suse.com + +- Update to 1.0.1 + * Language: + + allow static on type-level declarers + * Features: + + add --use-gitgrep option, for scanning with git grep + * Bugfix: + + Take into account constraints when determining whether a + metavar is pure don't add switch fall through when a default + is hidden under another case label. + ------------------------------------------------------------------- Tue May 5 12:43:14 UTC 2015 - mpluskal@suse.com diff --git a/coccinelle.spec b/coccinelle.spec index 003614a..69935f4 100644 --- a/coccinelle.spec +++ b/coccinelle.spec @@ -17,7 +17,7 @@ Name: coccinelle -Version: 1.0.0 +Version: 1.0.2 Release: 0 Summary: Semantic patch utility License: GPL-2.0 @@ -68,24 +68,21 @@ export NO_DEBUGINFO_STRIP_DEBUG=true : >debugsources.list b="%buildroot" -make install DESTDIR="$b"; +make install DESTDIR="$b" # Remove coccilib, don't have the deps -rm -Rf "$b/%_datadir/%name"/{commons,globals,ocaml,parsing_c} \ +rm -Rf "$b/%_libdir/%name"/{commons,globals,ocaml,parsing_c} \ "$b/%_mandir/man3"/Coccilib*; mkdir -p "$b/%_libdir"; -mv "$b/%_datadir/%name/dllpycaml_stubs.so" "$b/%_libdir/"; -mv "$b/%_datadir/%name/spatch" "$b/%_bindir/spatch.bin" -ln -s %_bindir/spatch.bin "$b/%_datadir/%name/spatch" %fdupes %buildroot/%_prefix %files %defattr(-,root,root) %doc authors.txt bugs.txt changes.txt copyright.txt credits.txt %doc license.txt readme.txt -%doc %_mandir/man?/* +%_mandir/man?/* %_bindir/spatch* -%_libdir/dllpycaml_stubs.so -%_datadir/%name/ +%_bindir/pycocci +%_libdir/%name %changelog