blob: 1e6157cfb9a253d13fd1517061b6f09024c81381 (
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
|
{ stdenv
, lib
, fetchFromGitHub
, gnat12
, gnatcoll-core
, gprbuild
, python3
, why3
, ocaml
, ocamlPackages
, makeWrapper
}:
stdenv.mkDerivation rec {
pname = "spark2014";
version = "unstable-2022-05-25";
src = fetchFromGitHub {
owner = "AdaCore";
repo = "spark2014";
# commit on fsf-12 branch
rev = "ab34e07080a769b63beacc141707b5885c49d375";
sha256 = "sha256-7pe3eWitpxmqzjW6qEIEuN0qr2IR+kJ7Ssc9pTBcCD8=";
fetchSubmodules = true;
};
nativeBuildInputs = [
gnat12
gprbuild
python3
ocaml
makeWrapper
];
buildInputs = [
gnatcoll-core
ocamlPackages.camlzip
ocamlPackages.findlib
ocamlPackages.menhir
ocamlPackages.menhirLib
ocamlPackages.num
ocamlPackages.yojson
ocamlPackages.zarith
];
postPatch = ''
# gnat2why/gnat_src points to the GNAT sources
tar xf ${gnat12.cc.src} gcc-12.2.0/gcc/ada
mv gcc-12.2.0/gcc/ada gnat2why/gnat_src
'';
configurePhase = ''
make setup
'';
postInstall = ''
cp -a ./install/. $out
# help gnatprove to locate why3server
wrapProgram "$out/bin/gnatprove" \
--prefix PATH : "${why3}/lib/why3"
'';
meta = with lib; {
description = "a software development technology specifically designed for engineering high-reliability applications";
homepage = "https://github.com/AdaCore/spark2014";
maintainers = [ maintainers.jiegec ];
license = licenses.gpl3;
platforms = platforms.all;
};
}
|