Commit Graph

20 Commits

Author SHA1 Message Date
Jack Cummings
236410c7a6 bluespec: 2022.1 -> 2023.1 2023-03-28 06:30:54 -05:00
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
Austin Seipp
4cd955979c bluespec: set mainProgram=bsc
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-07-26 13:25:23 -05:00
David Anderson
c9346a6ac8 bluespec: 2021.07 -> 2022.01
Current bsc releases ship a tarball of the expected version of the yices
source, so switch to using that rather than gamble on the nixpkgs yices
version.

Signed-off-by: David Anderson <dave@natulte.net>
2022-04-09 11:29:27 -07:00
Jack Cummings
912565a708 whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings
6e968a8550 bluespec: style changes, checkInputs 2021-08-31 16:53:58 -05:00
Jack Cummings
83088d4503 whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings
dea07960df bluespec: use only 'check-smoke' for now 2021-08-31 16:53:58 -05:00
Jack Cummings
de2257e11c whitespace 2021-08-31 16:53:58 -05:00
Jack Cummings
67247c113e bluespec: unstable-2021.03.29 -> 2021.07 2021-08-31 16:53:58 -05:00
Austin Seipp
24ad481a61
bluespec: unstable-2021.02.14 -> 2021.03.29
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-04-03 09:58:05 -05:00
Austin Seipp
eb01bbdf8c
bluespec: unstable-2020.11.04 -> unstable-2021.02.14
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-02-22 15:40:44 -06:00
Ben Siraphob
acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Jack Cummings
d402d913d7
bluespec: unstable-2020.02.09 -> unstable-2020.11.04
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-25 10:06:35 -06:00
Jack Cummings
d6af8fd0dc bluespec maintainer flokli -> jcumming (#103487) 2020-11-11 13:40:31 -08:00
Malte Brandy
8605e1c404
bluespec: Fix build without ghc 844
ghc 8.4.4 was only required before the merge of

https://github.com/B-Lang-org/bsc/pull/42

which actually is already contained in the commit we are using.
2020-07-24 17:02:47 +02:00
Peter Simons
30464da7b8 bluespec: mark package as broken because it depends on dropped ghc-8.4.4
Ping @flokli and @thoughtpolice.
2020-07-24 13:06:22 +02:00
Austin Seipp
c134564c26
bluespec: install utilities, too
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-26 18:32:20 -06:00
Florian Klink
c9ea6afe06 bluespec: init at unstable-2020.02.09 2020-02-10 00:44:22 +01:00