Unverified Commit 2c9288a6 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

sby: 0.47 -> 0.48 (#369528)

parents 16dab34e 68891b69

pkgs/by-name/sb/sby/package.nix

+9 −15
Original line number Diff line number Diff line
@@ -19,18 +19,18 @@ in 


stdenv.mkDerivation rec {

  pname = "sby";

  version = "0.47";

  version = "0.48";



  src = fetchFromGitHub {

    owner = "YosysHQ";

    repo = "sby";

    rev = "yosys-${version}";

    hash = "sha256-Il2pXw2doaoZrVme2p0dSUUa8dCQtJJrmYitn1MkTD4=";

    tag = "v${version}";

    hash = "sha256-icOlWutvajHMCi2YUIGU4v5S63YobXw4fYYUvPoSzo4=";

  };



  nativeBuildInputs = [ bash ];

  buildInputs = [

    pythonEnv

  nativeCheckInputs = [

    python3

    python3.pkgs.xmlschema

    yosys

    boolector

    yices
@@ -40,7 +40,8 @@ stdenv.mkDerivation rec { 
  ];



  postPatch = ''

    patchShebangs docs/source/conf.py \

    patchShebangs --build \

      docs/source/conf.py \

      docs/source/conf.diff \

      tests/autotune/*.sh \

      tests/keepgoing/*.sh \
@@ -64,8 +65,6 @@ stdenv.mkDerivation rec { 
      --replace-fail '/usr/bin/env python3' '${pythonEnv}/bin/python'

    substituteInPlace sbysrc/sby_autotune.py \

      --replace-fail '["btorsim", "--vcd"]' '["${btor2tools}/bin/btorsim", "--vcd"]'

    substituteInPlace tests/make/required_tools.py \

      --replace-fail '["btorsim", "--vcd"]' '["${btor2tools}/bin/btorsim", "--vcd"]'

  '';



  dontBuild = true;
@@ -89,12 +88,7 @@ stdenv.mkDerivation rec { 
    runHook postCheck

  '';



  passthru.updateScript = nix-update-script {

    extraArgs = [

      "--version-regex"

      "yosys-([0-9].*)"

    ];

  };

  passthru.updateScript = nix-update-script { };



  meta = {

    description = "SymbiYosys, a front-end for Yosys-based formal verification flows";