Commit graph

196 commits

Author SHA1 Message Date
Yury G. Kudryashov cced3d2b86 Fix compilation with qt-4.8
- Explicitly depend on libX11 and mesa
- Include GL/glu.h

svn path=/nixpkgs/trunk/; revision=31552
2012-01-14 18:03:41 +00:00
Yury G. Kudryashov c2e38f32c0 avogadro: explicitly depend on pkg-config
svn path=/nixpkgs/trunk/; revision=31541
2012-01-14 18:03:01 +00:00
Lluís Batlle i Rossell 4238637b40 Adding GNU archimedes.
svn path=/nixpkgs/trunk/; revision=31505
2012-01-12 19:23:47 +00:00
Marco Maggesi 97d48a5426 Update HOL Light to rev 118
svn path=/nixpkgs/trunk/; revision=31468
2012-01-10 16:12:11 +00:00
Yury G. Kudryashov 7e320a7043 State qt version (3/4) in packages, not in all-packages.nix
svn path=/nixpkgs/trunk/; revision=31406
2012-01-07 17:06:49 +00:00
Michael Raskin 07de46c2fa Update E prover
svn path=/nixpkgs/trunk/; revision=31269
2012-01-04 10:31:49 +00:00
Yury G. Kudryashov 995d3d3e03 tulip-3.6.1
svn path=/nixpkgs/trunk/; revision=31216
2012-01-02 18:36:04 +00:00
Marco Maggesi fd64bc5289 Oops!
svn path=/nixpkgs/trunk/; revision=31126
2011-12-28 12:49:29 +00:00
Marco Maggesi ff3b0ed420 Update HOL Light to r116
svn path=/nixpkgs/trunk/; revision=31125
2011-12-28 12:45:59 +00:00
Peter Simons c7bed207d8 maxima: updated to version 5.26.0
svn path=/nixpkgs/trunk/; revision=31042
2011-12-22 12:30:19 +00:00
Lluís Batlle i Rossell 25bf67915d Updating kicad.
svn path=/nixpkgs/trunk/; revision=30953
2011-12-18 14:49:39 +00:00
Marco Maggesi 74c3fc3085 Update HOL Light to rev 114
svn path=/nixpkgs/trunk/; revision=30922
2011-12-16 07:44:29 +00:00
Michael Raskin d5c702939c Update Golly
svn path=/nixpkgs/trunk/; revision=30874
2011-12-13 21:00:42 +00:00
Peter Simons c86e037939 wxMaxima: updated to version 11.08.0
svn path=/nixpkgs/trunk/; revision=30774
2011-12-06 14:07:14 +00:00
Peter Simons 1382203c29 maxima: updated to version 5.25.1
svn path=/nixpkgs/trunk/; revision=30773
2011-12-06 14:07:11 +00:00
Lluís Batlle i Rossell a9a03946df Updating gtkwave
svn path=/nixpkgs/trunk/; revision=30738
2011-12-05 10:44:53 +00:00
Marco Maggesi bf394d80ec Update url for Isabelle2011
svn path=/nixpkgs/trunk/; revision=30574
2011-11-26 18:45:15 +00:00
Russell O'Connor 845f2a8658 adding camlp5 as a propogated build input to ulex 0.8
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex.
Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice.

svn path=/nixpkgs/trunk/; revision=30552
2011-11-24 19:43:03 +00:00
Marco Maggesi fa47d66e22 Updated HOL Light to revision 112
svn path=/nixpkgs/trunk/; revision=30369
2011-11-10 15:35:53 +00:00
Peter Simons 4098071398 gravit: cosmetic
svn path=/nixpkgs/trunk/; revision=30314
2011-11-08 10:01:14 +00:00
Peter Simons cf77f59ce9 stellarium: updated to version 0.11.1
svn path=/nixpkgs/trunk/; revision=30289
2011-11-07 10:04:40 +00:00
Russell O'Connor 491c6e43b1 Package for picosat.
svn path=/nixpkgs/trunk/; revision=29869
2011-10-17 22:18:21 +00:00
Lluís Batlle i Rossell 58e9385e70 Downgrading boinc to the last stable version.
svn path=/nixpkgs/trunk/; revision=29808
2011-10-13 08:58:45 +00:00
Lluís Batlle i Rossell c67c7d49b0 Boinc wanted to be told to link to libX11
svn path=/nixpkgs/trunk/; revision=29713
2011-10-07 19:01:27 +00:00
Lluís Batlle i Rossell 80d397413d Boinc can even run, but only if placed in the proper (writeable) path.
svn path=/nixpkgs/trunk/; revision=29712
2011-10-07 19:01:19 +00:00
Lluís Batlle i Rossell fefaa7a6ea Adding boinc. It installs. I don't know how to use it.
svn path=/nixpkgs/trunk/; revision=29704
2011-10-06 20:25:05 +00:00
Yury G. Kudryashov 9ee5230537 Move qt3/qt4 choice to .nix expressions
svn path=/nixpkgs/trunk/; revision=29404
2011-09-20 22:49:13 +00:00
Marco Maggesi a9d2f34301 Update HOL Light to release 102
svn path=/nixpkgs/trunk/; revision=28718
2011-08-21 08:41:22 +00:00
Yury G. Kudryashov a660093a4d Fix typo in URL
svn path=/nixpkgs/trunk/; revision=28603
2011-08-15 23:39:11 +00:00
Yury G. Kudryashov 0962beade0 Add avogadro
svn path=/nixpkgs/trunk/; revision=28596
2011-08-15 18:05:39 +00:00
Yury G. Kudryashov 48f1cd549f pari-gp-2.5.0
svn path=/nixpkgs/trunk/; revision=28440
2011-08-09 20:20:58 +00:00
Michael Raskin 946cd2431f Update LEO-II
svn path=/nixpkgs/trunk/; revision=28180
2011-08-05 18:22:40 +00:00
Michael Raskin 3e8a39ea61 Updating Maxima
svn path=/nixpkgs/trunk/; revision=28152
2011-08-04 15:13:15 +00:00
Peter Simons c58754b390 stellarium: build this package on Linux only
Stellarium is supposed to compile on mesaPlatforms, but unfortunately our qt47
expression doesn't support platforms other than Linux.

