Unverified Commit 28bd698b authored by Shogo Takata's avatar Shogo Takata
Browse files

circt: format files

parent 7a35c1a0

pkgs/by-name/ci/circt/circt-llvm.nix

+20 −10
Original line number Diff line number Diff line 
{ lib

, stdenv

, cmake

, ninja

, circt

, llvm

, python3

}: stdenv.mkDerivation {

{

  lib,

  stdenv,

  cmake,

  ninja,

  circt,

  llvm,

  python3,

}:

stdenv.mkDerivation {

  pname = circt.pname + "-llvm";

  inherit (circt) version src;



  requiredSystemFeatures = [ "big-parallel" ];



  nativeBuildInputs = [ cmake ninja python3 ];

  nativeBuildInputs = [

    cmake

    ninja

    python3

  ];



  preConfigure = ''

    cd llvm/llvm
@@ -30,7 +36,11 @@ 
    "-DLLVM_INSTALL_UTILS=ON"

  ];



  outputs = [ "out" "lib" "dev" ];

  outputs = [

    "out"

    "lib"

    "dev"

  ];



  # Get rid of ${extra_libdir} (which ends up containing a path to circt-llvm.dev

  # in circt) so that we only have to remove the one fixed rpath.

pkgs/by-name/ci/circt/package.nix

+30 −15
Original line number Diff line number Diff line 
{ stdenv

, lib

, cmake

, coreutils

, python3

, git

, fetchFromGitHub

, ninja

, lit

, z3

, gitUpdater

, callPackage

{

  stdenv,

  lib,

  cmake,

  coreutils,

  python3,

  git,

  fetchFromGitHub,

  ninja,

  lit,

  z3,

  gitUpdater,

  callPackage,

}:



let
@@ -29,7 +30,13 @@ stdenv.mkDerivation rec { 


  requiredSystemFeatures = [ "big-parallel" ];



  nativeBuildInputs = [ cmake ninja git pythonEnv z3 ];

  nativeBuildInputs = [

    cmake

    ninja

    git

    pythonEnv

    z3

  ];

  buildInputs = [ circt-llvm ];



  cmakeFlags = [
@@ -65,7 +72,11 @@ stdenv.mkDerivation rec { 
  doCheck = true;

  checkTarget = "check-circt check-circt-integration";



  outputs = [ "out" "lib" "dev" ];

  outputs = [

    "out"

    "lib"

    "dev"

  ];



  # Copy circt-llvm's postFixup stage so that it can make all our dylib references

  # absolute as well.
@@ -89,7 +100,11 @@ stdenv.mkDerivation rec { 
    description = "Circuit IR compilers and tools";

    homepage = "https://circt.org/";

    license = lib.licenses.asl20;

    maintainers = with lib.maintainers; [ sharzy pineapplehunter sequencer ];

    maintainers = with lib.maintainers; [

      sharzy

      pineapplehunter

      sequencer

    ];

    platforms = lib.platforms.all;

  };

}