* 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>
This includes a lot of fixes for cross-building to Windows and Mac OS X
and could possibly fix things even for non-cross-builds, like for
example OpenSSL on Windows.
The main reason for merging this in 14.04 already is that we already
have runInWindowsVM in master and it doesn't work until we actually
cross-build Cygwin's setup binary as the upstream version is a fast
moving target which gets _overwritten_ on every new release.
Conflicts:
pkgs/top-level/all-packages.nix
