JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
cf871089b5
nixpkgs/pkgs/development/tools/misc
History
Austin Seipp 628e914f2b 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>
2014-05-01 02:42:34 -05:00
..
astyle astyle: update from 2.02.1 to 2.04 2013-12-15 11:25:54 +02:00
autobuild Some description fixes 2013-10-05 19:36:23 +02:00
autoconf add branch info 2014-02-18 04:13:45 +02:00
autogen Fix some "meta.licenses" attributes 2014-01-25 03:04:46 +01:00
automake automake: update from 1.12.4 to 1.12.6 2014-03-21 10:34:20 +01:00
automoc4 * Whitepace. 2011-07-07 17:24:53 +00:00
avarice Some description fixes 2013-10-05 19:36:23 +02:00
avrdude avrdude: update from 5.11 to 6.0.1 2013-12-18 18:18:18 +02:00
babeltrace babeltrace: update from 1.1.1 to 1.2.1 2014-04-13 10:47:17 +02:00
binutils binutils: Use dynamic instead of shared libraries 2014-01-07 15:01:59 +01:00
cbrowser * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
ccache ccache: update from 3.1.7 to 3.1.9 2013-12-18 18:18:21 +02:00
cflow Remove support for the obsolete powerpc-darwin and i686-darwin platforms 2012-11-29 14:10:49 +01:00
cgdb add repositories.git to several packages 2014-02-14 09:34:30 +02:00
cl-launch Fix CL-Launch source link 2014-03-09 12:47:33 +04:00
coccinelle unmaintain several packages 2013-08-16 23:45:01 +02:00
complexity complexity: fix build 2013-11-28 23:52:49 +00:00
cpphs haskell-cpphs: update to version 1.18.4 2014-03-27 13:12:54 +01:00
cppi cppi: update to version 1.18 2013-03-18 11:37:46 +01:00
cproto * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
cscope Rename buildNativeInputs -> nativeBuildInputs 2012-12-28 19:20:09 +01:00
ctags ctags: update to SVN revision 804 2013-03-06 12:38:49 +01:00
d-feet Add platforms and maintainers to d-feet. 2014-01-06 00:48:23 +01:00
dbench add dbench 2011-08-25 01:00:13 +00:00
ddd Updating ddd, and adding a small patch for it to compile with gcc 4.4 2010-02-22 08:08:29 +00:00
dejagnu dejagnu: minor update 2013-09-07 16:20:39 +02:00
dfu-programmer dfu-programmer: New package. 2014-03-07 13:28:33 +01:00
distcc distcc: Fixing indentation 2012-12-26 23:32:23 +01:00
drush drush: add expression 2013-12-05 04:38:35 +00:00
eggdbus eggdbus-0.6 2010-05-15 09:55:08 +00:00
elfutils elfutils: update 0.155 -> 0.158 2014-04-20 18:24:11 +02:00
epm * More OpenOffice hackery. Added the magic incantations to get it to 2007-09-06 15:00:33 +00:00
frama-c frama-c: overhaul, upgrade to 20140301-Neon 2014-05-01 02:42:34 -05:00
gdb gdb: adding a patch to handle well the edit cmd + SIGWINCH. 2014-03-20 11:09:39 +01:00
gengetopt gengetopt: update from 2.22.5 to 2.22.6 2013-12-12 03:11:34 +02:00
global Change several package constraints from linux to unix 2014-04-12 16:01:16 -05:00
gnum4 gnum4: drop obsolete patches 2013-09-22 16:35:54 +02:00
gob2 gob2: Use fetchurl_gnome. Previous URL disappeared. 2013-03-03 20:52:31 +01:00
gperf GNU gperf 3.0.4. 2009-02-05 16:49:41 +00:00
gtkdialog gtkdialog: update to 0.8.3 2013-09-14 00:10:17 +02:00
help2man help2man: update from 1.43.3 to 1.44.1 2014-03-01 05:26:44 +02:00
hydra * Undo accidental commit. 2012-03-12 15:34:00 +00:00
icon-naming-utils icon-naming-utils: add librsvg dependency and meta.platforms 2014-01-10 01:45:32 +01:00
indent make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
inotify-tools * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
intltool Update some more platforms 2013-11-06 10:58:20 +01:00
itstool itstool: update 2013-04-20 10:25:24 +02:00
jscoverage jscoverage-0.5.1 2011-06-21 07:28:30 +00:00
libtool Rename buildNativeInputs -> nativeBuildInputs 2012-12-28 19:20:09 +01:00
lsof Allow lsof to build on darwin (fixes #2219) 2014-04-12 11:14:18 -05:00
ltrace ltrace: fix build with latest gcc (by disabling -Werror) 2014-04-09 12:41:11 +02:00
lttng-tools lttng project: update from 2.3.0 to 2.4.1 2014-04-13 10:47:16 +02:00
lttng-ust lttng project: update from 2.3.0 to 2.4.1 2014-04-13 10:47:16 +02:00
lttv set all licenses to be attributes (and wait for Nix 1.7) 2014-03-12 21:20:43 +01:00
luarocks Update LuaRocks 2014-03-08 21:13:00 +04:00
ninka ninka: update to 1.1 and refactor 2013-10-30 11:47:12 +01:00
openocd openocd: install udev rules 2014-03-08 21:46:13 +01:00
patchelf patchelf: Update to 0.8 2014-01-14 14:21:27 +01:00
pkgconfig Add vanilla pkg-config 2012-06-13 07:09:10 +00:00
pmccabe Add pmccabe, a tool that computes the cyclomatic complexity of C/C++ source. 2008-06-06 12:26:01 +00:00
premake Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
saleae-logic saleae-logic: install udev rules 2014-03-08 21:46:13 +01:00
sloccount unmaintain several packages 2013-08-16 23:45:01 +02:00
srecord srecord: new package 2013-07-19 00:29:50 +02:00
stlink Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
stm32flash Fix some issues in my packages reported by nixpkgs-lint. 2013-09-26 20:03:57 +00:00
strace Adopt more packages. 2014-01-28 18:11:00 +01:00
swig Add swig-3.x 2014-04-20 11:30:31 +01:00
sysbench More description fixes 2013-10-06 12:01:38 +02:00
tcptrack Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
teensy teensy-loader: New package 2014-02-18 01:02:47 +01:00
texi2html make package use mirror:// for gnu, savannah and gnome repositories where possible 2013-07-14 05:23:06 +03:00
texinfo texinfo: move ncurses support into texinfoInteractive 2014-04-02 19:05:56 +02:00
uhd uhd: update 3.5.4 -> 3.7.0 2014-04-15 07:11:41 +02:00
uisp * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
uncrustify uncrustify: new package 2013-08-31 09:42:20 +02:00
unifdef * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
usb-modeswitch * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
xc3sprog xc3sprog: new package 2013-10-26 12:43:12 +02:00
xxdiff xxdiff: update to version 4.0 2013-08-15 12:25:07 +02:00
yodl * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00