pool/coccinelle
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
102 Commits 1 Branch 0 Tags 161 KiB
factory
Commit Graph

102 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
adf6f05991 OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=33 2014-09-09 23:35:47 +00:00
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
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
Jan Engelhardt
f6e8b5fa82 Nuke unsatisfiable dependencies on ocaml runtime 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=13
 2011-09-20 15:13:51 +00:00
Jan Engelhardt
518252bfa7 1.0.0~rc4 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=12
 2011-07-10 19:11:12 +00:00
Jan Engelhardt
bdae1e7d87 1.0.0-rc3 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=11
 2011-06-25 20:25:31 +00:00
Ruediger Oertel
8d4fca05ce Autobuild autoformatter for 59367 
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=2
 2011-02-02 01:23:13 +00:00
Ruediger Oertel
9bacca12bc Accepting request 59367 from devel:tools 
Accepted submit request 59367 from user jengelh

OBS-URL: https://build.opensuse.org/request/show/59367
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coccinelle?expand=0&rev=1
 2011-02-02 01:23:01 +00:00
Jan Engelhardt
e67eecb600 Fix python 2.7.0 detection 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=10
 2011-01-20 20:23:41 +00:00
Jan Engelhardt
7c9f539b0b Update to 0.2.5 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=9
 2011-01-20 13:46:51 +00:00
Jan Engelhardt
33fb363739 rpmlint patch 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=8
 2010-04-24 20:44:04 +00:00
Jan Engelhardt
ecc0cd7699 disable strip 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=7
 2010-04-24 19:15:08 +00:00
Jan Engelhardt
7316a76027 install all files required by spatch 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=6
 2010-03-25 00:52:03 +00:00
Jan Engelhardt
9121ea593d Update to 0.2.2 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=5
 2010-03-15 12:29:05 +00:00
Pavol Rusnak
1379be262f fix 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=4
 2010-02-25 08:38:10 +00:00
Pavol Rusnak
34815df203 cleanup 
OBS-URL: https://build.opensuse.org/package/show/devel:tools/coccinelle?expand=0&rev=3
 2010-02-25 08:36:59 +00:00