Vincenzo Mantova
1429e5b57e
bluespec: replace texlive.combined.scheme-full with texliveFull
2023-11-05 11:54:56 +00:00
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
