Commit Graph

852 Commits

Author SHA1 Message Date
Andres Löh
1d4428fbdb Added Agda-executable.
svn path=/nixpkgs/trunk/; revision=26737
2011-04-07 12:10:38 +00:00
Andres Löh
742e6e9e0b Updated epic.
svn path=/nixpkgs/trunk/; revision=26728
2011-04-07 07:47:22 +00:00
Ludovic Courtès
17fdaf6a7e GCC 4.6: Add a version with debugging symbols.
svn path=/nixpkgs/trunk/; revision=26714
2011-04-06 12:52:33 +00:00
Ludovic Courtès
36ed7a8eb8 GCC 4.6: Use `callPackage'.
svn path=/nixpkgs/trunk/; revision=26713
2011-04-06 12:52:29 +00:00
Rob Vermaas
9fd6ab096d update strategoxt to 1.8pre21839
svn path=/nixpkgs/trunk/; revision=26710
2011-04-06 11:02:41 +00:00
Shea Levy
76610988f8 Remove --with-stage1-libs from gcc-4.6.0 when building against a static ppl
--with-stage1-libs defaults to whatever is passed to --with-host-libstdcxx, and building gcc 4.6.0 against a static ppl fails when --with-stage1-libs is specified as it is here

svn path=/nixpkgs/trunk/; revision=26702
2011-04-05 16:55:09 +00:00
Shea Levy
bec9352ae7 Use g++ -E as the C++ preprocessor
The problem with gnat46 not building was because gnatboot replaces the stdenv
gcc with the gnat45 gcc, so calling g++ directly as the C++ preprocessor fixes
this.

svn path=/nixpkgs/trunk/; revision=26671
2011-04-02 19:13:36 +00:00
Shea Levy
72a9ea5c5c Only set the C++ preprocessor if C++ is enabled
svn path=/nixpkgs/trunk/; revision=26669
2011-04-02 16:09:09 +00:00
Shea Levy
ea7a559290 Add support for the new Go frontend to GCC 4.6.0.
This isn't as useful as it could be, since gcc-wrapper doesn't know about
the gccgo binary so there is no gccgo wrapper script. Since changing
gcc-wrapper would lead to a nearly full rebuild, I thing the change to
gcc-wrapper should go into stdenv-updates.

svn path=/nixpkgs/trunk/; revision=26668
2011-04-02 15:21:36 +00:00
Shea Levy
2b3d751095 Use install-strip when installing a stripped GCC 4.6
svn path=/nixpkgs/trunk/; revision=26652
2011-04-01 10:36:53 +00:00
Shea Levy
93d86b97f6 Merged in changes from stdenv-updates on gcc-4.5 into gcc-4.6
svn path=/nixpkgs/trunk/; revision=26650
2011-04-01 03:17:55 +00:00
Shea Levy
9ec8f9aefb Add myself as a gcc-4.6 maintainer
svn path=/nixpkgs/trunk/; revision=26649
2011-04-01 00:25:39 +00:00
Shea Levy
9511b89ec1 Update to GCC 4.6.0:
* Modify the builder to not fail when a static library is in $out/libexec/gcc/*/*
  * Disable libquadmath when building a static-only bootstrap of GCC, see http://gcc.gnu.org/ml/gcc/2011-03/msg00465.html
  * Add handling for cloog if it is passed in in place of cloog-ppl

svn path=/nixpkgs/trunk/; revision=26639
2011-03-31 21:51:39 +00:00
Shea Levy
4940efa008 Modify update-gcc.sh to allow it to work with gpg2 as well as gpg
svn path=/nixpkgs/trunk/; revision=26638
2011-03-31 21:47:03 +00:00
Shea Levy
6c033b18ee Initial copy of gcc-4.5 to gcc-4.6
svn path=/nixpkgs/trunk/; revision=26637
2011-03-31 21:44:55 +00:00
Andres Löh
f9c356ad17 Adding ghc-7.0.3.
svn path=/nixpkgs/trunk/; revision=26588
2011-03-28 21:33:21 +00:00
Peter Simons
cec39fe1a8 ghc-7.0.2: moved 'homepage' setting into the meta section
svn path=/nixpkgs/trunk/; revision=26514
2011-03-25 12:55:42 +00:00
Peter Simons
b579f4fd5c ghc-7.0.2: fix build on Darwin
There were two problems preventing GHC 7.0.2 from being built on MacOS. For
one, the 'configure' script automatically added the flag

  -isysroot /Developer/SDKs/MacOSX10.5.sdk

to the command-line that's being passed to GCC. This setting doesn't work with
our GCC, and resulted in build errors because standard headers like <stdargs.h>
could no longer be found.

Secondly, the build depends on install_name_tool, which has been added as a
buildInput.

These changes trigger a re-build on all platforms, not just on Darwin. I
realize that this could have been avoided by adding some cruft. However, I
didn't want to add cruft, so there you are.

svn path=/nixpkgs/trunk/; revision=26513
2011-03-25 12:55:37 +00:00
Karn Kallio
7df7521dd1 Add the PAKCS (Portland Aachen Kiel Curry System) Curry compiler to Nixpkgs.
svn path=/nixpkgs/trunk/; revision=26497
2011-03-24 19:22:30 +00:00
Michael Raskin
36af24fc05 Fix SWI-Prolog build
svn path=/nixpkgs/trunk/; revision=26407
2011-03-17 22:09:22 +00:00
Karn Kallio
33fb7aef16 Update flapjax compiler to the latest release, version 2.1
Also add to nixpkgs new dependencies from hackage.

svn path=/nixpkgs/trunk/; revision=26283
2011-03-11 16:49:56 +00:00
Andres Löh
92db39f586 Added ghc-7.0.2.
This is supposed to become the new default version of GHC once
the new Haskell Platform is released (but only then).

svn path=/nixpkgs/trunk/; revision=26217
2011-03-09 08:29:12 +00:00
Andres Löh
b13e4ebdef Updated ghc HEAD expression to 7.0.2-rc2.
svn path=/nixpkgs/trunk/; revision=26127
2011-03-01 11:56:41 +00:00
Michael Raskin
9e204fec07 Update SBCL
svn path=/nixpkgs/trunk/; revision=26124
2011-02-27 18:56:15 +00:00
Eelco Dolstra
4f87b5338c * Clang/LLVM updated to 2.8.
svn path=/nixpkgs/trunk/; revision=25777
2011-02-05 15:45:02 +00:00
Karn Kallio
fca3859da8 Update urweb to latest released version.
svn path=/nixpkgs/trunk/; revision=25680
2011-01-24 15:27:07 +00:00
Michael Raskin
b3583dc847 Build ECL with DFFI
svn path=/nixpkgs/trunk/; revision=25610
2011-01-18 17:36:25 +00:00
Michael Raskin
cbabeeb588 Update ECL
svn path=/nixpkgs/trunk/; revision=25593
2011-01-16 22:45:05 +00:00
Rob Vermaas
0b747487fd only build dragonegg on linux
svn path=/nixpkgs/trunk/; revision=25417
2011-01-05 10:13:28 +00:00
Marco Maggesi
f2f1009d98 * Fix building of OCaml on Darwin. Gnu sed changed its behavior after version 4.2.1 (bug?), here we add a simple workaround
svn path=/nixpkgs/trunk/; revision=25330
2011-01-01 17:26:07 +00:00
Eelco Dolstra
aa6f43149a * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
2010-12-28 16:42:00 +00:00
Karn Kallio
801ce7d5fb Add Concurrent Clean to NixPkgs.
svn path=/nixpkgs/trunk/; revision=25276
2010-12-25 15:13:07 +00:00
Eelco Dolstra
569ae5fe13 * Get dev86 to compile. Apparantly it has trouble with the latest
gcc/binutils.

svn path=/nixpkgs/branches/stdenv-updates/; revision=25246
2010-12-22 18:34:21 +00:00
Eelco Dolstra
c14382cb45 * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
2010-12-21 15:14:33 +00:00
Michael Raskin
8235b75b87 Update SBCL
svn path=/nixpkgs/trunk/; revision=25217
2010-12-21 05:21:33 +00:00
Lluís Batlle i Rossell
a360198627 Fixing the gcc postPatch, for the static stage of the cross-compiler
svn path=/nixpkgs/branches/stdenv-updates/; revision=25215
2010-12-20 17:35:34 +00:00
Lluís Batlle i Rossell
b48b2a7bb4 Merging from trunk. I solved some trivial merge conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25188
2010-12-17 20:39:58 +00:00
Michael Raskin
b1b17da07c Alleviate race condition: give Xvfb 10 seconds to start up. I hate the fact that EQL build even needs it, but it does run a Qt application to generate some file
svn path=/nixpkgs/trunk/; revision=25168
2010-12-17 10:59:09 +00:00
Ludovic Courtès
fff4a6c8b4 GCC 4.5: Fix the `GLIBC_DYNAMIC_LINKER' macro on NixOS and in cross builds.
Among others, this should fix the dynamic linker path reported by
"gcc --help --verbose".

