alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
10877 commits 217 branches 121 tags 4.5 GiB
Commit graph

266 commits

Author SHA1 Message Date
Ludovic Courtès 82c1349503 Proof General: Build and install via the makefile. 
svn path=/nixpkgs/trunk/; revision=22162
 2010-06-06 22:39:28 +00:00
Ludovic Courtès 6eefe563bd GNU Zile: Make `help2man' a native build input. 
svn path=/nixpkgs/trunk/; revision=21940
 2010-05-21 15:07:47 +00:00
Peter Simons 8d1637de33 pkgs/top-level/all-packages.nix, pkgs/applications/editors/emacs-23: prefer makeOverridable over getPkgConfig to customize GNU Emacs 
Changed 'emacs23' expression to allow for argument overriding instead of
relying on getPkgConfig. While I was at it, I also simplified the actual build
expression a bit.

svn path=/nixpkgs/trunk/; revision=21873
 2010-05-19 12:26:21 +00:00
Peter Simons 6d7f97bd0b pkgs/applications/editors/emacs-23: Darwin builds require libXaw to avoid link-time errors 
svn path=/nixpkgs/trunk/; revision=21858
 2010-05-19 12:25:31 +00:00
Alexander Tsamutali 03d8babdf5 applications/editors/emacs-modes/jabber: New nixbuild. 
svn path=/nixpkgs/trunk/; revision=21806
 2010-05-16 20:32:21 +00:00
Peter Simons 8f8b0bc3ad pkgs/applications/editors/emacs-{22,23}: don't restrict this build to Linux 
It looks like the recent update broke the package on all platforms other than
Linux, but no-one seems to have noticed. Hydra certainly didn't. That's not
particularly satisfactory. Surely, we would like Emacs to build on Darwin, BSD,
and other platforms, too?

svn path=/nixpkgs/trunk/; revision=21773
 2010-05-14 09:54:31 +00:00
Peter Simons 55a322022c pkgs/applications/editors/emacs-modes/magit: bumped to 0.8 release 
svn path=/nixpkgs/trunk/; revision=21737
 2010-05-12 09:09:55 +00:00
Ludovic Courtès f19a35aeeb Magit: Latest version. 
The tarball at crypt.to had vanished, and hopefully `fetchgit' over HTTP
will work for everyone.

svn path=/nixpkgs/trunk/; revision=21722
 2010-05-11 14:56:28 +00:00
Ludovic Courtès c63a2c79a4 GNU Zile 2.3.16. 
svn path=/nixpkgs/trunk/; revision=21696
 2010-05-09 23:14:34 +00:00
Ludovic Courtès e583aae98c Emacs: Add optional dependencies on GConf and librsvg. 
svn path=/nixpkgs/trunk/; revision=21694
 2010-05-09 23:14:23 +00:00
Marc Weber d86dace29b adding Eclipse note, 
readding older version.
adding eclipseLatest top level name

svn path=/nixpkgs/trunk/; revision=21684
 2010-05-09 14:17:21 +00:00
Ludovic Courtès 8edf4f1896 GNU Emacs 23.2. 
svn path=/nixpkgs/trunk/; revision=21680
 2010-05-09 12:46:22 +00:00
Marc Weber 8a79919093 fix flash player debug build 
svn path=/nixpkgs/trunk/; revision=21411
 2010-04-28 20:02:40 +00:00
Marc Weber d75d0cbb6a Eclipse update 
svn path=/nixpkgs/trunk/; revision=21169
 2010-04-19 16:47:41 +00:00
Armijn Hemel e0f50ecb39 update to 2.2.3 
svn path=/nixpkgs/trunk/; revision=21008
 2010-04-11 12:13:23 +00:00
Peter Simons 47e93b4177 pkgs/applications/editors/emacs-modes/magit: fixed cut&paste error in name attribute 
Thanks, Eelco!

svn path=/nixpkgs/trunk/; revision=20780
 2010-03-23 12:29:21 +00:00
Peter Simons bba9ecdbac pkgs/applications/editors/emacs-modes/magit: updated to version 0.7-109-g0fc3980 
svn path=/nixpkgs/trunk/; revision=20779
 2010-03-23 11:56:44 +00:00
Peter Simons cab868b9a3 pkgs/applications/editors/emacs-modes/magit: download tarball from cryp.to 
The idea of downloading the source code tarball directly from gitorious.org was
great, but didn't work. Apparently, those tarballs have different checksums
every time they're generated. To remedy the situation, I've copied the proper
tarball statically to <http://cryp.to/magit-mainline-0.7-94-gbf42bf8.tar.gz>.

svn path=/nixpkgs/trunk/; revision=20653
 2010-03-16 12:51:45 +00:00
Peter Simons b6d6f301c4 pkgs/applications/editors/emacs-modes/magit: updated to version magit-0.7-94-gbf42bf8 
Magit has seen plenty of development since version 0.7, but for some reason
there haven't been any new releases. This version bump updates the expression to
build a current version of Magit directly from the Git repository.

This change adds buildInputs 'autoconf' and 'automake'. These tools are required
only because we aren't building from a proper release tarball. Once version 0.8
comes out, these dependencies can be dropped again.

svn path=/nixpkgs/trunk/; revision=20650
 2010-03-16 12:13:40 +00:00
Ludovic Courtès 21e05c5ff3 GNU Zile 2.3.15. 
svn path=/nixpkgs/trunk/; revision=20361
 2010-03-04 11:10:35 +00:00
Ludovic Courtès f1fcbc0fc9 Fix JDEE. 
The SVN history has apparently been modified in place.

