search

Frama-C / headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
Other
24 stars 7 forks source link

Ensure compatibility with camomile 2.0.0, upgrade dependencies and release 1.07 #6

Closed maroneze closed 1 year ago

maroneze commented 1 year ago

Apply @dmbaturin's patch, update camomile constraint in opam file.

The lang dune version was upgraded since it helps detect more warnings (such as 'unused variable', which I fixed).

Upgrade dependencies in the opam file and bump version.

dmbaturin commented 1 year ago

Sorry, I forgot to git add the opam file with the constraint update — I was too sleepy to make PRs already, it seems... thanks for fixing it!