Commit Graph

202 Commits

Author SHA1 Message Date
Peter Simons
c2417256a8 Finalized maude 2.4 release.
- Updated full-maude to 2.4. 
 - Added program wrapper to set ${MAUDE_LIB} correctly.
 - TODO: the documentation is still not quite up-to-date.

svn path=/nixpkgs/trunk/; revision=13303
2008-11-14 22:53:09 +00:00
Eelco Dolstra
aa84bce64d * Get rid of all references to nix.cs.uu.nl.
svn path=/nixpkgs/trunk/; revision=13299
2008-11-14 16:57:19 +00:00
Peter Simons
893757cfd9 Updated maude to 2.4 release.
TODO: The full-maude distribution is missing from the web site. The
expression installs 2.3j until that is fixed. Also, the documentation
that's installed isn't up-to-date yet, it's from version 2.3.

svn path=/nixpkgs/trunk/; revision=13285
2008-11-13 19:35:48 +00:00
Michael Raskin
c4e1f47334 More Io fixes - hopefully final for now
svn path=/nixpkgs/trunk/; revision=13259
2008-11-12 11:13:49 +00:00
Michael Raskin
d7528deba0 More Io binding dependencies..
svn path=/nixpkgs/trunk/; revision=13246
2008-11-11 13:07:09 +00:00
Michael Raskin
add91332e8 Added Io programming language
svn path=/nixpkgs/trunk/; revision=13241
2008-11-11 08:53:47 +00:00
Peter Simons
0eed283de0 maudeUnstable: updated to alpha91d
svn path=/nixpkgs/trunk/; revision=13227
2008-11-07 22:46:03 +00:00
Michael Raskin
c5363217ad meta.function -> passthru.function, not killing other contents of passthru
svn path=/nixpkgs/trunk/; revision=13190
2008-11-04 21:24:10 +00:00
Eelco Dolstra
93a49a00f1 * Use xulrunner for chatzilla.
svn path=/nixpkgs/trunk/; revision=13162
2008-10-30 13:13:43 +00:00
Marc Weber
ffcfd819f5 added longDescription example usage to ruby-gems
svn path=/nixpkgs/trunk/; revision=13097
2008-10-19 12:59:34 +00:00
Peter Simons
f1328839d4 maudeUnstable: updated full-maude to latest alpha release
svn path=/nixpkgs/trunk/; revision=13017
2008-10-09 10:10:49 +00:00
Peter Simons
884f30e61f maude: update unstable version to 2.4 alpha 91c
svn path=/nixpkgs/trunk/; revision=12920
2008-09-25 21:37:59 +00:00
Peter Simons
656127373d maude: Updated unstable version to 2.4-alpha-91b. All unit tests pass now.
svn path=/nixpkgs/trunk/; revision=12890
2008-09-19 10:06:58 +00:00
Eelco Dolstra
549a4405e3 * xulrunner-wrapper: use Firefox 3 directly (via "firefox -app"),
since it has full support for running XUL applications.  This saves
  a lot of space (you don't need two copies of basically the same
  software).
* Deleted the old xulrunner (1.8.0.4), it didn't compile anyway with
  recent GTK.
* Updated chatzilla to 0.9.83.

svn path=/nixpkgs/trunk/; revision=12794
2008-09-04 09:29:09 +00:00
Marc Weber
8e7577363b enabling php sockets openssl and curl support
svn path=/nixpkgs/trunk/; revision=12777
2008-08-31 06:36:56 +00:00
Pjotr Prins
73d2e4f49d - Some Ruby interpreter bumped version
- Kernel headers 2.6.18 added (XEN virtual images)
- unifdef package added for kernel headers 2.6.18
- Python Zope and 4suite added
- Trying bioconductor packages with R-lang (still failing)
- Bumped gmp version
- Added rq cluster runner - still requires extra gems (installs, but does not run)


svn path=/nixpkgs/trunk/; revision=12766
2008-08-29 13:53:28 +00:00
Michael Raskin
87ff8d6347 Changed builderDefs to use composedArgsAndFun, reduced number of nulls, made overrides in builderDefsPackage to work in an intuitive manner.
svn path=/nixpkgs/trunk/; revision=12655
2008-08-19 05:54:09 +00:00
Pjotr Prins
48d8e0779c Fixed Ruby download path, new version 1.8.7-p72
svn path=/nixpkgs/trunk/; revision=12618
2008-08-14 11:47:51 +00:00
Michael Raskin
abe260b6c5 Now CLisp builds with full CLX (XShape included)
svn path=/nixpkgs/trunk/; revision=12559
2008-08-08 22:37:37 +00:00
Pjotr Prins
07595b0397 Introduced biolib package
svn path=/nixpkgs/trunk/; revision=12535
2008-08-07 15:01:21 +00:00
Pjotr Prins
f222b38f00 Added rightly named package gfortran and updated gcc version for compiling gfortran
r-lang debends on gfortran


svn path=/nixpkgs/trunk/; revision=12529
2008-08-07 08:33:03 +00:00
Pjotr Prins
bc6b7a3213 Updated Ruby package to support shared libs and pthreads
svn path=/nixpkgs/trunk/; revision=12466
2008-08-02 22:25:54 +00:00
Peter Simons
a16eebd0a6 Cosmetic, no functional change intended.
This patch moves curly braces to the end of the line, i.e.

  foo = { 
    ...
  };

instead of the previously used style:

  foo = 
  { 
    ...
  };

I commit this change hoping that my contributions to this project now conform
to the rules described in maintainers/docs/coding-conventions.txt so that the
self-appointed indention sheriff of the NixOS community can finally get off my
back and rest assured knowing that all i's are dotted and all t's are crossed.

