pkgs/development/libraries/ada/spark2014/default.nix

   1 { stdenv
   2 , lib
   3 , fetchFromGitHub
   4 , gnat12
   5 , gnatcoll-core
   6 , gprbuild
   7 , python3
   8 , why3
   9 , ocaml
  10 , ocamlPackages
  11 , makeWrapper
  12 }:
  13
  14 stdenv.mkDerivation rec {
  15   pname = "spark2014";
  16   version = "unstable-2022-05-25";
  17
  18   src = fetchFromGitHub {
  19     owner = "AdaCore";
  20     repo = "spark2014";
  21     # commit on fsf-12 branch
  22     rev = "ab34e07080a769b63beacc141707b5885c49d375";
  23     sha256 = "sha256-7pe3eWitpxmqzjW6qEIEuN0qr2IR+kJ7Ssc9pTBcCD8=";
  24     fetchSubmodules = true;
  25   };
  26
  27   nativeBuildInputs = [
  28     gnat12
  29     gprbuild
  30     python3
  31     ocaml
  32     makeWrapper
  33   ];
  34
  35   buildInputs = [
  36     gnatcoll-core
  37     ocamlPackages.camlzip
  38     ocamlPackages.findlib
  39     ocamlPackages.menhir
  40     ocamlPackages.menhirLib
  41     ocamlPackages.num
  42     ocamlPackages.yojson
  43     ocamlPackages.zarith
  44   ];
  45
  46   postPatch = ''
  47     # gnat2why/gnat_src points to the GNAT sources
  48     tar xf ${gnat12.cc.src} gcc-12.2.0/gcc/ada
  49     mv gcc-12.2.0/gcc/ada gnat2why/gnat_src
  50   '';
  51
  52   configurePhase = ''
  53     make setup
  54   '';
  55
  56   postInstall = ''
  57     cp -a ./install/. $out
  58     # help gnatprove to locate why3server
  59     wrapProgram "$out/bin/gnatprove" \
  60         --prefix PATH : "${why3}/lib/why3"
  61   '';
  62
  63   meta = with lib; {
  64     description = "a software development technology specifically designed for engineering high-reliability applications";
  65     homepage = "https://github.com/AdaCore/spark2014";
  66     maintainers = [ maintainers.jiegec ];
  67     license = licenses.gpl3;
  68     platforms = platforms.all;
  69   };
  70 }
  71