nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 08:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
500,633 Commits 188 Branches 125 Tags 8.6 GiB
5a193fb4dd
Commit Graph

35 Commits

Author SHA1 Message Date
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs 
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
 2023-01-21 12:00:00 +00:00
Malo Bourgon
0e802eafad treewide: add meta.mainProgram to many packages 2022-04-14 10:24:01 -07:00
Austin Seipp
2a295f42c8 symbiyosys: 2021.09.13 -> 2021.11.30 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Austin Seipp
d474571392 symbiyosys: 2020.08.22 -> 2021.09.13 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-09-29 13:14:27 -05:00
David Anderson
6f1319a4d6 symbiyosys: fix the interpreter of the sby binary. 
Signed-off-by: David Anderson <dave@natulte.net>
 2021-02-10 18:45:44 -08:00
Ben Siraphob
badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Austin Seipp
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Austin Seipp
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-25 06:46:01 -05:00
Austin Seipp
5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-17 17:19:40 -05:00
Austin Seipp
3d8efecda1
symbiyosys: fix calls to external programs 
48085826f broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.

But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.

This also does some other minor clean up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-02-27 21:52:15 -06:00
Emily
a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
Matt Huszagh
9c7cd63b3d symbiyosys: add yices dependency 
Symbioyosys requires at least smt solver backend
to work out of the box.
 2019-12-04 14:29:31 -06:00
Emily
fecfbe18bd symbiyosys: 2019.08.13 -> 2019.10.11 2019-10-19 12:26:49 -05:00
Vladimír Čunát
f21211ebfe
Merge branch 'master' into staging 2019-09-02 23:25:24 +02:00
Emily
d1dfaa79e3 symbiyosys: fix path to bash (again) 
/usr/bin/env works on NixOS normally, but previously sby would fail if
used from inside the Nix sandbox.
 2019-09-01 14:22:49 -05:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Emily
05c54717f8 symbiyosys: extend platforms 2019-08-23 02:14:40 -05:00
Emily
a51e3987ad symbiyosys: 2019.04.18 -> 2019.08.13 2019-08-14 00:14:22 -07:00
Sebastien Bourdeauducq
992150d37b symbiyosys: fix path to bash 2019-05-12 20:00:10 +02:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-22 14:27:45 -05:00
Austin Seipp
a5add1e623
symbiyosys: 2018.12.09 -> 2019.03.28 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-15 00:17:54 -05:00
Austin Seipp
d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp
919a3b7f9c symbiyosys: 2018.07.26 -> 2018.09.12 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-10-01 22:32:54 -05:00
Austin Seipp
752284680b symbiyosys: 2018.05.03 -> 2018.07.26 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-08 19:49:42 -05:00
Austin Seipp
301f14e993 symbiyosys: 2018.03.21 -> 2018.05.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-05-03 20:06:20 -05:00
Vincent Laporte
dc4a8435f0
symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Austin Seipp
011e70155b symbiyosys: 2018.03.07 -> 2018.03.21 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-21 16:05:10 -05:00
Austin Seipp
de1cb85b20 symbiyosys: 2018.02.04 -> 2018.03.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-08 21:23:20 -06:00
Austin Seipp
0e371a60a5 symbiyosys: 2018.01.10 -> 2018.02.04 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-02-04 11:59:35 -06:00
Austin Seipp
4d4340805b symbiyosys: 2017.12.06 -> 2018.01.10 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-01-10 14:00:58 -06:00
Austin Seipp
520fa67746 nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-06 22:07:57 -06:00
Austin Seipp
9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00