Commit Graph

65 Commits

Author SHA256 Message Date
Dominique Leuenberger
63ca25422a Accepting request 721041 from devel:tools
OBS-URL: https://build.opensuse.org/request/show/721041
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=24
2019-08-06 13:11:14 +00:00
Martin Pluskal
8c1a9218ad Accepting request 719542 from home:dimstar:Factory
- Drop pre-shipped binaries for spgen and spgen.opt: since these
  are x86_64 binaries, they would not be usable on i586 builds of
  coccinella.

This will allow coccinella to be installabled on 32bit systems, as the deps on 64bit libraries is gone

OBS-URL: https://build.opensuse.org/request/show/719542
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=63
2019-08-05 12:16:36 +00:00
Dominique Leuenberger
b5de9a6da1 Accepting request 568888 from devel:tools
- Build under rpm 4.14

OBS-URL: https://build.opensuse.org/request/show/568888
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=23
2018-01-24 14:32:40 +00:00
4cf6d6ea63 - Build under rpm 4.14
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=61
2018-01-24 11:32:49 +00:00
Dominique Leuenberger
4d7eb08f1b Accepting request 548610 from devel:tools
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/548610
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=22
2017-12-06 08:00:22 +00:00
58af012f1a - Add kill-env.diff
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=59
2017-11-28 10:27:21 +00:00
baf4361e1e cherry-pick 546128
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=58
2017-11-28 10:23:09 +00:00
aae8944b75 generalize description; add C++ note
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=57
2017-11-27 10:39:29 +00:00
9bae13f456 enable parallel build
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=56
2017-11-27 10:37:26 +00:00
ae3670802f OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=55 2017-11-26 22:48:38 +00:00
96c088968d coccinelle-1.0.6
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=54
2017-11-26 22:48:19 +00:00
Dominique Leuenberger
b5d529ad46 Accepting request 415235 from devel:tools
make the check script happy

OBS-URL: https://build.opensuse.org/request/show/415235
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=21
2016-08-05 16:16:06 +00:00
d43bc1e6a9 from sr 398869
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=52
2016-07-26 10:52:54 +00:00
c9dec2bb12 Accepting request 398866 from home:olh:branches:devel:tools
- Use ocamlfind(camlp4) to refer to camlp4

OBS-URL: https://build.opensuse.org/request/show/398866
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=51
2016-05-30 08:53:38 +00:00
a12bc842ea Accepting request 397728 from home:olh:branches:devel:tools
- Fix build with ocaml-4.03
  Use ocaml-parmap and ocaml-menhir instead of old built-in copies
  Use ocaml-pcre

OBS-URL: https://build.opensuse.org/request/show/397728
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=50
2016-05-24 14:32:02 +00:00
Dominique Leuenberger
60304adc4b Accepting request 348978 from devel:tools
- Update to 1.0.4

OBS-URL: https://build.opensuse.org/request/show/348978
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=20
2015-12-24 11:16:14 +00:00
bc85ccd3a4 trim changelog and adhere to format
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=48
2015-12-15 10:36:49 +00:00
4ceb557a7d Accepting request 348938 from home:dsterba:branches:devel:tools
- Update to 1.0.4

OBS-URL: https://build.opensuse.org/request/show/348938
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=47
2015-12-15 10:27:01 +00:00
Stephan Kulow
d9dae5b9d3 Accepting request 325459 from devel:tools
- Update to 1.0.2

OBS-URL: https://build.opensuse.org/request/show/325459
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=19
2015-08-27 06:55:56 +00:00
9bd08e3629 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
2015-08-23 08:16:35 +00:00
991bbdb647 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
2015-08-07 09:44:52 +00:00
cbd969bd9b 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
2015-08-05 14:34:31 +00:00
Dominique Leuenberger
67407b3a42 Accepting request 305444 from devel:tools
- Update to release 1.0.0
  * see changes.txt for full list of changes (forwarded request 305443 from pluskalm)

OBS-URL: https://build.opensuse.org/request/show/305444
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=18
2015-05-06 05:49:32 +00:00
a3cfa0f441 Accepting request 305443 from home:pluskalm:branches:devel:tools
- Update to release 1.0.0
  * see changes.txt for full list of changes

