Commit Graph

14 Commits

Author SHA1 Message Date
Felix Buehler
7c784439a2 development/{arduino/compilers/interpreters}: replace name with pname&version 2021-08-21 23:02:55 +02:00
Frederik Rietdijk
7be6cf9784 cmdstan: use python3 2021-03-25 11:48:24 +01:00
Ben Siraphob
acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Matthew Bauer
290a5d916e treewide: update homepages to https where available
Based on "problems" from repology:

https://repology.org/repository/nix_unstable/problems

Mostly simple changes to reflect redirects.
2019-04-15 10:10:05 -04:00
Jörg Thalheim
dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
2019-02-26 14:10:49 +00:00
rnhmjoj
bcf54ce5bb
treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
Jan Malakhovski
98d487e1fa cmdstan: use checkInputs 2018-08-11 09:35:23 +00:00
idontgetoutmuch
482597b4bc cmdstan: 2.9.0 -> 2.17.1 (#33076) 2017-12-26 17:44:13 +00:00
Tuomas Tynkkynen
21f17d69f6 treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
Ben Darwin
07cfc1553f stan: fix build by not running tests with nonexistent /usr/bin/python (#15968) 2016-06-26 22:52:58 +02:00
David A Roberts
7200a5c079 cmdstan: init at 2.9.0 2015-12-12 22:42:01 +10:00