svn path=/nixpkgs/trunk/; revision=27798
2011-07-15 12:47:20 +00:00
Peter Simons fa99abdc89 gravit, stellarium: build software that depends on mesa only on mesa platforms
svn path=/nixpkgs/trunk/; revision=27790
2011-07-14 20:53:30 +00:00
Peter Simons 7c8871512d wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATH
svn path=/nixpkgs/trunk/; revision=27745
2011-07-13 09:56:58 +00:00
Peter Simons 3cd02cd43d maxima: switch from clisp to sbcl, enable tk gui, and fix various impurities
* Build maxima with sbcl for better performance.

 * Enable the regression test suite.

 * Configure $PATH at start-up so that maxima knows how to find sbcl,
   wish, rlwrap, and gnuplot.

 * Move installed documentation and Emacs lisp modules into standard
   locations.

 * Enable parallel building.

svn path=/nixpkgs/trunk/; revision=27743
2011-07-13 09:13:32 +00:00
Peter Simons 8223f67929 Added stellarium 0.11.0.
svn path=/nixpkgs/trunk/; revision=27697
2011-07-10 20:17:44 +00:00
Peter Simons 3806050f60 gravit: enable support for lua 5.0.x
The build doesn't work with the latest version 5.1.x. Upstream is going
to release an update to fix this soon.

svn path=/nixpkgs/trunk/; revision=27693
2011-07-10 14:04:24 +00:00
Peter Simons e7746a78ed gravit: added version 0.4.2
svn path=/nixpkgs/trunk/; revision=27677
2011-07-08 21:23:55 +00:00
Peter Simons 574eb09fa4 xplanet: move expression into new category "astronomy"
svn path=/nixpkgs/trunk/; revision=27676
2011-07-08 21:23:48 +00:00
Peter Simons 947610085d Added Eukleides, a geometry drawing language.
svn path=/nixpkgs/trunk/; revision=27655
2011-07-07 21:53:21 +00:00
Michael Raskin b973f98afa Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6
svn path=/nixpkgs/trunk/; revision=27570
2011-07-01 09:53:11 +00:00
Michael Raskin a4be010d31 Update Tulip
svn path=/nixpkgs/trunk/; revision=27566
2011-07-01 07:01:46 +00:00
Michael Raskin d03599f8ce Adding TPTP
svn path=/nixpkgs/trunk/; revision=27468
2011-06-15 10:35:18 +00:00
Marco Maggesi 5b035e093d Update HOL Light to rev 92
svn path=/nixpkgs/trunk/; revision=27459
2011-06-14 17:09:19 +00:00
Marco Maggesi 1298fd8aba Update hol_light and cleanup:
* Update hol_light to rev 90
* Remove dmtcp checkpoint (it doesn't work properly).
* General cleanup and simplification

svn path=/nixpkgs/trunk/; revision=27290
2011-05-21 11:18:35 +00:00
Marco Maggesi 8e5beab31f Fix building of Isabelle2011
svn path=/nixpkgs/trunk/; revision=27253
2011-05-14 21:09:57 +00:00
Peter Simons 1c6d30e2ad wxmaxima: updated to version 11.04.0
svn path=/nixpkgs/trunk/; revision=27171
2011-05-06 07:35:22 +00:00
Peter Simons b4e5853028 maxima: updated to version 5.24.0
svn path=/nixpkgs/trunk/; revision=27170
2011-05-06 07:35:15 +00:00