Robert M. Mather
3729ead3af
Ur/Web compiler: new release, 20130421 -> 20140426
2014-05-10 20:42:35 -07: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
Austin Seipp
0c51a4ac98
nixpkgs: add CompCert
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:11:46 -05:00
Peter Simons
7452e8b4eb
haskell-Elm: update to version 0.12.1.3
2014-05-01 21:57:03 +02:00
Austin Seipp
52514efb16
cryptol: Replace URLs with something meaningful
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:54:37 -05:00
Austin Seipp
d9d76f1a3a
cryptol: add 1.8.x expression
...
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:50:55 -05:00
Austin Seipp
e590c0a867
ats/ats2: clean-up, adopt, add Hydra packages
...
This also bumps ATS2 to version 0.0.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 11:26:16 -05:00
Austin Seipp
5401849e3a
cryptol v2.0.0
...
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.
Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.
I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 05:42:00 -05:00
Shea Levy
a3b1f48c5d
Add gcc-4.9.0
2014-04-23 10:45:00 -04:00
Karn Kallio
4587bbbca2
pakcs: update hash for latest version.
2014-04-23 10:54:58 +02:00
Ricardo M. Correia
b2250ad851
icedtea7: Update from 2.4.6 -> 2.4.7
...
Fixes a bunch of CVEs.
Removed 2.4.6 build patch, as it's no longer necessary.
2014-04-23 01:39:07 +02:00
aszlig
625d7b9043
Merge pull request #1928 from 'cross-win-osx'.
...
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
2014-04-21 10:00:35 +02:00
Shea Levy
88e531d8dc
Fix gcc bug 58800.
...
See #2330 for details, except I needed to remove the Changelog change from the patch
2014-04-20 09:46:21 -04:00
Shea Levy
2364bd807d
Revert "Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgs"
...
The patch doesn't apply
This reverts commit 094eea8f6a
, reversing
changes made to 552d66cd9e
.
2014-04-20 09:36:15 -04:00
Shea Levy
094eea8f6a
Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgs
...
Description from ambrop72:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58800
I have not been able to test this due to nix wanting to rebuild lots of
things before building gcc.
Patch was created with: svn diff -r 203872:203873
http://gcc.gnu.org/svn/gcc/branches
This should fix a crash in OpenSCAD: openscad/openscad#514
2014-04-20 09:32:50 -04:00
ambrop7@gmail.com
7eeb94e8dc
Add patch for GCC bug 58800.
2014-04-20 12:40:32 +02:00
Rok Garbas
805ec7e54a
Merge pull request #2320 from iyzsong/unmaintain
...
drop my maintainship of orc and vala
2014-04-19 19:55:24 +01:00
宋文武
6da2470034
drop my maintainship of orc and vala
2014-04-19 23:21:51 +08:00
Marco
d6aee89fd7
Fix build of MLton on Linux i686
2014-04-19 14:30:39 +01:00
Marco Maggesi
3737ec7c74
Enable compilation of MLton on darwin
2014-04-19 14:30:39 +01:00
Vladimír Čunát
c8f633564e
orc: bugfix update (mainly memory leaks), doCheck
2014-04-19 13:59:18 +02:00
Lluís Batlle i Rossell
44bda71b88
Adding ghdl 0.31 mcode flavour
...
This allows having a recent ghdl, without building it with gcc.
The major drawback is the speed.
2014-04-16 10:35:45 +02:00
Bjørn Forsman
99afbf9e91
sdcc: bump 3.3.0 -> 3.4.0
...
This new sdcc doesn't need older boost, so switch to nixpkgs default
version (currently 1.55).
2014-04-13 19:46:00 +02:00
Peter Simons
4604d52df4
GHC version 7.8.1 has been deprecated because of a serious bug.
...
We'll have version 7.8.2 out soon.
http://www.haskell.org/pipermail/ghc-devs/2014-April/004605.html
http://www.haskell.org/pipermail/ghc-devs/2014-April/004616.html
2014-04-11 22:33:11 +02:00
Vladimír Čunát
07dc578572
llvm(Packages) on darwin: attempts to fix
...
- mark llvm34 as broken on darwin (so it doesn't install by default with nix-env)
- don't use our gcc for llvm_34 (might fix the build)
- switch also clang default to 3.3 on darwin (llvm was before)
2014-04-10 21:19:40 +02:00
Ricardo M. Correia
76551abef2
icedtea7_web: Fix configure phase not finding bash
2014-04-10 00:15:53 +02:00
Ricardo M. Correia
f6799983bd
icedtea7_web: Update from 1.4.2 -> 1.5
...
Fixes CVE-2012-4540.
2014-04-10 00:15:53 +02:00
Ricardo M. Correia
442e1bbaab
icedtea7: Fix building v2.4.6 by backporting fix
...
See http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=1726
2014-04-10 00:15:47 +02:00
Ricardo M. Correia
a644b7ba60
icedtea7: Update from 2.4.5 -> 2.4.6
2014-04-10 00:14:44 +02:00
Peter Simons
740c502a77
swiProlog: update from 6.6.2 to 6.6.3
2014-04-09 12:41:11 +02:00
Peter Simons
23c7a249d3
ghc: add release version 7.8.1
2014-04-08 21:35:48 +02:00
Austin Seipp
f14540a619
fsharp: 3.1 -> 3.1.0
...
This matches the traditional upstream versioning for FSharp in the wild
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-08 10:54:25 -05:00
Peter Simons
d9c8db4a20
Elm: fix build by ignoring the build instructions provided by upstream
...
According to <https://github.com/elm-lang/Elm/issues/384 >, Elm's release
archive comes with a Setup.hs that cannot compile an Elm release. Duh!
Replacing the custom Setup.hs file with a dummy version fixes this
issue.
Close <https://github.com/NixOS/nixpkgs/issues/2089 >.
2014-04-08 13:17:51 +02:00
Mathijs Kwik
7f6a2f81b9
idris: upgrade to 0.9.12
2014-04-06 11:47:46 +02:00
Shea Levy
50a0b55a01
Merge branch 'oraclejdk' of git://github.com/nilcons/nixpkgs
...
Update ffmpeg dependency to 0.10 in oraclejdk7
2014-04-05 15:23:02 -04:00
Gergely Risko
44190ff1b9
Update ffmpeg dependency in oraclejdk7
2014-04-02 23:36:47 +02:00
Vladimír Čunát
23d38a3e22
gcc44: disable parallel build
...
Maybe 4.4 is no longer needed? #699
2014-04-02 19:07:58 +02:00
Vladimír Čunát
11d4c257c1
Merge branch glibc-2.19, see #1840
2014-04-02 19:03:49 +02:00
Karn Kallio
5d68efd230
aldor: update to 1.2.0 version in development.
2014-03-31 21:41:20 +02:00
Karn Kallio
db21a0da97
pakcs: update hash for 1.11.3 release, which was updated without a version change.
2014-03-31 21:40:50 +02:00
Austin Seipp
c038133721
fsharp: fix missing --replace argument
...
This should fix the Hydra build.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-29 19:55:12 -05:00
Bjørn Forsman
b5bd583bb8
gcc-arm-embedded: add meta attributes
2014-03-29 18:28:41 +01:00
ambrop7@gmail.com
8b94e22f33
Add gcc-arm-embedded.
...
These are packages for precompiled ARM microcontroller compilers from
https://launchpad.net/gcc-arm-embedded .
[Bjørn: modify commit message (add paragraph).]
2014-03-29 17:57:45 +01:00
Michael Raskin
1eb42d9d79
Merge pull request #2048 from echaozh/master
...
add julia 0.2.1 release
2014-03-28 23:03:04 -07:00
Shea Levy
f3e9e3dea5
Merge branch 'u/icedtea' of git://github.com/wizeman/nixpkgs
...
icedtea7, icedtea7_web: New packages
2014-03-28 23:25:25 -04:00
Shea Levy
35165063a7
Merge branch 'clang-fix-fsanitize' of git://github.com/redbaron/nixpkgs
...
Fix -fsanitize=... options for clang
2014-03-28 21:58:56 -04:00
Zhang Yichao
10511b4712
add julia 0.2.1 release
2014-03-28 18:39:26 +08:00
Peter Simons
0f86e37b6c
haskell-Elm: update to version 0.12
2014-03-27 13:12:52 +01:00
Peter Simons
27ebc33d65
haskell-elm-server: update to version 0.11
2014-03-27 13:12:52 +01:00
Ricardo M. Correia
342fc9c207
go: Add myself as maintainer to receive Hydra notifications
2014-03-27 12:37:18 +01:00