From 9882bdee1eab1fc5d78eb357c4e4858fdf8a4996 Mon Sep 17 00:00:00 2001
From: Luflosi <luflosi@luflosi.de>
Date: Wed, 8 Nov 2023 14:28:11 +0100
Subject: 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
---
 pkgs/applications/science/logic/abc/default.nix | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

(limited to 'pkgs/applications/science/logic')

diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix
index 1c2a54386cde..03e1ce07d8f1 100644
--- a/pkgs/applications/science/logic/abc/default.nix
+++ b/pkgs/applications/science/logic/abc/default.nix
@@ -1,8 +1,11 @@
-{ lib, stdenv, fetchFromGitHub
-, readline, cmake
+{ lib
+, stdenv
+, fetchFromGitHub
+, readline
+, cmake
 }:
 
-stdenv.mkDerivation rec {
+stdenv.mkDerivation (finalAttrs: {
   pname   = "abc-verifier";
   version = "unstable-2023-09-13";
 
@@ -16,10 +19,14 @@ stdenv.mkDerivation rec {
   nativeBuildInputs = [ cmake ];
   buildInputs = [ readline ];
 
-  installPhase = "mkdir -p $out/bin && mv abc $out/bin";
+  installPhase = ''
+    runHook preInstall
+    install -Dm755 'abc' "$out/bin/abc"
+    runHook postInstall
+  '';
 
   # needed by yosys
-  passthru.rev = src.rev;
+  passthru.rev = finalAttrs.src.rev;
 
   meta = with lib; {
     description = "A tool for squential logic synthesis and formal verification";
@@ -29,4 +36,4 @@ stdenv.mkDerivation rec {
     mainProgram = "abc";
     platforms   = platforms.unix;
   };
-}
+})
-- 
cgit 1.4.1