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

3198 commits

Author SHA1 Message Date
Ludovic Courtès f63059dd05 Add Coccinelle, a semantic patch interpreter for C. 
svn path=/nixpkgs/trunk/; revision=18909
 2009-12-12 00:47:14 +00:00
Marco Maggesi 98aaa4421c Add expression for Isabelle2009 
svn path=/nixpkgs/trunk/; revision=18905
 2009-12-11 17:00:52 +00:00
Marco Maggesi 218bdaf214 Add expression for ProofGeneral 
svn path=/nixpkgs/trunk/; revision=18904
 2009-12-11 16:18:27 +00:00
Lluís Batlle i Rossell 9976583c97 As agreed with ludo, I remove the getConfig around the cscope expression, 
which deals only with a build time dependency. Let's better have hydra
build cscope (I set me as a maintainer), and prefer simpler expressions
to options on build-time dependencies.

svn path=/nixpkgs/trunk/; revision=18902
 2009-12-11 14:47:16 +00:00
Lluís Batlle i Rossell 2ccf2984eb Updating cscope, and making its dependency on emacs optional (and off by default), 
due to something called 'install emacs mode'.

svn path=/nixpkgs/trunk/; revision=18901
 2009-12-11 14:03:27 +00:00
Marc Weber 833832dc92 commenting older ghc's they can't be compiled due to realdine and 
linking issues. I'm not willing to fix them right now.

svn path=/nixpkgs/trunk/; revision=18900
 2009-12-11 13:58:41 +00:00
Marc Weber f9ecf5a44f fix build of ghc-6.8.2 
svn path=/nixpkgs/trunk/; revision=18899
 2009-12-11 13:58:36 +00:00
Marc Weber fdd2d5cb2a remove nixRepositoryManager. It can be installed using the haskell-nix-overlay 
svn path=/nixpkgs/trunk/; revision=18898
 2009-12-11 13:58:34 +00:00
Marc Weber 5319704f80 removing old bleeding edge cruft replacing it by a niftier version using 
source regions which are substituded by the tool nix-repository-manager.
See http://github.com/MarcWeber/nix-repository-manager/raw/master/README.

sourceByName is called sourceFromHead now.

updates: MPlayerTrunk, haxe, neko, netsurf, cinelerra, ctags
cinelerra does no longer build due to Xorg update

svn path=/nixpkgs/trunk/; revision=18894
 2009-12-11 13:58:23 +00:00
Marc Weber e102a7173e haskellPackages: add comment about hack-nix 
svn path=/nixpkgs/trunk/; revision=18891
 2009-12-11 13:58:05 +00:00
Lluís Batlle i Rossell f5c5c0b4b6 Updating vtk; simplifying the openal cmake build expression. 
svn path=/nixpkgs/trunk/; revision=18888
 2009-12-11 07:16:16 +00:00
Lluís Batlle i Rossell f3c23487a2 Adding a new version of the gcc-wrapper, named gcc-wrapper2, in order not to rebuild 
stdenv.

In this gcc-wrapper2 I made the ld-wrapper.sh to handle the linking with shared
objects through direct pass as ld command arguments of the absolute path to shared
objects, instead of using the -L/-l combinations.

cmake 'FindXXX.cmake' modules make a strong usage of the dynamic linking directly
passing the absolute path to the shared object to the linker, and as our wrapper did
not add any -rpath for those, writting the nix expressions for some cmake packages
resulted in a lot of tricks, compared to using this gcc-wrapper2.

This gcc-wrapper2/ld-wrapper.sh should become the gcc-wrapper/ld-wrapper in a
stdenv update.

I also updated some cmake expressions to use this gcc-wrapper2, and reduced its
tricks.

I also updated the cmake setup-hook for it to make cmake not touch any rpath decided
at build time, when running the 'make install' of makefiles created by cmake.

svn path=/nixpkgs/trunk/; revision=18885
 2009-12-10 22:19:52 +00:00
Marco Maggesi adbaa14548 Add expression for PolyML 
svn path=/nixpkgs/trunk/; revision=18875
 2009-12-10 13:16:06 +00:00
Michael Raskin 3871c1ebd2 Update xboard 
svn path=/nixpkgs/trunk/; revision=18870
 2009-12-10 06:55:12 +00:00
Eelco Dolstra d869913b27 * RPM updated to 4.7.2. 
* nspr updated to 4.8.2.
* nss updated to 3.12.4.
* elfutils updated to 0.143.

svn path=/nixpkgs/trunk/; revision=18867
 2009-12-09 22:34:51 +00:00
Peter Simons abebc10cf1 pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support 
svn path=/nixpkgs/trunk/; revision=18853
 2009-12-09 14:07:09 +00:00
Michael Raskin 13b91e2ca8 Update CouchDB; add Apache-related snippets to update-upstream-data. 
svn path=/nixpkgs/trunk/; revision=18851
 2009-12-09 12:59:23 +00:00
Eelco Dolstra 87fcfb0df2 * davfs2 updated to 1.4.5. 
* neon updated to 0.28.6.

svn path=/nixpkgs/trunk/; revision=18841
 2009-12-08 13:08:27 +00:00
Rob Vermaas d2c7ef9524 svn path=/nixpkgs/trunk/; revision=18830 2009-12-07 14:56:48 +00:00
Rob Vermaas da0863d21f build stratego-shell for darwin 
svn path=/nixpkgs/trunk/; revision=18829
 2009-12-07 14:26:24 +00:00
Rob Vermaas 506c2f37c0 strategoshell based on strategoxt 0.18 
svn path=/nixpkgs/trunk/; revision=18828
 2009-12-07 14:19:23 +00:00
