colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
609,050 Commits 125 Branches 0 Tags 3.4 GiB
db585038d2
Commit Graph

35 Commits

Author SHA1 Message Date
Luflosi
783a01c64e
abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13 2023-11-08 15:21:35 +01:00
Luflosi
9882bdee1e
abc-verifier: cleanup 
- Move each function argument into its own line
- Use `finalAttrs` instead of the `rec` keyword to properly handle overriding
- Run the `preInstall` and `postInstall` hooks in the `installPhase`
- Use `install` instead of `mkdir -p` and `mv` to be more concise
 2023-11-08 15:21:34 +01:00
Luflosi
0942f79dda
abc-verifier: add Luflosi as maintainer 2023-11-08 15:21:31 +01:00
Luflosi
ec38bafb02 abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13 2023-10-07 11:52:04 -05:00
Luflosi
f6cd7355c5
abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28 2023-07-18 21:37:31 +02:00
Luflosi
e8f1fcd350 abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23 2023-03-12 18:10:19 -05:00
Luflosi
1a4a178f60
abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04 2023-02-22 02:04:23 +01:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09 2022-12-06 18:58:31 +01:00
Luflosi
2cb6af3eac abc-verifier: 2022.07.27 -> unstable-2022-09-08 2022-10-14 19:27:01 -05:00
Austin Seipp
5b93ac113c yosys: 0.18 -> 0.20 
Includes necessary `abc` update as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2022-08-12 13:23:18 -05:00
Luflosi
f4a768e251
abc-verifier: 2022.03.22 -> 2022.05.06 2022-06-20 10:40:17 +02:00
Malo Bourgon
16e15fa68f treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
Luflosi
0a2f8109f4 abc-verifier: 2022.03.04 -> 2022.03.22 2022-04-12 08:38:25 -05:00
Luflosi
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04 2022-03-08 18:28:13 +01:00
Austin Seipp
a79ca33d94 yosys: 0.10+1 -> 0.11+52, with abc update 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Profpatsch
4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; 
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
 2021-01-11 10:38:22 +01:00
Ben Siraphob
3ae5e6ce03 treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-12-02 07:18:05 -06:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11 
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16 
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-17 17:19:37 -05:00
Florian Klink
570afbcb5b abc-verifier: passthru rev 
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
 2020-02-01 12:49:45 +01:00
Florian Klink
351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
volth
46420bbaa3 treewide: name -> pname (easy cases) (#66585) 
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
 2019-08-15 13:41:18 +01:00
Will Dietz
f731c99e7d abc-verifier: 20160818 -> 2018-07-08 
Now hosted on github.
 2018-07-12 21:44:56 -05:00
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta 2017-07-15 09:27:41 +02:00
Mario Rodas
0e7b608ab0 abc-verifier: Add http url scheme to abc homepage 2017-04-23 18:45:36 -05:00
Austin Seipp
cc7b072157 nixpkgs: abc-verifier 20160813 -> 20160818 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-08-19 01:55:13 +00:00
Austin Seipp
97e5b88d06 nixpkgs: abc-verifier 20150614 -> 20160813 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-08-13 17:48:42 +00:00
Austin Seipp
3d181a3175 nixpkgs: abc-verifier 20150406 -> 20150614 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
31f4c0c7d1 nixpkgs: abc-verifier 20140509 -> 20150406 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-04-06 07:57:27 -05:00
John Wiegley
c4190b4894 abc: export buildFlags in the preBuild 2015-01-03 07:35:36 -05:00
Benno Fünfstück
e10001042d fetchbzr, fetchdarcs, fetchhg: use rev attr 
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
 2014-06-28 21:06:10 +02:00
Austin Seipp
552db25e7f nixpkgs: add abc version 040509 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-17 14:09:09 -05:00