svn path=/nixpkgs/trunk/; revision=12386
2008-07-18 20:11:25 +00:00
Peter Simons
057bd7c1c2 maude: build of unstable beta version because it has less bugs in full-maude
svn path=/nixpkgs/trunk/; revision=12385
2008-07-18 20:11:12 +00:00
Peter Simons
b64e42ce35 added maude beta version
svn path=/nixpkgs/trunk/; revision=12384
2008-07-18 20:11:02 +00:00
Michael Raskin
ecefcac4d7 Added PLT Scheme
svn path=/nixpkgs/trunk/; revision=12370
2008-07-17 09:57:47 +00:00
Peter Simons
8d7fe32a0e maude, tecla, buddy: new packages
Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.

svn path=/nixpkgs/trunk/; revision=12358
2008-07-15 09:58:30 +00:00
Michael Raskin
65b252a0df Patched Guile to load srfi .so files correctly from its own directory.
svn path=/nixpkgs/trunk/; revision=12120
2008-06-16 14:27:26 +00:00
Eelco Dolstra
4192f35202 * unixODBCDrivers needs sqlite.
svn path=/nixpkgs/trunk/; revision=12072
2008-06-13 09:44:43 +00:00
Eelco Dolstra
bb2a310c5c * Cleaned up the PHP expression. Added support for GD. Also
turned on PostgreSQL support by default (maybe I shouldn't,
  since it makes PHP rather dependency-heavy...).

svn path=/nixpkgs/trunk/; revision=12002
2008-06-06 13:03:55 +00:00
Michael Raskin
99c9108757 OpenSSL support for Python
svn path=/nixpkgs/trunk/; revision=11894
2008-05-26 12:27:17 +00:00
Michael Raskin
9d3b0a2cb7 Added bazaar tools (not installed globally, just copied to share, you have to symlink them to your ~/.bazaar/plugins). Also readline support for python.
svn path=/nixpkgs/trunk/; revision=11893
2008-05-26 11:39:08 +00:00
Michael Raskin
642ff45e22 Added codeville - a distributed revision control system with special efforts spent on merging. Heh, efforts into RCS availability seem to have side effects on Python side, too..
svn path=/nixpkgs/trunk/; revision=11891
2008-05-26 07:47:07 +00:00
Ludovic Courtès
7cc1d84272 GNU Guile 1.8.5.
svn path=/nixpkgs/trunk/; revision=11798
2008-05-09 12:12:26 +00:00
Pjotr Prins
4609c9dae9 Support for R-language (statistical)
svn path=/nixpkgs/trunk/; revision=11769
2008-05-07 11:24:28 +00:00
Michael Raskin
26bdb2a619 Added option for SQLite support to Python2.5
svn path=/nixpkgs/trunk/; revision=11754
2008-05-06 07:01:34 +00:00
Michael Raskin
c0426f6fe7 Added Ruby Gems. I have no idea how to better use repository-provided dependencies.
svn path=/nixpkgs/trunk/; revision=11557
2008-04-11 09:23:33 +00:00
Michael Raskin
0ef3e9e148 Added zlib and OpenSSL optional support to ruby
svn path=/nixpkgs/trunk/; revision=11556
2008-04-11 09:21:27 +00:00
Ludovic Courtès
144e3b4e9d Guile: Use `share/guile/site' as the standard Guile module location.
svn path=/nixpkgs/trunk/; revision=11507
2008-04-09 08:15:30 +00:00
Ludovic Courtès
d0d98958d2 Python 2.5: Add GDBM support.
svn path=/nixpkgs/trunk/; revision=11485
2008-04-08 07:37:49 +00:00
Eelco Dolstra
15a322f887 * php_unstable: caused nix-env to barf on FreeBSD.
svn path=/nixpkgs/trunk/; revision=11464
2008-04-04 18:49:49 +00:00
Marc Weber
0b6e4828cc added php curl support
svn path=/nixpkgs/trunk/; revision=11446
2008-04-01 18:16:01 +00:00
Ludovic Courtès
95f0e6a1a7 Differentiate between longDescription' and description'.
svn path=/nixpkgs/trunk/; revision=11230
2008-03-20 14:35:03 +00:00
Ludovic Courtès
420506d752 Guile: Add various fixes allowing the test suite to run.
svn path=/nixpkgs/trunk/; revision=11196
2008-03-19 08:42:30 +00:00
Eelco Dolstra
26a152653d * Adde xpra. Doesn't quite work yet.
* Removed python_alts.

svn path=/nixpkgs/trunk/; revision=11161
2008-03-17 13:45:50 +00:00
Ludovic Courtès
9433120f1f Guile: Disable `doCheck' for now.
svn path=/nixpkgs/trunk/; revision=11107
2008-03-13 21:04:07 +00:00
Ludovic Courtès
c1389c4f36 Guile: Run the test suite.
Warning: This makes `nix-worker' hang at the very end of the process,
once "make install" has completed and all installed files have been
scanned for references.

svn path=/nixpkgs/trunk/; revision=11099
2008-03-13 14:18:29 +00:00
Michael Raskin
ae7274413b Changed port in test-suite to avoid OpenFire port conflict during build.
svn path=/nixpkgs/trunk/; revision=11066
2008-03-11 20:58:29 +00:00
Armijn Hemel
1be3f71528 update to 2.5.2
svn path=/nixpkgs/trunk/; revision=10934
2008-03-03 23:15:15 +00:00
Michael Raskin
71f8e0911a Added src to meta for builderDefs-based packages.
svn path=/nixpkgs/trunk/; revision=10913
2008-03-02 18:49:31 +00:00