philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

853 commits

Author SHA1 Message Date
Karn Kallio cd86629a8a Change which corrected a failing build of webdsl on a 64 bit Linux. 
Based on this comment: http://webdsl.org/selectpage/Download/WebDSLOnLinux

svn path=/nixpkgs/trunk/; revision=26747
 2011-04-08 06:20:34 +00:00
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