GDB 7.8 adds Guile scripting support. This is now enabled by default as
well. Checking for guile also adds a pkg-config dependency.
It seems Python is explicitly excluded from cross building. I'm not
sure if Guile should also be excluded.
BOSSA is a flash programming utility for Atmel's SAM family of flash-based ARM microcontrollers. The motivation behind
BOSSA is to create a simple, easy-to-use, open source utility to replace Atmel's SAM-BA software. BOSSA is an acronym
for Basic Open Source SAM-BA Application to reflect that goal.
(My OCD kicked in today...)
Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.
I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.
I've tried to stay away from generated expressions (and I think I
succeeded).
Some specifics worth mentioning:
* cron, has "Vixie Cron" in its description. The "Vixie" part is not
mentioned anywhere else. I kept it in a parenthesis at the end of the
description.
* ctags description started with "Exuberant Ctags ...", and the
"exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
at the end of description.
* nix has the description "The Nix Deployment System". Since that
doesn't really say much what it is/does (especially after removing
the package name!), I changed that to "Powerful package manager that
makes package management reliable and reproducible" (borrowed from
nixos.org).
* Tons of "GNU Foo, Foo is a [the important bits]" descriptions
is changed to just [the important bits]. If the package name doesn't
contain GNU I don't think it's needed to say it in the description
either.
* 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
