1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 06:01:15 +00:00
Commit graph

925 commits

Author SHA1 Message Date
Karn Kallio abbf22c397 Update version of urweb compiler.
svn path=/nixpkgs/trunk/; revision=27801
2011-07-15 18:54:43 +00:00
Peter Simons 66dbd40cb7 ghc: build GHC on haskellPlatforms instead of linux++darwin to avoid evaluation errors on Hydra because x86_64-darwin is unsupported
svn path=/nixpkgs/trunk/; revision=27799
2011-07-15 12:53:21 +00:00
Peter Simons 78ccc14e3e ghc-6.10.1-binary: revert blind attempt to bootstrap GHC on x86_64-darwin with the i686 version of this compiler
Hydra says that we can *not* use the i686 compiler to bootstrap x86_64 on Darwin. Duh.

svn path=/nixpkgs/trunk/; revision=27753
2011-07-13 12:00:19 +00:00
Peter Simons ce11df9d80 ghc-6.10.1-binary: blind attempt to bootstrap GHC on x86_64-darwin with the i686 version of this compiler
I have no idea whether that's going to work, and I can't test it for
lack of access to a MacOS X machine, but think chances are pretty good
that this is going to succeed.

svn path=/nixpkgs/trunk/; revision=27751
2011-07-13 11:09:06 +00:00
Peter Simons c76ef49466 gprolog: add myself as maintainer
svn path=/nixpkgs/trunk/; revision=27647
2011-07-07 21:05:02 +00:00
Ludovic Courtès 9bde902010 GNU Prolog 1.4.0.
svn path=/nixpkgs/trunk/; revision=27586
2011-07-04 11:52:26 +00:00
Ludovic Courtès 909f438893 GCC 4.6.1.
svn path=/nixpkgs/trunk/; revision=27562
2011-06-30 14:35:07 +00:00
Andres Löh a1cd10cfe2 Adding ghc-7.0.4.
svn path=/nixpkgs/trunk/; revision=27492
2011-06-18 12:31:16 +00:00
Michael Raskin b64148624f Update YASM
svn path=/nixpkgs/trunk/; revision=27477
2011-06-16 05:55:47 +00:00
Ludovic Courtès 7b78f74a6d GCC 4.6: Pass -O2' and optionally -g' to the bootstrap compiler.
svn path=/nixpkgs/trunk/; revision=27465
2011-06-15 08:42:46 +00:00
Michael Raskin 9899a88c7d Update SBCL
svn path=/nixpkgs/trunk/; revision=27451
2011-06-14 04:31:30 +00:00
Michael Raskin 579433500a Update Lazarus
svn path=/nixpkgs/trunk/; revision=27302
2011-05-25 09:04:54 +00:00
Michael Raskin 21e9c28ce5 Update FPC
svn path=/nixpkgs/trunk/; revision=27301
2011-05-25 08:45:08 +00:00
Marco Maggesi a3b617c8e3 Add platforms to OCaml 3.12.0
svn path=/nixpkgs/trunk/; revision=27298
2011-05-24 18:05:05 +00:00
Karn Kallio b6acdba7fa Update Ur/Web to latest release 2011057.
svn path=/nixpkgs/trunk/; revision=27276
2011-05-17 21:36:55 +00:00
Marco Maggesi bdace03143 Update PolyML to version 5.4
Also enable hydra build for linux

svn path=/nixpkgs/trunk/; revision=27250
2011-05-13 15:55:05 +00:00
Eelco Dolstra b1e93d013c * Get rid of those annoying "not an attrSet" trace messages.
svn path=/nixpkgs/trunk/; revision=27141
2011-05-04 12:43:31 +00:00
Sander van der Burg 3a67579267 Bumped scala to version 2.8.1
svn path=/nixpkgs/trunk/; revision=26850
2011-04-15 09:11:49 +00:00
Rob Vermaas 50d0535b45 update jdk to jdk-1.6.0_24
svn path=/nixpkgs/trunk/; revision=26849
2011-04-15 07:56:09 +00:00
Michael Raskin 2eb6b07427 Update Gambit
svn path=/nixpkgs/trunk/; revision=26816
2011-04-13 06:31:45 +00:00
Michael Raskin 9a0305d40e Update SBCL
svn path=/nixpkgs/trunk/; revision=26815
2011-04-13 05:56:20 +00:00
Shea Levy 352dded989 Libelf isn't building on Darwin according to hydra, so remove libelf-dependent GCC-4.6 from Darwin
svn path=/nixpkgs/trunk/; revision=26753
2011-04-08 13:03:53 +00:00
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
Michael Raskin 6af8a1debd Merging from trunk
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
2010-11-22 11:39:42 +00:00
Tobias Hammerschmidt b9a1196479 jdk5 updated to 1.5.22
svn path=/nixpkgs/trunk/; revision=24802
2010-11-22 08:58:00 +00:00
Andres Löh d233819021 Bumped ghc-7.0.1 from rc2 to released version.
svn path=/nixpkgs/trunk/; revision=24770
2010-11-19 13:05:39 +00:00
Michael Raskin fb58f74d82 Updating from trunk again
svn path=/nixpkgs/branches/stdenv-updates/; revision=24745
2010-11-17 17:03:09 +00:00
Michael Raskin c308846055 Ignore the utime issue - tell tar we do not care about times in the first place
svn path=/nixpkgs/branches/stdenv-updates/; revision=24729
2010-11-17 12:45:14 +00:00
Michael Raskin 66d71d2e18 Restore fpc 2.4.0 - needed for Lazarus
svn path=/nixpkgs/trunk/; revision=24704
2010-11-15 21:09:58 +00:00
Michael Raskin 8a93e97370 Fix Lazarus version specification
svn path=/nixpkgs/trunk/; revision=24702
2010-11-15 20:29:20 +00:00
Michael Raskin 84de039c9e Update FPC
svn path=/nixpkgs/trunk/; revision=24699
2010-11-15 20:26:06 +00:00
Peter Simons 0460e3f2f7 Enable building of static libraries so that urweb can build statically
linked binaries.

