JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9,650 Commits 2 Branches 0 Tags 12 GiB
b07babb810
Commit Graph

242 Commits

Author SHA1 Message Date
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
Ludovic Courtès
3451ae1a64 JDEE: Augment `jde-help-docsets.patch'; actually use it. 
svn path=/nixpkgs/trunk/; revision=16413
 2009-07-17 14:22:02 +00:00
Ludovic Courtès
13e3c0d7b9 JDEE: Don't install non-JAR files under `lib/java'. 
svn path=/nixpkgs/trunk/; revision=16403
 2009-07-16 15:39:05 +00:00
Ludovic Courtès
82c5ea7bc6 JDEE: Install bsh commands. 
svn path=/nixpkgs/trunk/; revision=16402
 2009-07-16 15:21:15 +00:00
Ludovic Courtès
e4d8c334b4 JDEE: Add wizard usability patch. 
svn path=/nixpkgs/trunk/; revision=16395
 2009-07-16 14:05:14 +00:00
Ludovic Courtès
aa699024db GNU Ed 1.4. 
svn path=/nixpkgs/trunk/; revision=16365
 2009-07-14 21:59:16 +00:00
Ludovic Courtès
f6533bc527 Emacs-w3m: Substitute `identify' from ImageMagick. 
svn path=/nixpkgs/trunk/; revision=16328
 2009-07-11 10:30:48 +00:00
Ludovic Courtès
18ef0d1673 emacs-w3m: Fix typo. 
svn path=/nixpkgs/trunk/; revision=16325
 2009-07-10 17:53:49 +00:00
Ludovic Courtès
45f7159af3 emacs-w3m: Get the source from CVS. 
svn path=/nixpkgs/trunk/; revision=16323
 2009-07-10 16:01:50 +00:00
Ludovic Courtès
186f62d354 JDEE: Provide a sensible default for `jde-help-docsets'. 
svn path=/nixpkgs/trunk/; revision=16320
 2009-07-10 14:30:24 +00:00
Ludovic Courtès
059ffb766e JDEE: Fix `jde-help-find-javadoc'. 
svn path=/nixpkgs/trunk/; revision=16319
 2009-07-10 14:21:26 +00:00
Ludovic Courtès
5c7cc2ffdb JDEE: Fix infinite recursion in `jde-directory-files-recurs'. 
svn path=/nixpkgs/trunk/; revision=16318
 2009-07-10 14:13:52 +00:00
Ludovic Courtès
df646c8ae4 Emacs-w3m: Add ImageMagick as a build input. 
svn path=/nixpkgs/trunk/; revision=16288
 2009-07-09 16:09:09 +00:00
Ludovic Courtès
2caabd37e1 Add Emacs-w3m, an Emacs interface to the W3M web browser. 
svn path=/nixpkgs/trunk/; revision=16287
 2009-07-09 15:56:40 +00:00
Ludovic Courtès
d490682e3b Remove Semantic and EIEIO, now part of CEDET. 
svn path=/nixpkgs/trunk/; revision=16283
 2009-07-09 15:29:14 +00:00
Ludovic Courtès
7cd0bee0c7 GNU Zile 2.3.8. 
svn path=/nixpkgs/trunk/; revision=16260
 2009-07-08 16:44:19 +00:00
Ludovic Courtès
e8bd387f04 jdee: More Java path fixes. 
svn path=/nixpkgs/trunk/; revision=16251
 2009-07-08 14:20:46 +00:00
Ludovic Courtès
bf5141245f jdee: Improve (fix?) Emacs 23 `avl-tree' compatibility. 
svn path=/nixpkgs/trunk/; revision=16250
 2009-07-08 13:56:08 +00:00
Ludovic Courtès
845a74db93 jdee: Fix path to the Java files. 
svn path=/nixpkgs/trunk/; revision=16249
 2009-07-08 13:23:32 +00:00
Ludovic Courtès
ea808c50ce Add ECB, the Emacs Code Browser. 
svn path=/nixpkgs/trunk/; revision=16234
 2009-07-08 09:01:11 +00:00
Ludovic Courtès
df4a8eafde Add JDEE, the Java development environment for Emacs. 
svn path=/nixpkgs/trunk/; revision=16222
 2009-07-07 16:13:45 +00:00
Eelco Dolstra
255a4a91f0 * Get rid of some dietlibc stuff. 
svn path=/nixpkgs/trunk/; revision=16132
 2009-07-02 08:58:58 +00:00
Marc Weber
349de9bafe revrting my accident only keeping rubygem updates and ruby libs 
This partially reverts commit -r 16100

svn path=/nixpkgs/trunk/; revision=16107
 2009-06-30 15:58:02 +00:00
Marc Weber
d1e39e78f9 adding rubygems support to nix - implemented target libraries/apps: sup mail client 
svn path=/nixpkgs/trunk/; revision=16100
 2009-06-30 14:29:20 +00:00
Ludovic Courtès
1526ba9d33 Rename emacsUnicode' to emacs23'. 
svn path=/nixpkgs/trunk/; revision=16073
 2009-06-27 23:09:21 +00:00