ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00
Code Issues Projects Releases Wiki Activity

Apply comments from review

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2023-08-04 13:09:22 +02:00
parent 19a49c7844
commit 80175c4143
Failed to extract signature
1 changed files with 21 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
flake.nix
View File

@ -1,4 +1,4 @@
{
rec {
description = "adf-bdd, Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden";
inputs = {
@ -30,49 +30,36 @@
rustc = toolchain;
};
in rec {
apps = rec {
adf-bdd = flake-utils.lib.mkApp {
drv = packages.adf-bdd;
exePath = "/bin/adf-bdd";
};
};
packages = rec {
adf-bdd = platform.buildRustPackage {
pname = "adf-bdd";
version = "0.3.0-dev";
src = ./.;
cargoLock.lockFile = ./Cargo.lock;
packages = let
cargoMetaBin = (builtins.fromTOML (builtins.readFile ./bin/Cargo.toml)).package;
cargoMetaLib = (builtins.fromTOML (builtins.readFile ./lib/Cargo.toml)).package;
meta = {
description = "adf-bdd, Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden";
inherit description;
homepage = "https://github.com/ellmau/adf-obdd";
license = [pkgs.lib.licenses.mit];
};
nativeBuildInputs = with platform; [
cargoBuildHook
cargoCheckHook
];
};
in rec {
adf-bdd = platform.buildRustPackage {
pname = "adf-bdd";
inherit (cargoMetaBin) version;
src = ./.;
cargoLock.lockFile = ./Cargo.lock;
buildAndTestSubdir = "bin";
};
adf_bdd = platform.buildRustPackage {
pname = "adf_bdd";
version = "0.3.0";
src = ./.;
inherit (cargoMetaLib) version;
src = ./.;
cargoLock.lockFile = ./Cargo.lock;
meta = {
description = "adf-bdd, Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden";
homepage = "https://github.com/ellmau/adf-obdd";
license = [pkgs.lib.licenses.mit];
};
nativeBuildInputs = with platform; [
cargoBuildHook
cargoCheckHook
];
buildAndTestSubdir = "lib";
};
};
@ -92,9 +79,8 @@
pkgs.cargo-audit
pkgs.cargo-license
]
++ (notOn ["aarch64-darwin" "x86_64-darwin"] [pkgs.kcov pkgs.cargo-kcov pkgs.gnuplot])
++ (notOn ["aarch64-linux" "aarch64-darwin" "i686-linux"] [pkgs.cargo-tarpaulin])
++ (notOn ["aarch64-darwin" "x86_64-darwin"] [pkgs.valgrind]);
++ (notOn ["aarch64-darwin" "x86_64-darwin"] [pkgs.kcov pkgs.cargo-kcov pkgs.gnuplot pkgs.valgrind])
++ (notOn ["aarch64-linux" "aarch64-darwin" "i686-linux"] [pkgs.cargo-tarpaulin]);
};
};
};