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
..
abc	abc-verifier: 20160818 -> 2018-07-08	2018-07-12 21:44:56 -05:00
abella	abella: 2.0.5 -> 2.0.6	2019-01-08 17:05:30 +00:00
acgtk	acgtk: 1.3.1 -> 1.5.0	2018-11-04 06:29:27 +00:00
aiger	Revert "treewide: fixup breakage due to absolute compiler path"	2018-08-22 01:14:53 +02:00
alt-ergo	alt-ergo: 2.2.0 -> 2.3.0	2019-02-12 09:19:06 +00:00
aspino	aspino: Disable build on aarch64-linux	2018-12-10 14:55:20 -05:00
avy	avy: Disable build on aarch64-linux	2018-12-10 14:55:20 -05:00
beluga	beluga: init at 20180403	2018-04-04 17:24:28 -04:00
boolector	boolector: 2.4.1 -> 3.0.0, relicensed to MIT	2018-08-15 20:44:05 -05:00
btor2tools	btor2tools: init at pre55_8c150b39	2018-08-15 20:44:05 -05:00
cedille	cedille: Make a seperate output for the base library	2018-10-22 08:43:07 +00:00
celf	treewide: http -> https	2018-06-23 04:34:55 -07:00
coq	coq_8_9: 8.9+beta1 -> 8.9.0	2019-01-24 09:08:51 +00:00
coq2html	coq2html: switch to default make	2018-11-15 17:41:25 +00:00
cryptominisat	cryptominisat: switch to python3	2019-01-05 16:38:10 +01:00
cryptoverif	cryptoverif: 1.28 -> 2.00	2018-06-06 14:40:27 -05:00
cubicle	cubicle: 1.1.1 -> 1.1.2	2018-12-16 17:24:47 +01:00
cvc3	cvc3: Add gcc6 patch from Gentoo.	2017-08-29 13:48:09 -05:00
cvc4	cvc4: fix homepage url	2018-07-16 15:58:22 +01:00
drat-trim	drat-trim: fix build on darwin	2017-12-17 13:19:34 +00:00
ekrhyper
elan	elan: 0.7.1 -> 0.7.2	2019-01-15 10:05:45 +01:00
eprover	eprover: 2.1 -> 2.2	2018-11-07 22:33:25 +01:00
gappa
glucose	glucose: Disable build on aarch64-linux	2018-12-10 14:55:20 -05:00
hol	treewide: Make configureFlags lists	2018-08-03 17:06:03 -04:00
hol_light	treewide: use runtimeShell instead of stdenv.shell whenever possible	2019-02-26 14:10:49 +00:00
iprover	treewide: use ${stdenv.shell} instead of /bin/sh where possible	2019-01-16 20:37:15 +01:00
isabelle	reewide: Purge all uses stdenv.system and top-level system	2018-08-30 17:20:32 -04:00
jonprl	jonprl: update homepage	2018-09-02 00:36:01 +02:00
lci
lean	lean: 3.4.1 -> 3.4.2	2019-01-20 06:46:37 -05:00
lean2	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
leo2	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
leo3	treewide: use runtimeShell instead of stdenv.shell whenever possible	2019-02-26 14:10:49 +00:00
lingeling	lingeling: init at pre1_03b4860d	2018-08-15 20:44:05 -05:00
logisim	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ltl2ba	ltl2ba: 1.2b1 -> 1.2	2018-11-19 02:28:38 -08:00
mcrl2	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
metis-prover	metis-prover: 2.3.20160102 -> 2.3.20160713	2016-07-21 18:41:26 +02:00
minisat	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
monosat	monosat: update build to use handy new environment variable	2018-07-08 22:04:05 -04:00
open-wbo	open-wbo: init at 2.0	2017-08-20 10:19:46 +02:00
opensmt	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
ott	ott: 0.27 -> 0.28	2018-04-26 00:52:29 -07:00
otter	Merge remote-tracking branch 'upstream/master' into hardened-stdenv	2016-05-02 22:58:02 +00:00
picosat	picosat: fix darwin build	2018-03-24 02:11:58 +01:00
poly	libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style	2018-07-12 17:06:57 -05:00
potassco	clingo: 5.2.2 -> 5.3.0	2018-07-04 11:23:33 -07:00
prooftree	prooftree: cleaning	2018-10-11 05:59:21 +00:00
prover9	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
proverif	proverif: 1.97pl1 -> 2.00	2018-05-22 06:58:10 +00:00
redprl	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
sad	sad: fix build	2018-08-09 22:13:44 +02:00
satallax	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
saw-tools	reewide: Purge all uses stdenv.system and top-level system	2018-08-30 17:20:32 -04:00
spass	spass: 3.7 -> 3.9	2016-06-21 08:18:20 +02:00
statverif	statverif: init at 1.86pl4	2016-06-28 04:36:11 +00:00
stp	maintainers: remove mornfall from packages	2018-01-17 05:17:33 +00:00
symbiyosys	symbiyosys: 2018.09.12 -> 2018.12.09	2019-01-08 19:15:24 -06:00
tamarin-prover	tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic	2019-01-19 18:54:38 -06:00
tlaplus	gnome-documents, tlaplus: fix glib references	2018-08-30 19:47:41 +02:00
tptp	tptp: use urls instead of url	2018-11-15 15:56:18 +01:00
twelf	misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs	2017-09-21 15:49:53 -04:00
vampire	vampire: fix nondeterministic hash	2018-11-22 14:15:55 +01:00
verifast	treewide: remove platform assertions	2018-05-03 13:09:20 -05:00
verit	Revert "treewide: fixup breakage due to absolute compiler path"	2018-08-22 01:14:53 +02:00
why3	why3: 1.1.1 -> 1.2.0	2019-02-25 10:09:15 +01:00
workcraft	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
yices	yices: s/fetchurl/fetchFromGitHub/	2019-01-08 19:15:24 -06:00
z3	z3: Patch file to get rid of python error	2019-02-14 10:11:15 -06:00