OBS-URL: https://build.opensuse.org/request/show/305443
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=41
2015-05-05 12:51:42 +00:00
Dominique Leuenberger
c40df4f4d3 Accepting request 286978 from devel:tools
1

OBS-URL: https://build.opensuse.org/request/show/286978
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=17
2015-02-22 16:26:23 +00:00
Martin Pluskal
8f42fb320a Accepting request 286975 from home:dsterba:branches:devel:tools
OBS-URL: https://build.opensuse.org/request/show/286975
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=39
2015-02-20 13:12:22 +00:00
Dominique Leuenberger
a0a5c44dd9 Accepting request 263229 from devel:tools
fix spatch link. The target did not exist. (forwarded request 263223 from jirislaby)

OBS-URL: https://build.opensuse.org/request/show/263229
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=16
2014-11-28 07:44:47 +00:00
29334aee04 Accepting request 263223 from home:jirislaby:branches:devel:tools
fix spatch link. The target did not exist.

OBS-URL: https://build.opensuse.org/request/show/263223
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=37
2014-11-27 13:48:28 +00:00
Stephan Kulow
3302205f62 Accepting request 254876 from devel:tools
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/254876
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=15
2014-10-11 17:26:23 +00:00
4688731725 coccinelle-1.0.0~rc22
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=35
2014-10-02 15:20:49 +00:00
Stephan Kulow
ea895eff6c Accepting request 248729 from devel:tools
- Update to new upstream release 1.0.0~rc21

OBS-URL: https://build.opensuse.org/request/show/248729
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=14
2014-09-12 13:25:16 +00:00
adf6f05991 OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=33 2014-09-09 23:35:47 +00:00
d098821b2f patch metadata
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=32
2014-09-09 23:34:31 +00:00
c77a3bfda1 coccinelle-1.0.0~rc21
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=31
2014-09-09 23:23:27 +00:00
Stephan Kulow
da1f4d4807 Accepting request 174925 from devel:tools
- Update to new upstream release 1.0.0~rc17

OBS-URL: https://build.opensuse.org/request/show/174925
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=11
2013-05-13 12:43:28 +00:00
bd1ccd3af1 Switch to pkgconfig() requires
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=29
2013-05-09 17:52:04 +00:00
7841b06adb coccinelle-1.0.0~rc17
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=28
2013-05-03 06:39:15 +00:00
Stephan Kulow
9a16b3bce3 Accepting request 137819 from devel:tools
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/137819
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=9
2012-10-11 08:38:27 +00:00
a5f0d21ac9 ocaml scripting requires at least 3.11
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=26
2012-10-04 01:34:41 +00:00
aece3a617f coccinelle-1.0.0~rc15
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=25
2012-10-03 16:37:56 +00:00
Ismail Dönmez
296087fdd6 Accepting request 134068 from devel:tools
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/134068
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=8
2012-09-14 10:22:03 +00:00
37469e6a0b Add required run-time dependencies
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=23
2012-09-06 01:17:59 +00:00
Stephan Kulow
627e22564e Accepting request 105179 from devel:tools
- patch license to follow spdx.org standard

OBS-URL: https://build.opensuse.org/request/show/105179
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=6
2012-02-16 11:19:06 +00:00
b27bf2fc5c Accepting request 104314 from devel:openSUSE:Factory:patch-license
patch license to follow spdx.org standard

OBS-URL: https://build.opensuse.org/request/show/104314
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=21
2012-02-13 11:15:06 +00:00
Sascha Peilicke
cfeb4f4fcb Accepting request 84115 from devel:tools
Resubmit for #83954 after syncing comment headers.
- Update to new upstream release 1.0.0
*[...]see http://coccinelle.lip6.fr/distrib/changes.html for details

OBS-URL: https://build.opensuse.org/request/show/84115
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=4
2011-09-21 14:58:03 +00:00
Stephan Kulow
eec1f4abf4 old stuff
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=19
2011-09-21 11:51:27 +00:00
Stephan Kulow
2d1ca8062f old stuff
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=18
2011-09-21 11:51:14 +00:00
Stephan Kulow
6107f8d229 prepare_spec
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=17
2011-09-21 11:49:01 +00:00
Stephan Kulow
e440213047 OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=15 2011-09-21 11:48:54 +00:00
4cba30c5e1 Run format-spec-file to apply same changes as have been done in Factory regarding comments
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=14
2011-09-21 10:53:31 +00:00