Eelco Dolstra 589ba9982d * Added s3backer. 
svn path=/nixpkgs/trunk/; revision=18811
 2009-12-04 15:51:02 +00:00
Eelco Dolstra 20845cabfc * Remove an unused file. 
svn path=/nixpkgs/trunk/; revision=18810
 2009-12-04 15:42:27 +00:00
Eelco Dolstra c726012afe * Refactoring: move most filesystem utilities / FUSE filesystems to 
tools/filesystems.  Previously they were all over the place.

svn path=/nixpkgs/trunk/; revision=18809
 2009-12-04 15:39:49 +00:00
Rob Vermaas af84eef331 some more x86_64 darwin changes 
svn path=/nixpkgs/trunk/; revision=18774
 2009-12-02 22:19:49 +00:00
Andres Löh 30468489ca Added httpd-shed. 
svn path=/nixpkgs/trunk/; revision=18756
 2009-12-02 12:48:34 +00:00
Marc Weber 4a999a3811 adding neko 
adding repository locations for haxe* and neko repositories

svn path=/nixpkgs/trunk/; revision=18709
 2009-11-30 01:05:07 +00:00
Marc Weber c5b2c2c40a adding haxe 
svn path=/nixpkgs/trunk/; revision=18708
 2009-11-30 01:05:04 +00:00
Marc Weber 09474b8ca1 adding glefw 
svn path=/nixpkgs/trunk/; revision=18707
 2009-11-30 01:05:02 +00:00
Rob Vermaas 48717cfa4f missing dep for strategoshell 
svn path=/nixpkgs/trunk/; revision=18680
 2009-11-27 20:31:12 +00:00
Rob Vermaas edca11fec6 svn path=/nixpkgs/trunk/; revision=18678 2009-11-27 20:24:55 +00:00
Rob Vermaas 98f9ab70c0 stratego shell 
svn path=/nixpkgs/trunk/; revision=18677
 2009-11-27 20:22:43 +00:00
Peter Simons af0a961e3d pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs 
svn path=/nixpkgs/trunk/; revision=18675
 2009-11-27 17:40:56 +00:00
Rob Vermaas 746c502acc changes for x86_64-darwin support 
svn path=/nixpkgs/trunk/; revision=18667
 2009-11-27 10:56:07 +00:00
Eelco Dolstra a71971f671 * Inkscape 0.47. 
svn path=/nixpkgs/trunk/; revision=18641
 2009-11-26 12:39:22 +00:00
Ludovic Courtès 22c531b162 Switching back to Flex 2.5.4a as it caused a major rebuild. 
svn path=/nixpkgs/trunk/; revision=18635
 2009-11-25 23:20:11 +00:00
Ludovic Courtès 46526b4ac9 Default to Flex 2.5.35; move 2.5.4a out of the way. 
svn path=/nixpkgs/trunk/; revision=18633
 2009-11-25 23:13:28 +00:00
Ludovic Courtès aca6f17400 Add Geeqie, a GQview fork. 
svn path=/nixpkgs/trunk/; revision=18613
 2009-11-25 08:58:42 +00:00
Rob Vermaas 2ffa48af25 update maven2 
svn path=/nixpkgs/trunk/; revision=18609
 2009-11-25 07:51:06 +00:00
Eelco Dolstra f52952e504 * Nix updated to nix-0.14pre18592. 
svn path=/nixpkgs/trunk/; revision=18594
 2009-11-24 14:19:20 +00:00
Lluís Batlle i Rossell 6f2e018c7a Enabling plugins in avidemux. 
Adding an assertion, for stdenv having glibc. avidemux wants pthreads.

svn path=/nixpkgs/trunk/; revision=18593
 2009-11-24 14:01:48 +00:00
Lluís Batlle i Rossell d634b32abf Adding avidemux. 
svn path=/nixpkgs/trunk/; revision=18584
 2009-11-24 08:27:18 +00:00
Michael Raskin bbd6e56d69 Fix the cleanup-induced problems 
svn path=/nixpkgs/trunk/; revision=18554
 2009-11-23 12:21:34 +00:00
Michael Raskin 2b606fe313 Allow libusb in gnokii 
svn path=/nixpkgs/trunk/; revision=18533
 2009-11-22 19:28:56 +00:00
Eelco Dolstra 11c3e92738 * Bring back Emacs 22 by request from Ludovic. 
svn path=/nixpkgs/trunk/; revision=18529
 2009-11-22 16:29:15 +00:00
Eelco Dolstra 86f8f47d87 * eclipse-classic -> eclipse. 
svn path=/nixpkgs/trunk/; revision=18486
 2009-11-20 15:33:06 +00:00
Eelco Dolstra e0491358eb * Removed a lot of old Eclipse versions. 
* Cleaned up the Eclipse classic expression a bit (e.g. use
  makeWrapper).  Also fall back to GTK 2.16 to fix some GUI glitches.

svn path=/nixpkgs/trunk/; revision=18485
 2009-11-20 15:19:00 +00:00
Eelco Dolstra 973b9cfde6 * Remove some incorrect uses of makeOverridable. 
svn path=/nixpkgs/trunk/; revision=18483
 2009-11-20 12:51:14 +00:00
Lluís Batlle i Rossell a270563c80 Updating boost 
svn path=/nixpkgs/trunk/; revision=18480
 2009-11-20 08:35:28 +00:00
Eelco Dolstra 58f543f19f * Remove some old Emacs versions. 
svn path=/nixpkgs/trunk/; revision=18470
 2009-11-19 17:36:43 +00:00