* Remove unneeded --enable-<JLINK_BASED_DEBUGGER> configure flags.
configure auto selects support for them now (and they're all enabled).
* Not everything is auto-detected; I asked on the openocd mailing list
and they suggested a set of ./configure flags for a "distro build"
(add them).
* Remove --enable-ft2232_libftdi because configure says that it's
deprecated and we should use libftdi (which we are using when *not*
passing --enable-ft2232_libftdi (or --enable-legacy-ft2232_libftdi as
the option is now known as)).
* Add needed pkgconfig build input.
* Udev rules file has been renamed in source archive: openocd.rules =>
99-openocd.rules.
chrpath is a command line tool to adjust the RPATH or RUNPATH of ELF
binaries.
(Yes, it is similar to our patchelf tool.)
gpsd and Yocto/OpenEmbedded depend on chrpath (although we have
currently patched that dependency out of gpsd).
* Use stdenv.mkDerivation instead of composableDerivation.
stdenv.mkDerivation is the current coding standard and is easier to
read (IMHO).
* Remove the 'parportSupport' flag because it doesn't do anything.
(Parallel port support is still enabled.)
* Remove unneeded --disable-dependency-tracking flag to ./configure; our
default builder does that already.
* Fix documentation build. But it is still disabled (by default),
because texLive is such a big dependency. There is always the man
page.
* Update 'meta' attributes
Verified on OS X 10.9.2 to build and check, dependents build fine too.
@vcunat enabled doCheck as it works for him on x86_64-linux;
also did style nitpick modification, and changed platforms to .all
according to the homepage http://www.swig.org/compat.html
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>
