nac3_sca/flake.nix

153 lines
6.1 KiB
Nix
Raw Normal View History

2021-10-07 21:49:13 +08:00
{
description = "The third-generation ARTIQ compiler";
inputs.nixpkgs.url = github:NixOS/nixpkgs/nixos-21.11;
2021-10-07 21:49:13 +08:00
outputs = { self, nixpkgs }:
let
pkgs = import nixpkgs { system = "x86_64-linux"; };
2021-10-08 08:18:42 +08:00
in rec {
packages.x86_64-linux = rec {
2022-03-26 15:13:43 +08:00
llvm-nac3 = pkgs.callPackage ./nix/llvm {};
2021-10-07 21:49:13 +08:00
nac3artiq = pkgs.python3Packages.toPythonModule (
pkgs.rustPlatform.buildRustPackage {
name = "nac3artiq";
outputs = [ "out" "runkernel" "standalone" ];
2021-10-07 21:49:13 +08:00
src = self;
2021-12-26 18:57:02 +08:00
cargoLock = { lockFile = ./Cargo.lock; };
2022-01-09 11:30:36 +08:00
nativeBuildInputs = [ pkgs.python3 pkgs.llvmPackages_13.clang-unwrapped llvm-nac3 ];
buildInputs = [ pkgs.python3 llvm-nac3 ];
checkInputs = [ (pkgs.python3.withPackages(ps: [ ps.numpy ])) ];
checkPhase =
''
echo "Checking nac3standalone demos..."
pushd nac3standalone/demo
patchShebangs .
./check_demos.sh
popd
echo "Running Cargo tests..."
cargoCheckHook
'';
2021-10-07 21:49:13 +08:00
installPhase =
''
PYTHON_SITEPACKAGES=$out/${pkgs.python3Packages.python.sitePackages}
mkdir -p $PYTHON_SITEPACKAGES
cp target/x86_64-unknown-linux-gnu/release/libnac3artiq.so $PYTHON_SITEPACKAGES/nac3artiq.so
mkdir -p $runkernel/bin
cp target/x86_64-unknown-linux-gnu/release/runkernel $runkernel/bin
mkdir -p $standalone/bin
cp target/x86_64-unknown-linux-gnu/release/nac3standalone $standalone/bin
2021-10-07 21:49:13 +08:00
'';
}
);
python3-mimalloc = pkgs.python3 // rec {
withMimalloc = pkgs.python3.buildEnv.override({ makeWrapperArgs = [ "--set LD_PRELOAD ${pkgs.mimalloc}/lib/libmimalloc.so" ]; });
withPackages = f: let packages = f pkgs.python3.pkgs; in withMimalloc.override { extraLibs = packages; };
};
2021-12-26 21:11:14 +08:00
# LLVM PGO support
2022-03-26 15:13:43 +08:00
llvm-nac3-instrumented = pkgs.callPackage ./nix/llvm {
2021-12-26 21:11:14 +08:00
stdenv = pkgs.llvmPackages_13.stdenv;
extraCmakeFlags = [ "-DLLVM_BUILD_INSTRUMENTED=IR" ];
};
nac3artiq-instrumented = pkgs.python3Packages.toPythonModule (
pkgs.rustPlatform.buildRustPackage {
name = "nac3artiq-instrumented";
src = self;
cargoLock = { lockFile = ./Cargo.lock; };
2022-01-09 11:30:36 +08:00
nativeBuildInputs = [ pkgs.python3 pkgs.llvmPackages_13.clang-unwrapped llvm-nac3-instrumented ];
2021-12-26 21:11:14 +08:00
buildInputs = [ pkgs.python3 llvm-nac3-instrumented ];
cargoBuildFlags = [ "--package" "nac3artiq" "--features" "init-llvm-profile" ];
doCheck = false;
configurePhase =
''
export CARGO_TARGET_X86_64_UNKNOWN_LINUX_GNU_RUSTFLAGS="-C link-arg=-L${pkgs.llvmPackages_13.compiler-rt}/lib/linux -C link-arg=-lclang_rt.profile-x86_64"
'';
installPhase =
''
TARGET_DIR=$out/${pkgs.python3Packages.python.sitePackages}
mkdir -p $TARGET_DIR
cp target/x86_64-unknown-linux-gnu/release/libnac3artiq.so $TARGET_DIR/nac3artiq.so
'';
}
);
nac3artiq-profile = pkgs.stdenvNoCC.mkDerivation {
name = "nac3artiq-profile";
src = self;
buildInputs = [ (python3-mimalloc.withPackages(ps: [ ps.numpy nac3artiq-instrumented ])) pkgs.lld_13 pkgs.llvmPackages_13.libllvm ];
2021-12-26 21:11:14 +08:00
phases = [ "buildPhase" "installPhase" ];
# TODO: get more representative code.
buildPhase = "python $src/nac3artiq/demo/demo.py";
installPhase =
''
mkdir $out
llvm-profdata merge -o $out/llvm.profdata /build/llvm/build/profiles/*
'';
};
2022-03-26 15:13:43 +08:00
llvm-nac3-pgo = pkgs.callPackage ./nix/llvm {
2021-12-26 21:11:14 +08:00
stdenv = pkgs.llvmPackages_13.stdenv;
extraCmakeFlags = [ "-DLLVM_PROFDATA_FILE=${nac3artiq-profile}/llvm.profdata" ];
};
nac3artiq-pgo = pkgs.python3Packages.toPythonModule (
pkgs.rustPlatform.buildRustPackage {
name = "nac3artiq-pgo";
src = self;
cargoLock = { lockFile = ./Cargo.lock; };
2022-01-09 11:30:36 +08:00
nativeBuildInputs = [ pkgs.python3 pkgs.llvmPackages_13.clang-unwrapped llvm-nac3-pgo ];
2021-12-26 21:11:14 +08:00
buildInputs = [ pkgs.python3 llvm-nac3-pgo ];
cargoBuildFlags = [ "--package" "nac3artiq" ];
cargoTestFlags = [ "--package" "nac3ast" "--package" "nac3parser" "--package" "nac3core" "--package" "nac3artiq" ];
installPhase =
''
TARGET_DIR=$out/${pkgs.python3Packages.python.sitePackages}
mkdir -p $TARGET_DIR
cp target/x86_64-unknown-linux-gnu/release/libnac3artiq.so $TARGET_DIR/nac3artiq.so
'';
}
);
2021-10-07 21:49:13 +08:00
};
2022-03-26 15:13:43 +08:00
packages.x86_64-w64-mingw32 = import ./nix/windows { inherit pkgs; };
2021-11-26 17:26:18 +08:00
devShell.x86_64-linux = pkgs.mkShell {
2021-10-07 21:49:13 +08:00
name = "nac3-dev-shell";
buildInputs = with pkgs; [
2022-01-09 11:30:36 +08:00
# build dependencies
packages.x86_64-linux.llvm-nac3
2022-01-09 11:30:36 +08:00
llvmPackages_13.clang-unwrapped # IRRT
2021-10-07 21:49:13 +08:00
cargo
rustc
2022-01-09 11:30:36 +08:00
# runtime dependencies
lld_13
(packages.x86_64-linux.python3-mimalloc.withPackages(ps: [ ps.numpy ]))
2022-01-09 11:30:36 +08:00
# development tools
cargo-insta
clippy
rustfmt
2022-03-22 22:14:46 +08:00
];
};
devShells.x86_64-linux.msys2 = pkgs.mkShell {
2022-03-26 15:15:39 +08:00
name = "nac3-dev-shell-msys2";
2022-03-22 22:14:46 +08:00
buildInputs = with pkgs; [
2022-03-22 18:03:25 +08:00
curl
pacman
fakeroot
2022-03-22 22:14:46 +08:00
packages.x86_64-w64-mingw32.wine-msys2
2021-10-07 21:49:13 +08:00
];
};
2021-10-08 08:18:42 +08:00
hydraJobs = {
inherit (packages.x86_64-linux) llvm-nac3 nac3artiq;
2022-03-22 18:03:25 +08:00
llvm-nac3-msys2 = packages.x86_64-w64-mingw32.llvm-nac3;
nac3artiq-msys2 = packages.x86_64-w64-mingw32.nac3artiq;
};
2021-10-07 21:49:13 +08:00
};
nixConfig = {
binaryCachePublicKeys = ["nixbld.m-labs.hk-1:5aSRVA5b320xbNvu30tqxVPXpld73bhtOeH6uAjRyHc="];
binaryCaches = ["https://nixbld.m-labs.hk" "https://cache.nixos.org"];
};
2021-10-07 21:49:13 +08:00
}