svn path=/nixpkgs/branches/stdenv-updates/; revision=25131
2010-12-14 17:08:43 +00:00
Marco Maggesi
86e19c4888 * Narrow ocaml platforms to linux and darwin
svn path=/nixpkgs/trunk/; revision=25062
2010-12-11 14:29:37 +00:00
Lluís Batlle i Rossell
ee04ffcb55 Updating from trunk. I resolved simple conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
2010-12-11 12:47:00 +00:00
Marco Maggesi
9568a1bc80 * Enable hydra compilation for ocaml 3.11.1 (error in the previous commit)
svn path=/nixpkgs/trunk/; revision=25043
2010-12-09 15:44:05 +00:00
Marco Maggesi
7b49a49cbb * Enable hydra compilation for ocaml 3.11.1
svn path=/nixpkgs/trunk/; revision=25042
2010-12-09 15:41:14 +00:00
Marco Maggesi
114fa21c48 * Add ocaml 3.12.0
svn path=/nixpkgs/trunk/; revision=25040
2010-12-09 14:03:13 +00:00
Michael Raskin
c9c133ab11 Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)
svn path=/nixpkgs/trunk/; revision=24972
2010-12-05 11:42:24 +00:00
Michael Raskin
c2a8d34118 Add a note about chroot builds
svn path=/nixpkgs/trunk/; revision=24968
2010-12-04 13:07:10 +00:00
Michael Raskin
0141bfec63 Update SWI Prolog
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Michael Raskin
31b22ed108 Merge from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
2010-11-23 08:57:29 +00:00
Rob Vermaas
5f0674d59d update java-front
svn path=/nixpkgs/trunk/; revision=24812
2010-11-22 14:51:25 +00:00
Michael Raskin
6af8a1debd Merging from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
2010-11-22 11:39:42 +00:00