svn path=/nixpkgs/trunk/; revision=20313
 2010-03-01 17:08:08 +00:00
Michael Raskin 01d5ec596b Some more optional features for Vim 
svn path=/nixpkgs/trunk/; revision=20288
 2010-02-28 17:54:41 +00:00
Michael Raskin 9df96554ec Make Vim source overridable and add ECL configuration information. Currently Vim with ECL support requires unofficial source package, like the one retrievable from http://repo.or.cz/w/vim_extended.git 
svn path=/nixpkgs/trunk/; revision=20200
 2010-02-23 18:10:42 +00:00
Marc Weber 4007d19700 fix vim_configurable 
svn path=/nixpkgs/trunk/; revision=20084
 2010-02-18 01:49:22 +00:00
Marco Maggesi 513d653d68 Add HOL Light and its dependencies. 
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light

Some functionalities of HOL Light requires the compiled sources of
OCaml.  For now we provide a new package ocaml_with_sources.  After
this shuold be merged with the current version of OCaml already
present in nixpkgs.


svn path=/nixpkgs/trunk/; revision=20008
 2010-02-15 11:00:02 +00:00
Armijn Hemel 4f84a616d9 update to 2.2.1 
svn path=/nixpkgs/trunk/; revision=19097
 2009-12-24 21:37:18 +00:00
Marco Maggesi 218bdaf214 Add expression for ProofGeneral 
svn path=/nixpkgs/trunk/; revision=18904
 2009-12-11 16:18:27 +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
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 58f543f19f * Remove some old Emacs versions. 
svn path=/nixpkgs/trunk/; revision=18470
 2009-11-19 17:36:43 +00:00
Peter Simons 3659747127 pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1 
svn path=/nixpkgs/trunk/; revision=18089
 2009-11-04 10:29:38 +00:00
Sander van der Burg 5ed64ae7c0 Enabled my eclipse package again, since I want to have eclipse installed when typing nix-env -i. BTW. the eclipse plugins can be installed this way either 
svn path=/nixpkgs/trunk/; revision=18074
 2009-11-03 11:00:18 +00:00
Ludovic Courtès dc673480e6 GNU Zile 2.3.13. 
svn path=/nixpkgs/trunk/; revision=18066
 2009-11-01 20:55:14 +00:00
Ludovic Courtès be6b6b73f9 Add Emacs Scala-Mode. 
svn path=/nixpkgs/trunk/; revision=17904
 2009-10-20 15:12:29 +00:00
Lluís Batlle i Rossell 7e3bcbd4c2 Made the small vim (attribute 'vim') have --enable-multibyte. Not that a luxurious 
features, in these times of utf-8, and at the end our ncurses has multibyte.

svn path=/nixpkgs/trunk/; revision=17757
 2009-10-12 14:29:07 +00:00
Peter Simons 49afefdb19 emacs-23: hacky fix to libXaw linker errors on MacOS X 
When building Emacs on MacOS X, the configure script believes that libXaw is
available and tries to link it (even when, in fact, libXaw is not available).
To work around that problem, we make Xaw support mandatory on MacOS X.

svn path=/nixpkgs/trunk/; revision=17610
 2009-10-02 13:57:26 +00:00
Peter Simons 7ec88bf6bd emacs-23: apply the crt{1,i,n}.o patch only on Linux 
svn path=/nixpkgs/trunk/; revision=17603
 2009-10-02 12:45:13 +00:00
Ludovic Courtès 5873baddb7 GNU Zile 2.3.12. 
svn path=/nixpkgs/trunk/; revision=17420
 2009-09-25 15:24:25 +00:00
Marc Weber 862fcb0252 adding alsa-plugin and patching alsa so that you can tell it about additional plugins 
svn path=/nixpkgs/trunk/; revision=17316
 2009-09-20 21:54:23 +00:00
Michael Raskin 0af49d8e96 Fix typos 
svn path=/nixpkgs/trunk/; revision=17223
 2009-09-17 10:26:55 +00:00
Ludovic Courtès cad5eea4d6 Build Emacs only on GNU/Linux. 
svn path=/nixpkgs/trunk/; revision=17220
 2009-09-17 09:52:11 +00:00
Marc Weber c8ee5671cb commenting Eclipse - use the new eclipseRunner instead 
svn path=/nixpkgs/trunk/; revision=17079
 2009-09-13 08:54:55 +00:00
Rob Vermaas f016a6bcbc * stratego-mode for emacs 
svn path=/nixpkgs/trunk/; revision=16910
 2009-09-01 14:27:24 +00:00
Ludovic Courtès a56fecb102 JDEE: Update. 
svn path=/nixpkgs/trunk/; revision=16797
 2009-08-21 08:43:07 +00:00
Andres Löh 92f8b3767f Version bump for leksah. 
svn path=/nixpkgs/trunk/; revision=16642
 2009-08-10 12:43:30 +00:00
Peter Simons caaec0b4d6 pkgs/applications/editors/emacs-23/builder.sh: recognize path of 64-bit crt{1,i,n}.o files 
Deja vu?

svn path=/nixpkgs/trunk/; revision=16591
 2009-08-05 13:39:51 +00:00
Ludovic Courtès 9e8792548d GNU Emacs 23.1. 
svn path=/nixpkgs/trunk/; revision=16529
 2009-07-31 22:25:05 +00:00
Ludovic Courtès 7f22bca190 Quack 0.37. 
svn path=/nixpkgs/trunk/; revision=16453
 2009-07-24 12:41:47 +00:00