{ version, litexPkgs }:

{ stdenv, python3Packages, yosys, libresoc-verilog }:

stdenv.mkDerivation {
  pname = "libresoc.il";
  inherit version;

  src = ../src/soc/litex/florent;

  strictDeps = true;

  nativeBuildInputs = (with python3Packages; [
    python migen c4m-jtag nmigen-soc python libresoc-ieee754fpu libresoc-openpower-isa
  ]) ++ (with litexPkgs; [ litex litedram liteeth liteiclink litescope litesdcard ]);

  postPatch = ''
    patchShebangs --build .

    export PYTHONPATH="${../src}:$PYTHONPATH"
  '';

  configurePhase = "true";

  buildPhase = ''
    runHook preBuild
    cp ${libresoc-verilog} libresoc/libresoc.v
    ./ls180soc.py --build --platform=ls180sram4k --num-srams=2 --srams4k
    runHook postBuild
  '';

  installPhase = ''
    runHook preInstall
    mkdir $out
    mv build/ls180sram4k/gateware/ls180sram4k.v $out/ls180.v
    mv build/ls180sram4k/gateware/mem.init $out
    mv build/ls180sram4k/gateware/mem_1.init $out
    mv libresoc/libresoc.v $out
    mv libresoc/SPBlock_512W64B8W.v $out
    runHook postInstall
  '';

  fixupPhase = "true";
}