mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-27 02:34:53 +00:00
62 lines
1.3 KiB
Nix
62 lines
1.3 KiB
Nix
{
|
|
lib,
|
|
buildDunePackage,
|
|
fetchFromGitHub,
|
|
|
|
# propagatedBuildInputs,
|
|
charon,
|
|
core_unix,
|
|
domainslib,
|
|
ocamlgraph,
|
|
ppx_deriving_yojson,
|
|
progress,
|
|
visitors,
|
|
|
|
nix-update-script,
|
|
}:
|
|
|
|
buildDunePackage (finalAttrs: {
|
|
pname = "aeneas";
|
|
# Keep aeneas and charon in sync
|
|
version = "${charon.version}-daa85d7";
|
|
__structuredAttrs = true;
|
|
|
|
minimalOCamlVersion = "5.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "AeneasVerif";
|
|
repo = "aeneas";
|
|
tag = "nightly-${finalAttrs.version}";
|
|
hash = "sha256-NuJi6a99GzS/SLvM4wGUTBN4Td2XqD4Ei61eCR8zHWs=";
|
|
};
|
|
|
|
sourceRoot = "${finalAttrs.src.name}/src";
|
|
|
|
propagatedBuildInputs = [
|
|
charon
|
|
core_unix
|
|
domainslib
|
|
ocamlgraph
|
|
ppx_deriving_yojson
|
|
progress
|
|
visitors
|
|
];
|
|
|
|
# The test suite consists of heavy integration tests that require the full
|
|
# toolchain (Rust, charon and the F*/Coq/Lean backends), so it is not run here.
|
|
doCheck = false;
|
|
|
|
passthru.updateScript = nix-update-script {
|
|
extraArgs = [ "--version=unstable" ];
|
|
};
|
|
|
|
meta = {
|
|
description = "Verification toolchain for Rust programs";
|
|
homepage = "https://github.com/AeneasVerif/aeneas";
|
|
license = lib.licenses.asl20;
|
|
maintainers = with lib.maintainers; [ GaetanLepage ];
|
|
mainProgram = "aeneas";
|
|
platforms = lib.platforms.all;
|
|
};
|
|
})
|