about summary refs log tree commit diff
path: root/pkgs/development/compilers/mozart
Commit message (Collapse)AuthorAge
* mozart: refactoringJoachim Fasting2017-02-16
| | | | | | | | | | | | | | | | | | | | | - Append emacs to the oz wrapper's command search path rather than the rpath. Previously, emacs would end up in the closure but the oz shell script would not be helped by it. Now a user without emacs in their PATH can still get the complete Oz experience (which depends crucially on emacs). To build a variant without emacs, do mozart.override { emacs = null; } - Patch full path to oz executable into the oz desktop item to make the output less reliant on the runtime PATH - Compress .elc files to save a little bit of space - Make it easier to extend platform support - Inline builder.sh - Be more specific about patching. oz and ozc are capable of inferring OZHOME themselves; thus we generate wrappers only for the binary executable components. Note that gmp and boost would be removed by patchelf --shrink-path; I've no idea whether they are used somehow, so we leave them in and forego rpath shrinking for now.
* mozart: prefer local buildsJoachim Fasting2017-02-15
| | | | | The build essentially unpacks a tarball and generates a few wrappers. No need to use hydra for that.
* mozart: switch sf downloads to mirror://J Phani Mahesh2016-08-20
| | | | | This allows fallback to all configured mirrors for sourceforge to download, instead of relying on just downloads.sourceforge.net
* Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors"Joachim Fasting2016-08-20
| | | | | | | This reverts commit 217594fd1d0b4cc36c98c1605b73ccb50ce57bc8, reversing changes made to 8e8a89d8a8f9d801f9e17d48325d06f20743b364. Turns out it wasn't ready afterall ...
* mozart: switch sf downloads to mirror://J Phani Mahesh2016-08-20
|
* mozart: fix tcl/tk issues and clean upHenry Till2015-10-03
|
* rename all occurrences of stdenv.cc.gcc to stdenv.cc.ccEric Seidel2015-01-14
|
* Missed gcc refsShea Levy2014-12-26
|
* Change occurrences of gcc to the more general ccJohn Wiegley2014-12-26
| | | | | This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.
* mozart: use longDescription fieldMateusz Kowalczyk2014-11-13
|
* Set correct current platform support for Mozart binaryMichael Raskin2014-11-11
|
* fix tarball evalDomen Kožar2014-11-11
|
* Mark binary distribution of Mozart/Oz 2.0 as suchMichael Raskin2014-11-09
|
* removed shebang in builder.shstewart2014-11-09
|
* depricate mozart-1.4 for mozart-2stewart2014-11-09
|
* Added mozart system (compiles, but untested).Andres Löh2009-12-29
svn path=/nixpkgs/trunk/; revision=19146