Commit graph

215 commits

Author SHA1 Message Date
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
Eelco Dolstra b61d3ab317 * Typo in attribute. This broke --meta --xml evaluation.
svn path=/nixpkgs/trunk/; revision=27142
2011-05-04 12:45:05 +00:00
Russell O'Connor af59636bf5 adding ecm support to msieve.
svn path=/nixpkgs/trunk/; revision=26931
2011-04-23 12:36:36 +00:00
Russell O'Connor 699261d8df Adding ecm-6.2.3.
svn path=/nixpkgs/trunk/; revision=26930
2011-04-23 12:25:51 +00:00
Marco Maggesi a041cad70a Update HOL Light to r89
svn path=/nixpkgs/trunk/; revision=26916
2011-04-21 14:39:29 +00:00
Russell O'Connor 3db6f63711 Package for msieve.
This would be better if gmp-emc were packaged as well.

svn path=/nixpkgs/trunk/; revision=26915
2011-04-21 12:48:07 +00:00
Michael Raskin b4faf64bae Update Isabelle to an existing tarball...
svn path=/nixpkgs/trunk/; revision=26903
2011-04-20 12:24:34 +00:00
Russell O'Connor bec1a9c44f update coq to 8.3pl1
update ssreflect to 1.3pl1

svn path=/nixpkgs/trunk/; revision=26692
2011-04-05 11:59:25 +00:00
Lluís Batlle i Rossell df786c07dc Updating gtkwave
svn path=/nixpkgs/trunk/; revision=26454
2011-03-22 11:36:58 +00:00
Andres Löh c2090d1be3 Added JAGS.
svn path=/nixpkgs/trunk/; revision=26396
2011-03-17 14:45:36 +00:00
Michael Raskin 662fa0a13b Fix updated maxima build
svn path=/nixpkgs/trunk/; revision=25799
2011-02-08 10:35:58 +00:00
Peter Simons e0d871ba91 maxima: added buildInput 'texinfo' so that the reference documentation can be built
svn path=/nixpkgs/trunk/; revision=25797
2011-02-07 17:37:22 +00:00
Peter Simons 7795e5ec24 pkgs/applications/science/math/wxmaxima/default.nix: fixed the sha256 checksum
svn path=/nixpkgs/trunk/; revision=25796
2011-02-07 14:49:25 +00:00
Peter Simons 80c344d0cf pkgs/applications/science/math/maxima: fixed the sha256 checksum
svn path=/nixpkgs/trunk/; revision=25795
2011-02-07 14:47:42 +00:00
Peter Simons 0c3dcddbf3 pkgs/applications/science/math/wxmaxima: updated to version 0.8.7
svn path=/nixpkgs/trunk/; revision=25787
2011-02-07 11:35:42 +00:00
Peter Simons a4cf1b8456 pkgs/applications/science/math/maxima: updated to version 5.23.2
svn path=/nixpkgs/trunk/; revision=25786
2011-02-07 11:35:35 +00:00
Marco Maggesi 436e1d72a7 * Coq: fix compilation of coqide (path to lablgkt)
svn path=/nixpkgs/trunk/; revision=25360
2011-01-03 13:49:15 +00:00
Michael Raskin e55aa52856 Fix lablgtk reference
svn path=/nixpkgs/trunk/; revision=25341
2011-01-02 17:25:18 +00:00
Russell O'Connor 88ec92d14c Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
2010-12-31 17:48:55 +00:00
Eelco Dolstra aa6f43149a * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
2010-12-28 16:42:00 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
2010-12-23 19:28:06 +00:00
Eelco Dolstra c14382cb45 * Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
2010-12-21 15:14:33 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
2010-12-20 10:32:22 +00:00
Ludovic Courtès e60ba9135a SimGrid 3.5.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
2010-12-17 17:48:12 +00:00
Lluís Batlle i Rossell ee04ffcb55 Updating from trunk. I resolved simple conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
2010-12-11 12:47:00 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP
svn path=/nixpkgs/trunk/; revision=24983
2010-12-05 19:11:21 +00:00
Michael Raskin 7768fa0178 Fix installation layout
svn path=/nixpkgs/trunk/; revision=24982
2010-12-05 19:08:32 +00:00
Michael Raskin 5cb3f8b659 Missing Singular files
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
2010-12-05 17:28:41 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin 86e44e72bf Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Michael Raskin 373fabf1c0 Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
2010-12-01 21:29:20 +00:00
Michael Raskin b89881d098 Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
2010-12-01 21:25:21 +00:00
Lluís Batlle i Rossell d71ad68d43 Fixing the verilog URL (contributed by Antonio Vargas)
svn path=/nixpkgs/trunk/; revision=24935
2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell ab6627ac0e Fix for the verilog package, from Antonio Vargas Gonzalez
svn path=/nixpkgs/trunk/; revision=24934
2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell 0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell 4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
Michael Raskin 3c452363ce Use a patch to fix make 3.82 build of Coq
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
2010-11-23 05:54:58 +00:00
Michael Raskin 9d124b1c70 Fix DrGeo build
svn path=/nixpkgs/branches/stdenv-updates/; revision=24762
2010-11-19 04:07:34 +00:00
Lluís Batlle i Rossell 8746de3ae8 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Peter Simons a09b681e3e pkgs/applications/science/math/maxima: fixed location of "info" and "man" directories
svn path=/nixpkgs/trunk/; revision=24605
2010-11-05 14:35:37 +00:00
Marco Maggesi 0430167083 Update Coq
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
Marco Maggesi 078587a846 Update HOL Light
svn path=/nixpkgs/trunk/; revision=24591
2010-11-03 22:20:05 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00
Lluís Batlle i Rossell 0cb7f90cac Adding caneda
svn path=/nixpkgs/trunk/; revision=24450
2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell 227c632d18 Adding qucs
svn path=/nixpkgs/trunk/; revision=24449
2010-10-24 17:00:57 +00:00
Lluís Batlle i Rossell 2c5de61327 Updating from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
2010-09-17 19:10:21 +00:00
Marco Maggesi 4e5db40581 Update HOL Light to version 20100820 (rev57 on google code).
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00
Marco Maggesi 44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Marco Maggesi 8ab6f9861c Add coq-8.3rc1
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Marco Maggesi df21c86e08 Improve hol_light:
*   Upgrade hol_light to the latest svn version on google code (r57).

  *   Improve and semplify the mechanism for the generation of checkpointed binaries.

  *   Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).

  *   Remove ocaml_with_sources which is not needed anymore.

svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Lluís Batlle i Rossell 6acc186e0e Fixing the catalan locale for kicad (it had the wrong encoding written)
svn path=/nixpkgs/trunk/; revision=23554
2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell aa86a0c4a2 Fixing kicad so it not only builds, but it also runs and finds the library of components.
svn path=/nixpkgs/trunk/; revision=23552
2010-08-31 08:19:28 +00:00
Lluís Batlle i Rossell cca1cae042 Updating from trunk. I had to do some changes to make it fit.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
2010-08-29 11:09:23 +00:00
Peter Simons 49c437a31e pkgs/applications/science/math/maxima: use a correct license tag
Thanks, Ludovic.

svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Peter Simons 098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error
svn path=/nixpkgs/trunk/; revision=23453
2010-08-26 12:06:05 +00:00
Peter Simons 2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6
svn path=/nixpkgs/trunk/; revision=23451
2010-08-26 11:53:17 +00:00
Peter Simons 83ae38861e pkgs/applications/science/math/maxima: added license tag
svn path=/nixpkgs/trunk/; revision=23450
2010-08-26 11:51:10 +00:00
Peter Simons 88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows
svn path=/nixpkgs/trunk/; revision=23449
2010-08-26 11:49:54 +00:00
Peter Simons 24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1
svn path=/nixpkgs/trunk/; revision=23448
2010-08-26 11:44:43 +00:00
Peter Simons 403938b004 pkgs/applications/science/logic/prover9: updated homepage and license
svn path=/nixpkgs/trunk/; revision=23447
2010-08-26 11:42:41 +00:00
Peter Simons 340d4a6ddd pkgs/applications/science/logic/prover9: initial version
svn path=/nixpkgs/trunk/; revision=23446
2010-08-26 11:37:05 +00:00
Michael Raskin 4f6c18925d Fix installation for updated E prover release
svn path=/nixpkgs/trunk/; revision=23435
2010-08-26 04:34:20 +00:00
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version
svn path=/nixpkgs/trunk/; revision=23430
2010-08-25 19:50:24 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=23391
2010-08-24 10:00:19 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad
svn path=/nixpkgs/trunk/; revision=23352
2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell f16353b6f2 Updated from trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
2010-08-20 13:41:12 +00:00
Lluís Batlle i Rossell 3a3867869a Adding tetgen
svn path=/nixpkgs/trunk/; revision=23138
2010-08-12 10:59:05 +00:00
Lluís Batlle i Rossell 039b660b5b Making lynx, yacas and alsa-lib crossbuild
svn path=/nixpkgs/branches/stdenv-updates/; revision=23130
2010-08-11 20:11:12 +00:00
Lluís Batlle i Rossell 456d3f41ae Adding a yacas needed patch for it to build
svn path=/nixpkgs/trunk/; revision=23077
2010-08-09 22:42:48 +00:00
Lluís Batlle i Rossell 9cba74c95a Adding 'yacas', a CAS implemented in C++.
svn path=/nixpkgs/trunk/; revision=23074
2010-08-09 21:58:21 +00:00
Marco Maggesi c0f343b752 Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
2010-08-05 18:44:42 +00:00
Eelco Dolstra cc84ac9e84 svn path=/nixpkgs/trunk/; revision=22880 2010-08-02 16:01:55 +00:00
Eelco Dolstra f1598a8941 * More cleanup.
svn path=/nixpkgs/trunk/; revision=22798
2010-07-28 18:01:17 +00:00
Ludovic Courtès 35cbabdab4 ViTE from SVN.
svn path=/nixpkgs/trunk/; revision=22696
2010-07-22 09:01:42 +00:00
Michael Raskin b1eb6c96a8 Update Tulip. Unicode support should be available now.
svn path=/nixpkgs/trunk/; revision=22484
2010-07-06 07:25:07 +00:00
Michael Raskin a10b9e1d3a Specifying golly license
svn path=/nixpkgs/trunk/; revision=22393
2010-06-23 10:02:44 +00:00