diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-05-01 02:30:12 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-05-01 02:42:34 -0500 |
commit | 628e914f2b59f7096c41780e373767f1a767147d (patch) | |
tree | 92b7c1ba739d8ca8296e0f85ffccca769fcb62e2 /maintainers/scripts/copy-tarballs.pl | |
parent | 6d52463bd338ebe3bdb1aeed6b6557d219c37788 (diff) | |
download | nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar.gz nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar.bz2 nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar.lz nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar.xz nixlib-628e914f2b59f7096c41780e373767f1a767147d.tar.zst nixlib-628e914f2b59f7096c41780e373767f1a767147d.zip |
frama-c: overhaul, upgrade to 20140301-Neon
This massively upgrades the frama-c package to be far more useful, including support for a lot more plugins, including Jessie. Jessie unfortunately requires that its plugin is installed alongside frama-c, so we install why2 (where it lives) along with frama-c now. This increases the size, but makes it much more useful. In the future, it may be possible to split out the build such that why2 is a separate expression and frama-c only installs the plugin, rather than all of why2. However, right now this is fine. Furthermore, why3 is now a dependency - the Jessie plugin can use either, and defaults to Why3 now. Per the design, Frama-C can also go from Why2->Why3 as well. We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users get at least one SMT solver and a prover for support. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'maintainers/scripts/copy-tarballs.pl')
0 files changed, 0 insertions, 0 deletions