Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
108 stars 40 forks source link

Hmedina patch 2 #651

Open hmedina opened 1 year ago

hmedina commented 1 year ago

Fix #650 by explicitly stating the unix library imports. Most ka-things import kappa_generic_toolset, and so adding unix to that library's Dune stanza solved most of the warnings. The version object got a command-line flag instead.

Changes to the continuous integration script are just to strengthen it against a known failure mode, as documented in that commit message (https://github.com/Kappa-Dev/KappaTools/commit/d796fa7e39c918bd4a6dc881d0c2b6efb7ef0ccd)

Although the KappaTools compile under OCaml 5, the documentation appears to require tyxml, which does not yet support OCaml 5 (see https://github.com/Kappa-Dev/KappaTools/commit/b9fe862fea9718eada0edb2810328cc63ddacfcf), and so OCaml 5 can't be included in the build matrix (yet...)