File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 1- ## 0.4.5 (2023-09-10)
1+ ## 0.4.6 (2023-09-10)
22
33* lintcstubs-dune-rules helper added
44
Original file line number Diff line number Diff line change 1212(rule (targets . /lintcstubs . log . /lintcstubs . sarif )
1313 (enabled_if %{bin -available :lintcstubs })
1414 (deps (:primitives . /primitives . h ) (:model foo2 . model . c ) %{bin :lintcstubs }
15- (package lintcstubs ))
15+ (package lintcstubs ) compile_commands . json )
1616 (action
1717 (with -stdout -to . /lintcstubs . log
1818 (run %{bin :lintcstubs } --conf lintcstubs . json -o . /lintcstubs . sarif -I
Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ let analyze_rules =
4848 (rule
4949 (targets % {log} % {sarif})
5050 (enabled_if % {bin- available :lintcstubs})
51- (deps (:primitives) (:model) % {bin :lintcstubs} (package lintcstubs))
51+ (deps (:primitives) (:model) % {bin :lintcstubs} (package lintcstubs) compile_commands.json )
5252 (action
5353 (with - stdout- to % {log}
5454 (run % {bin :lintcstubs} -- conf lintcstubs.json - o % {sarif} - I % {ocaml_where} -- set dbg.solver- stats- interval 0 compile_commands.json % {model})
You can’t perform that action at this time.
0 commit comments