Commit Graph

36490 Commits

Author SHA1 Message Date
Wout Mertens
ac80d45419 a52dec: Add patches from Handbrake project
this project hasn't been updated in 10 years, so adding patches that
don't break the API should be ok.

Patches:
- A00: Make a52-state-t public
- A01: Make it thread-safe (changing internal API by adding state
objects)
- A02: Quell common error
- A03: Fix for automake vs autoconf
2014-05-04 01:56:48 +02:00
Peter Simons
64d662e056 Agda: move compiler and standard library into a common directory
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00
Peter Simons
801a4818c8 Merge pull request #2474 from jwiegley/agda-stdlib
Add expression for the Agda standard library
2014-05-03 12:33:26 +02:00
Mateusz Kowalczyk
ab7e2f1dc5 haskell-HTTP: update to version 4000.2.13 2014-05-03 12:27:25 +02:00
Oliver Charles
4e70c764f5 Merge pull request #2473 from jwiegley/these
Add expression for Haskell library 'these'
2014-05-03 11:19:18 +01:00
Vladimír Čunát
6faa50e11d libmms: bugfix update, including CVE-2014-2892 2014-05-03 11:38:20 +02:00
Vladimír Čunát
8c918bdc2c rsync: fix CVE-2014-2855 by upstream patch 2014-05-03 11:31:28 +02:00
Vladimír Čunát
3bb121e50e dbus: minor update 1.8.0 -> .2 2014-05-03 11:31:28 +02:00
Vladimír Čunát
e0be3df0eb harfbuzz: minor update 0.9.27 -> .28 2014-05-03 11:31:27 +02:00
Vladimír Čunát
062e2567c9 curl: minor update 7.35.0 -> 7.36.0, including CVE fixes 2014-05-03 11:30:53 +02:00
Peter Simons
ca35c44408 haskell-streaming-commons: update to version 0.1.2.1 2014-05-03 10:53:22 +02:00
Peter Simons
49503c10c7 haskell-hledger: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
bad008d48a haskell-hledger-web: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
7cbf87792a haskell-hledger-lib: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
92c9b2eb8f haskell-conduit: update to version 1.1.1.1 2014-05-03 10:53:22 +02:00
Peter Simons
6e58bbe32b haskell-conduit-extra: update to version 1.1.0.3 2014-05-03 10:53:22 +02:00
Peter Simons
6fe44baced haskell-conduit-combinators: update to version 0.2.5.1 2014-05-03 10:53:22 +02:00
Peter Simons
b4893842d2 haskell-classy-prelude: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons
48f2ae7dec haskell-classy-prelude-conduit: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons
084cec9404 haskell-arithmoi: update to version 0.4.1.0 2014-05-03 10:53:21 +02:00
Peter Simons
2b11ec44e8 haskell-hledger-irr: update to version 0.1.1.4 2014-05-03 10:53:21 +02:00
John Wiegley
7d788d5e4f Add expression for the Agda standard library 2014-05-02 19:15:38 -05:00
Michael Raskin
aea5277ca2 Switch Axel to a publically accessible download source 2014-05-03 01:08:15 +04:00
Michael Raskin
4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00
Michael Raskin
87304674a6 Update JWM to an easily available version 2014-05-03 00:42:12 +04:00
Michael Raskin
6548fbfb28 Use the working source for GNU ARch 2014-05-03 00:20:08 +04:00
宋文武
388d32d966 gst-plugins-bad: build with wildmidi and fluidsynth
remove timidity, the plugin does not build at all
2014-05-02 21:31:06 +02:00
宋文武
da98b7d65e renpy: update from 6.17.3 to 6.17.4 2014-05-02 21:31:05 +02:00
宋文武
cccaf8c091 midori: update from 0.5.7 to 0.5.8 2014-05-02 21:31:05 +02:00
宋文武
f6b989e6f3 mate-themes: update from 1.6.2 to 1.6.3 2014-05-02 21:31:05 +02:00
宋文武
4080e415ca mate-icon-theme: update from 1.6.2 to 1.6.3 2014-05-02 21:31:05 +02:00
宋文武
b57c9ed9d5 gstreamer: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武
69c4dae379 gst-plugins-ugly: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武
cd5702da47 gst-plugins-good: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武
98dd37afad gst-plugins-bad: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武
6324296900 gst-libav: update from 1.2.3 to 1.2.4 2014-05-02 21:31:05 +02:00
宋文武
eb36621839 dvtm: update from 0.10 to 0.11 2014-05-02 21:31:05 +02:00
taku0
af0139d7d4 Update thunderbird-bin to version 24.5.0 2014-05-02 21:21:29 +02:00
Austin Seipp
76b05b1630 releaseTools: add {clang,coverity}Analysis tools
These two expressions greatly simplify using the clang-analyzer or
Coverity static analyzer on your C/C++ projects. In fact, they are
identical to nixBuild in every way out of the box, and should 'Just
Work' providing your code can be compiled with Clang already.

