-
Notifications
You must be signed in to change notification settings - Fork 30
Expand file tree
/
Copy pathprolead.nix
More file actions
64 lines (59 loc) · 1.27 KB
/
prolead.nix
File metadata and controls
64 lines (59 loc) · 1.27 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
{
lib,
stdenv,
fetchFromGitHub,
pkg-config,
gnumake,
boost186,
flint,
python310,
python312,
withPython ? python310,
gdstk ? null,
catch2,
gcc-arm-embedded,
srcHash ? "sha256-LIqxlFaAeHrORV93vavuy0wWemEIJpb7HBuaLMfzzT8=",
}:
stdenv.mkDerivation rec {
pname = "prolead";
version = "3.1.0";
src = fetchFromGitHub {
owner = "ChairImpSec";
repo = "PROLEAD";
rev = "v${version}";
hash = srcHash;
};
# Required for building
nativeBuildInputs = [
pkg-config
gnumake
];
nativeCheckInputs = [
catch2
];
# Required at runtime
buildInputs = [
(boost186.override {
enablePython = true;
python = withPython;
})
flint
withPython
gcc-arm-embedded
]
++ (lib.optional (gdstk != null) gdstk);
installPhase = ''
runHook preInstall
mkdir -p $out/bin
cp release/PROLEAD $out/bin
runHook postInstall
'';
meta = {
description = "PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software + FIESTA - Fault Injection Evaluation with Statistical Analysis";
homepage = "https://github.com/ChairImpSec/PROLEAD";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ ];
mainProgram = "PROLEAD";
platforms = lib.platforms.all;
};
}