svn path=/nixpkgs/trunk/; revision=24692
2010-11-15 17:47:36 +00:00
Michael Raskin ed7bb66d5a Update Vala
svn path=/nixpkgs/trunk/; revision=24686
2010-11-15 06:16:41 +00:00
Lluís Batlle i Rossell 951ccd21a1 Fixing ghdl build (its Makefiles cannot stand enableParallelBuild)
svn path=/nixpkgs/branches/stdenv-updates/; revision=24679
2010-11-12 21:04:19 +00:00
Lluís Batlle i Rossell 8746de3ae8 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Michael Raskin 5d0d35d0da Update SBCL; and not believe "Download Now" links anymore...
svn path=/nixpkgs/trunk/; revision=24653
2010-11-10 22:26:35 +00:00
Michael Raskin 7da1dc10d9 fpc should not use lib64-located ld-linux.so..
svn path=/nixpkgs/trunk/; revision=24645
2010-11-10 16:38:22 +00:00
Lluís Batlle i Rossell 42c6582491 Updating a gnat patch made for 4.4 to 4.5
svn path=/nixpkgs/branches/stdenv-updates/; revision=24632
2010-11-09 19:18:37 +00:00
Peter Simons 95c614def0 Advance urweb to latest release version 20101102.
svn path=/nixpkgs/trunk/; revision=24619
2010-11-08 10:40:25 +00:00
Marco Maggesi caf0e7209a Add CMUCL Common Lisp compiler
svn path=/nixpkgs/trunk/; revision=24618
2010-11-08 08:58:50 +00:00
Lluís Batlle i Rossell f4a73e2ddd Updating mono from 2.6 to 2.8
svn path=/nixpkgs/trunk/; revision=24614
2010-11-07 21:25:28 +00:00
Andres Löh 6c5c9fc17c Updated GHC 7.0.1 release candidate.
svn path=/nixpkgs/trunk/; revision=24583
2010-11-03 13:52:20 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00
Lluís Batlle i Rossell 2b34bdd2ba Two fixes in one:
- our gcc should not bring libssp, because glibc provides __stack_chk_fail
  already. libssp is only for some non-glibc systems.
  The gcc configure script was not finding the header files of our glibc, so
  it assumed it did not provide __stack_chk_fail. I wrote code in the builder
  that patches the gcc/configure script properly for that.

  As a consequence, the glibc does not need anymore the "nscd-ssp-linking"
  patch, and we have a saner gcc (without libssp when using -fstack-protector)
- Instead of disabling the sse42 strstr() implementation in glibc due to the
  bug http://sourceware.org/bugzilla/show_bug.cgi?id=12123, I provide a better
  patch written after more reserach (that I submitted upstream already, and
  it's pending review).


svn path=/nixpkgs/branches/stdenv-updates/; revision=24493
2010-10-26 18:56:02 +00:00
Evgeny Egorochkin 19e0cda8d8 Fix names of packages. Patch by Karn Kallio.
svn path=/nixpkgs/trunk/; revision=24478
2010-10-26 00:22:44 +00:00
Lluís Batlle i Rossell a95eb06e26 Updating the patch for ocaml on mips.
Reported by rixed@happyleptic.org

svn path=/nixpkgs/branches/stdenv-updates/; revision=24476
2010-10-25 21:13:05 +00:00
Michael Raskin 90b626421d Make EQL buildable again
svn path=/nixpkgs/trunk/; revision=24434
2010-10-23 18:40:57 +00:00
Michael Raskin 0df1871b9d Update EQL
svn path=/nixpkgs/trunk/; revision=24432
2010-10-23 15:34:58 +00:00
Lluís Batlle i Rossell 6dc839d344 Merging from trunk. I resolved some conflicts; I hope that well.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24429
2010-10-23 14:52:21 +00:00
Michael Raskin 3b49286bb2 Fix tarball evaluation
svn path=/nixpkgs/trunk/; revision=24304
2010-10-15 17:27:54 +00:00
Ludovic Courtès 4b04dc48e2 TinyCC: Add patches; run the test suite.
svn path=/nixpkgs/trunk/; revision=24301
2010-10-15 13:29:42 +00:00