Commit Graph

310 Commits

Author SHA1 Message Date
Peter Simons
c8648e14a4 haskell-mode: update git version to current HEAD 2015-01-21 18:47:56 +01:00
Ludovic Courtès
41b53577a8 unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
Johannes Bornhold
f8247edd1c Add meta attributes to emacsPackages.d 2015-01-11 18:46:48 +01:00
Johannes Bornhold
860336e786 Add d-mode to emacs modes 2015-01-11 18:46:48 +01:00
Peter Simons
f0c80e1ced haskell-mode: add current snapshot of git 'master' branch as a low-prio alternative to the (fairly old) release version 2014-12-23 12:50:43 +01:00
John Wiegley
f6c491891f emacsPackages.haskellMode: regress to 13.10 until next release 2014-12-19 13:57:02 -06:00
Aycan iRiCAN
389670985f emacs24Packages.haskellMode upgrade to use fetchFromGitHub 2014-12-18 14:51:56 +02:00
Aycan iRiCAN
e1c2ac404d emacs24Packages.haskellMode update to use fetchurl 2014-12-18 09:36:19 +02:00
Aycan iRiCAN
7ebc62059e emacs24Packages.haskellMode updated to latest git. 2014-12-17 14:41:10 +02:00
Aycan iRiCAN
f578c0ce5d emacsPackages.js2-mode updated to latest release. 2014-11-20 00:37:37 +02:00
Cillian de Róiste
546ece8f25 emacs24Packages.rainbowDelimiters: update from 1.3.12 to 1.3.13 2014-11-18 21:23:41 +01:00
Aristid Breitkreuz
199e7908a5 emacs-clang-complete-async: fix build (untested, but at least it builds) 2014-11-16 17:12:05 +01:00
Pascal Wittmann
8df0e0b151 Fixed many descriptions 2014-11-11 14:36:34 +01:00
Peter Simons
7da8ef80a7 emacs-ess: update checksum of the tarball 2014-11-08 18:44:15 +01:00
Peter Simons
6835392708 Merge pull request #4895 from joachifm/ess-14_09
ess: bump version to 14.09
2014-11-08 16:06:52 +01:00
Joachim Fasting
47bc68a687 ess: bump version to 14.09 2014-11-08 16:01:07 +01:00
Peter Simons
69bb66902f emacs-icicles: add current icicles snapshot to emacsPackages 2014-11-07 11:55:57 +01:00
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
2014-11-06 00:48:16 +00:00
Mathijs Kwik
8913f14a5f emacs-idris-mode: upgrade to 0.9.15 2014-11-05 18:28:59 +01:00
Peter Simons
f2ae7bd844 magit: update to version 90141025 2014-11-03 14:41:05 +01:00
Pascal Wittmann
5b542ec902 org: update from 8.2.8 to 8.2.10 2014-10-28 12:47:09 +01:00
karsten gebbert
3071a57c34 Add hsc3 haskell package. 2014-10-26 16:22:29 +01:00
Peter Simons
b31ac058cc magit: don't install lisp files into a "magit" sub-directory
After this change, Emacs can load the magit-*.el files without further
configuration. Just add

    (require 'magit-autoloads)

to ~/.emacs, and run M-x magit-status or any other magit command.
2014-10-22 13:06:43 +02:00
Peter Simons
dba01b2e77 magit: update to the latest release from Melpa 2014-10-22 11:46:56 +02:00
Peter Simons
3b4a72c3d6 git-modes: add git-modes package version 0.15.0-8-g4e10851 for Emacs
These files are required by the latest version of Magit.
2014-10-22 11:46:56 +02:00
Mateusz Kowalczyk
917c1638bf emacs-magit: fix URL (hopefully) 2014-10-21 22:40:28 +01:00
Mateusz Kowalczyk
2026054746 emacs-magit: update to 1.2.1 2014-10-21 20:21:11 +01:00
Pascal Wittmann
806d2aa68c org-mode: update from 8.2.7c to 8.2.8 2014-10-03 11:23:08 +02:00
Mateusz Kowalczyk
ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers
Working with Coq
2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk
f04b0b9879 emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
3043af8838 emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12 2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
9d246d2cff emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4 2014-09-30 10:56:11 +01:00
Vincent Laporte
94828070ed ProofGeneral: makes the dependency on TeXLive optional
And fixes the default value of $PGHOME
2014-09-28 14:03:15 +01:00
cillianderoiste
1b8d79e0b2 Merge pull request #4143 from geerds/cask
Add "cask" package
2014-09-19 13:23:28 +02:00
Jascha Geerds
771d1bd865 Add "cask" package 2014-09-18 00:46:45 +02:00
Peter Simons
6f819ef4f4 emacs-ensime: depend on scala-mode2 and sbt-mode 2014-09-06 13:30:44 +02:00
Peter Simons
1e92a86240 emacs-rainbow-delimiters: add version 1.3.8 2014-09-06 13:30:44 +02:00
Peter Simons
7f5bc10186 emacs-ensime: add current git snapshot 2014-09-05 16:06:16 +02:00
Peter Simons
e8bff6f838 emacs-s: add version 1.9.0 2014-09-05 16:06:16 +02:00
Peter Simons
a4ec7a6316 emacs-dash: add version 1.5.0 2014-09-05 16:06:16 +02:00
Peter Simons
309851f999 scala-mode2: update to latest version 2014-09-05 16:06:16 +02:00
Mathijs Kwik
0e1ed7bbc9 fix js2-mode revision 2014-08-25 13:56:53 +02:00
Mathijs Kwik
fb2449c026 add emacs color-theme solarized 2014-08-25 13:56:53 +02:00
Mathijs Kwik
3be7d4b478 idris-mode: upgrade to 0.9.14 2014-08-25 13:56:52 +02:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Peter Simons
9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging.
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Aycan iRiCAN
307a08c9a3 removed rev 2014-08-03 21:21:52 +03:00
Aycan iRiCAN
02dcf1e493 Upgrade js2-mod to 20140114 2014-08-03 21:20:26 +03:00
Pascal Wittmann
cf744cb715 org: update from 8.2.7b to 8.2.7c 2014-07-30 12:14:15 +02:00
Peter Simons
d0ca8c237e Fix broken license references. 2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/applications/audio/espeak/edit.nix
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-07-28 11:30:49 +02:00
Moritz Ulrich
e4f978d09f bbdb3: New package. 2014-07-27 10:55:43 +02:00
Eelco Dolstra
7f410ef923 Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/misc/vim-plugins/default.nix
2014-07-22 11:00:00 +02:00
Pascal Wittmann
70caf388eb org: update from 8.2.7 to 8.2.7b 2014-07-17 12:20:22 +02:00
Eelco Dolstra
95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
cillianderoiste
00cb266c4f Merge pull request #3163 from pSub/writegood-mode
Update writegood-mode from 1.3 to 2.0
2014-07-02 14:15:10 +02:00
Pascal Wittmann
da8b931738 Update writegood-mode from 1.3 to 2.0 2014-07-02 13:03:01 +02:00
Eelco Dolstra
06fc1ec34d Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
Eelco Dolstra
40f7b0f9df Another attempt to eradicate ensureDir
See c556a6ea46.
2014-06-30 14:56:10 +02:00
John Wiegley
bf610b79ff structured-haskell-mode: 1.0.2 > 1.0.3 2014-06-28 09:23:22 -07:00
John Wiegley
3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-21 09:22:29 -07:00
John Wiegley
bfe77718d4 emacs-modes-emms, emacs-modes-org: Relax platform qualifier 2014-06-20 22:37:09 -07:00
John Wiegley
073933101e proofgeneral: Delete default.nix for proofgeneral 2014-06-20 22:36:06 -07:00
John Wiegley
0cf6e55a70 proofgeneral_4_3_pre: Add expression needed for current prooftree 2014-06-20 22:31:55 -07:00
Austin Seipp
85c70f642f Merge pull request #2977 from bluescreen303/emacs-org2blog
Emacs org2blog - bring up to date - now works with org-8.* again
2014-06-18 16:21:02 -05:00
John Wiegley
4643126d10 Merge pull request #2938 from pSub/org-mode
Org-mode 8.2.7 depends on texlive-cm-super.
2014-06-18 09:42:12 -07:00
Mathijs Kwik
ff995adb0d emacs-idris-mode: upgrade to 0.9.13.1 2014-06-16 22:43:51 +02:00
Mathijs Kwik
b193dd5d77 emacs-org2blog: upgrade to 0.8.1 2014-06-16 22:43:11 +02:00
Mathijs Kwik
ab8337e4fc add emacs-metaweblog 2014-06-16 22:43:10 +02:00
Pascal Wittmann
63ee29b808 Org-mode 8.2.7 depends on texlive-cm-super. 2014-06-16 21:58:59 +02:00
Pascal Wittmann
19110c9a53 Update org-mode from 8.2.6 to 8.2.7 and add myself as a maintainer. 2014-06-13 14:21:39 +02:00
Peter Simons
80a60810ca emacs-sbt-mode: add initial version 2014-06-05 14:34:32 +02:00
Peter Simons
1fc21bd6a9 emacs-scala-mode: package version 2 2014-06-05 14:34:31 +02:00
Pascal Wittmann
8806abe97e Update org-mode to latest stable version 2014-05-23 20:06:02 +02:00
Austin Seipp
0f1f2115e9 hol_light: fix script, upgrade to r189
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Austin Seipp
9ef104cbad cryptol-mode: 0.1.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 12:51:08 -05:00
Austin Seipp
6376ac57d8 emacsPackages: add cryptol-mode
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-14 18:23:51 -05:00
Peter Simons
79f19f687c flymake-cursor: the sha256 hash of the file has changed
No change was documented on the emacs wiki. Not sure what happened. :-(
2014-04-08 12:48:22 +02:00
Peter Simons
1b1225fb0b flymake-cursor: remove redundant 'meta.platforms = stdenv.lib.platforms.all' setting 2014-04-08 12:48:22 +02:00
Mathijs Kwik
593c633aa8 emacs-idris-mode: upgrade to support idris 0.9.12 2014-04-08 08:38:43 +02:00
Peter Simons
69b53c990a structured-haskell-mode: re-generate with latest cabal2nix 2014-03-31 23:10:56 +02:00
Shea Levy
5a38bfdb9c Merge branch 'darcsum' of git://github.com/falsifian/nixpkgs
Added darcsum, "a pcl-cvs like interface for managing darcs patches".
2014-03-14 19:42:27 -04:00
Pascal Wittmann
af3cf0dbeb Add structured-haskell-mode 2014-03-03 11:55:26 +01:00
Mathijs Kwik
d2dd22651d idris-mode: upgrade to current version 2014-03-02 08:41:45 +01:00
Peter Simons
c3dc693586 writegood-mode: update to version 1.3
https://github.com/bnbeckwith/writegood-mode/issues/7
2014-02-13 22:29:34 +01:00
cillianderoiste
19757df9dc Merge pull request #1673 from pSub/writegood-mode
Add emacs minor mode writegood
2014-02-12 01:52:01 +01:00
Pascal Wittmann
e8b0001268 idris-mode: fixed link to homepage (merge #1671) 2014-02-04 18:56:24 +01:00
Pascal Wittmann
351e070366 Add emacs minor mode writegood 2014-02-04 16:01:35 +01:00
Petr Rockai
6f5be260b4 Adopt packages. 2014-01-28 17:31:17 +01:00
Peter Simons
c1209b5144 emacs-bbdb: update to version 2.36 2014-01-21 20:18:27 +01:00
Shea Levy
fea2266290 llvm: Split llvmFull into separate derivations
Now most packages in the llvm suite are built as separate derivations.
The exceptions are:

* compiler-rt must currently be built with llvm. This increases llvm's
  size by 6 MB
* clang-tools-extra must be built with clang

In addition, the top-level llvm attribute is defaulted to llvm 3.4, and
llvm 3.3 must be accessed by the llvm_33 attribute. This is to make the
out-of-date packages obvious in the hope that eventually all will be
updated to work with 3.4 and 3.3 can be removed. I think we should keep
this policy in the future (latest llvm gets top-level name, the rest are
versioned until they can be removed).

The llvm packages (except libc++, which exception I will try to remove
on the next update) can all be accessed via the llvmPackages attribute,
and there are also aliases for the packages that already existed (llvm,
clang, and dragonegg).

Signed-off-by: Shea Levy <shea@shealevy.com>
2014-01-20 20:33:06 -05:00
Shea Levy
55e6303d6a Add full llvm build, update libc++ and dragonegg
Some packages in the llvm suite (e.g. compiler-rt) cannot be built
separate from the build of llvm, and while some others (e.g. clang) can
the combined build is much better tested (we've had to work around
annoying issues before). So this puts llvm, clang, clang-tools-extra,
compiler-rt, lld, lldb, and polly all into one big build (llvmFull).
This build includes a static llvm, as dynamic is similarly less tested
and has known failures.

This also updates libc++ and dragonegg. libc++ now builds against
libc++abi as a separate package rather than building it during the
libc++ build.

The clang purity patch is gone. Instead, we simply set --sysroot to
/var/empty for pure builds, as all impure paths are either looked up in
the gcc prefix (which we hard-code at compile time) or in the sysroot.
This also means that if NIX_ENFORCE_PURITY is 0 then clang will look in
the normal Linux paths by default, which is the proper behavior IMO.

polly required an updated isl. When stdenv-updates is merged, perhaps we
can update the isl used by gcc and avoid having two versions.

Since llvm on its own is now separate from the llvm used by clang, I've
removed myself as maintainer from llvm and will leave maintenance of
that to those who are interested in llvm separate from clang.

Signed-off-by: Shea Levy <shea@shealevy.com>
2014-01-20 05:42:38 -05:00
James Cook
638e1586cf Added darcsum, "a pcl-cvs like interface for managing darcs patches". 2014-01-18 12:25:34 -08:00
Nixpkgs Monitor
16cd5aba6a emacs24Packages.haskellMode: update from 13.07 to 13.10 2014-01-13 17:05:45 +01:00
Eelco Dolstra
6fb27abf33 Merge branch 'java' 2014-01-13 13:16:17 +01:00
Eelco Dolstra
16e626a80d Replace lib/java -> share/java 2014-01-09 13:01:38 +01:00
Mathijs Kwik
8fad5a72ec add emacs/idris-mode 2014-01-07 07:16:47 +01:00