blob: 531081beafaf3d6250ca5eb883c6a9c47d70c98f (
plain) (
blame)
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
65
66
67
68
69
70
71
72
73
74
|
{ lib, stdenv
, fetchurl
, unzip
, jdk
, ant
, jre
, makeWrapper
, runCommand
, key
}:
# get this from the download URL when changing version
let gitRevision = "7d3deab0763c88edee4f7a08e604661e0dbdd450";
in stdenv.mkDerivation rec {
pname = "key";
version = "2.6.3";
src = fetchurl {
url = "https://formal.iti.kit.edu/key/releases/${version}/key-src-${version}_${gitRevision}.zip";
sha256 = "1dr5jmrqs0iy76wdsfiv5hx929i24yzm1xypzqqvx7afc7apyawy";
};
sourceRoot = "key";
nativeBuildInputs = [
unzip
jdk
ant
makeWrapper
];
buildPhase = ''
ant -buildfile scripts/build.xml \
-Dgit.revision=${gitRevision} \
compileAll deployAll
'';
postCheck = ''
ant -buildfile scripts/build.xml \
-Dgit.revision=${gitRevision} \
compileAllTests runAllTests test-deploy-all
'';
installPhase = ''
mkdir -p $out/share/java
# Wrong version in the code. On next version change 2.5 to ${version}:
unzip deployment/key-2.5_${gitRevision}.zip -d $out/share/java
mkdir -p $out/bin
makeWrapper ${jre}/bin/java $out/bin/KeY \
--add-flags "-cp $out/share/java/KeY.jar de.uka.ilkd.key.core.Main"
'';
passthru.tests.check-version = runCommand "key-help" {} ''
${key}/bin/KeY --help | grep 2.5 # Wrong version in the code. On next version change to ${version}
touch $out
'';
meta = with lib; {
description = "Java formal verification tool";
homepage = "https://www.key-project.org"; # also https://formal.iti.kit.edu/key/
longDescription = ''
The KeY System is a formal software development tool that aims to
integrate design, implementation, formal specification, and formal
verification of object-oriented software as seamlessly as possible.
At the core of the system is a novel theorem prover for the first-order
Dynamic Logic for Java with a user-friendly graphical interface.
'';
license = licenses.gpl2;
maintainers = with maintainers; [ fgaz ];
platforms = platforms.all;
};
}
|