Commit graph

289 commits

Author SHA1 Message Date
Peter Simons
789c12add5 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0
svn path=/nixpkgs/trunk/; revision=24136
2010-10-07 13:14:01 +00:00
Peter Simons
48ecb667ab pkgs/applications/editors/emacs-modes/haskell: added meta section
svn path=/nixpkgs/trunk/; revision=24134
2010-10-07 13:13:42 +00:00
Yury G. Kudryashov
67b5d732a2 Move kdevplatform and kdevelop to all-packages.nix
svn path=/nixpkgs/trunk/; revision=24063
2010-10-05 05:43:39 +00:00
Russell O'Connor
228303d47e Merging roconnor's and ludo' texmacs derivations.
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.

svn path=/nixpkgs/trunk/; revision=24054
2010-10-04 15:07:38 +00:00
Evgeny Egorochkin
c9ad6ec90a Packaged Gobby
svn path=/nixpkgs/trunk/; revision=24040
2010-10-04 04:15:23 +00:00
Michael Raskin
2fed251436 Update vim_configurable to 7.3
svn path=/nixpkgs/trunk/; revision=24014
2010-10-01 05:01:32 +00:00
Armijn Hemel
8db80a9616 update to 7.3
svn path=/nixpkgs/trunk/; revision=24008
2010-09-30 17:00:13 +00:00
Lluís Batlle i Rossell
c00b676654 Making the default vim have multibyte+nls support. Checking with 'du', I think
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/trunk/; revision=23859
2010-09-18 16:29:47 +00:00
Peter Simons
c66aa309be pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2
svn path=/nixpkgs/trunk/; revision=23697
2010-09-09 16:06:34 +00:00
Ludovic Courtès
78adb9fbf1 org-mode: Pass the full path to which'; use callPackage'.
svn path=/nixpkgs/trunk/; revision=23657
2010-09-06 07:58:13 +00:00
Eelco Dolstra
9b22cac306 * Fix the nvi URL.
svn path=/nixpkgs/trunk/; revision=23621
2010-09-03 15:32:40 +00:00
Peter Simons
62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead
svn path=/nixpkgs/trunk/; revision=23471
2010-08-26 19:03:52 +00:00
Peter Simons
687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2
svn path=/nixpkgs/trunk/; revision=23468
2010-08-26 18:19:19 +00:00
Peter Simons
8b2437156b Correct the output directory adding missing prefix "share".
svn path=/nixpkgs/trunk/; revision=23383
2010-08-24 08:26:48 +00:00
Peter Simons
14760d869b Add Nix expression for Emacs mode htmlize.
svn path=/nixpkgs/trunk/; revision=23382
2010-08-24 08:25:51 +00:00
Ludovic Courtès
b4f887b7fb GNU Zile 2.3.19.
svn path=/nixpkgs/trunk/; revision=23254
2010-08-19 16:53:28 +00:00
Michael Raskin
e8a33e0c82 Make configurable Vim build with most options
svn path=/nixpkgs/trunk/; revision=22924
2010-08-03 10:59:57 +00:00
Eelco Dolstra
d81ed8201f * Turn vim/default.nix into a regular package. We don't need two
configurable VIMs.

svn path=/nixpkgs/trunk/; revision=22784
2010-07-28 12:52:54 +00:00
Eelco Dolstra
6609710409 * Get rid of many instances of "args: with args;", and other coding
guidelines violations.
* Updated libsamplerate to 0.1.7.

svn path=/nixpkgs/trunk/; revision=22782
2010-07-28 11:55:54 +00:00
Peter Simons
d137679f20 pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4
A collaborative editing environment for GNU Emacs.

svn path=/nixpkgs/trunk/; revision=22733
2010-07-26 13:41:03 +00:00
Ludovic Courtès
f497701642 Add upstream Org-Mode.
svn path=/nixpkgs/trunk/; revision=22693
2010-07-22 08:59:12 +00:00
Peter Simons
cc6c486560 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.7.0
svn path=/nixpkgs/trunk/; revision=22679
2010-07-20 14:53:35 +00:00
Ludovic Courtès
04082d00f3 GNU Zile 2.3.17.
svn path=/nixpkgs/trunk/; revision=22456
2010-07-04 21:10:27 +00:00
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