tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 readline,
6 cmake,
7}:
8
9stdenv.mkDerivation (finalAttrs: {
10 pname = "abc-verifier";
11 version = "0.55";
12
13 src = fetchFromGitHub {
14 owner = "yosyshq";
15 repo = "abc";
16 rev = "v${finalAttrs.version}";
17 hash = "sha256-Ib6bZSPQmpI1UOsUG733TH6W6v+UnLyagdjUc8MreKw=";
18 };
19
20 nativeBuildInputs = [ cmake ];
21 buildInputs = [ readline ];
22
23 installPhase = ''
24 runHook preInstall
25 install -Dm755 'abc' "$out/bin/abc"
26 runHook postInstall
27 '';
28
29 # needed by yosys
30 passthru.rev = finalAttrs.src.rev;
31
32 meta = {
33 description = "Tool for squential logic synthesis and formal verification";
34 homepage = "https://people.eecs.berkeley.edu/~alanmi/abc";
35 license = lib.licenses.mit;
36 maintainers = with lib.maintainers; [
37 thoughtpolice
38 Luflosi
39 ];
40 mainProgram = "abc";
41 platforms = lib.platforms.unix;
42 };
43})