The trick is that when running 'make', we actually just alias it to the
appropriate scan build tool, and add a post-build hook that will bundle
up the results appropriately and unalias it.

For Clang, we put the results in $out/analysis and add an 'analysis'
report to $out/nix-support/hydra-build-products pointing to the result
HTML - this means that if the analyzer finds any bugs, the HTML results
will automatically show up Hydra for easy viewing.

For Coverity, it's slightly different. Instead we run the build tool and
after we're done, we tar up the results in a format that Coverity Scan's
service understands. We put the tarball in $out/tarballs under the name
'foo-cov-int.xz' and add an entry for the file to hydra-build-products
as well for easy viewing.

Of course for Coverity you must then upload the build. A Hydra plugin to
do this is on the way, and it will automatically pick up the
cov-int.tar.xz for uploading.

Note that coverityAnalysis requires allowUnfree = true;, as well as the
cov-build tools, which you can download from https://scan.coverity.com -
they're not linked to your account or anything, it's just an annoying
registration wall.

Note this is a first draft. In particular, scan-build fixes the C/C++
compiler to be Clang, and it's perfectly reasonable to want to use Clang
for the analyzer but have scan-build invoke GCC instead.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp
59528d9f0e clang-analyzer: respect $NIX_CFLAGS_COMPILE
When using scan-build, you're often going to want to use it in the
context of a Nix expression with buildInputs, and the default wrapper
scripts will put things like include locations for those inputs
$NIX_CFLAGS_COMPILE. Thus, scan-build also needs to pass them to the
analyzer - while the link flags aren't relevant, the include flags are.

This is because the analyzer executable that gets run by scan-build is
*not* clang-wrapper, but the actual clang executable, so it doesn't
implicitly add such arguments. The build is two-stage - it runs the real
clang wrapper once, and then the analyzer once.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp
27a0d56514 compcert: Fix Hydra platforms
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:36 -05:00
John Wiegley
fb778b705f Add expression for Haskell library 'these' 2014-05-02 13:43:34 -05:00
Mateusz Kowalczyk
193d73d2d3 tibia: version 10.39 2014-05-02 20:38:42 +02:00
Michael Raskin
feddcfaf1e Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd. 2014-05-02 20:50:58 +04:00
Peter Simons
de26954b30 Merge pull request #2470 from sol/master
Update haskell-hspec to version 0.9.5
2014-05-02 12:09:08 +02:00
Simon Hengel
e4dead3171 Update haskell-hspec to version 0.9.5 2014-05-02 14:57:46 +08:00
Austin Seipp
b10f4af8f9 nginx: upgrade to 1.6.0, expose many more modules
By default, we now build all the optional nginx modules, including the
out-of-band ones like moreheaders and rtmp support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 01:24:38 -05:00
Austin Seipp
368a677c97 nixos: overhaul datadog module
This overhauls the Datadog module a bit to be much more useful. In
particular, it adds support for nginx and postgresql monitoring
integrations to dd-agent. These have to exist in separate files under
/etc/dd-agent, so the module just exposes then as separate options. In
the future, more integrations could be added this way.

In the process of doing this, I also had to rename the dd-agent user to
datadog. Note the UIDs did not change, so this is strictly backwards
compatible. The reason for this is to make it easier to create a
'datadog' postgres user with access to pg_stats, as 'dd-agent' typically
isn't a valid username. This allows the out of the box configurations to
be used.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 01:24:35 -05:00
Austin Seipp
e67cc9ba07 nginx: build http_stub_status module
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 00:42:40 -05:00
Austin Seipp
f21d619558 nixpkgs: move frama-c to a more appropriate directory
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:14:08 -05:00