{ alliance-src, ... }:

{ stdenv, coriolis-unicorn, coriolis-cumulus, python2Packages, alliance, yosys }:

let
  env = python2Packages.python.buildEnv.override {
    extraLibs = [ coriolis-unicorn coriolis-cumulus ];
  };
in stdenv.mkDerivation {
  pname = "alliance-check-toolkit";
  version = builtins.substring 0 8 alliance-src.lastModifiedDate;
  src = alliance-src;

  nativeBuildInputs = [ alliance coriolis-unicorn yosys ];

  YOSYS_TOP = "${yosys}";
  ALLIANCE_TOP = "${alliance}";
  CORIOLIS_TOP = "${coriolis-unicorn}";
  # The user configuration for verhaegs is empty,
  # which is why we use it.
  USER = "verhaegs";

  configurePhase = "true";
  buildPhase = ''
    cd benchs/adder/cmos
    echo 'doing make druc'
    make druc
    echo 'doing make lvx'
    make lvx
  '';
  installPhase = "true";
}