mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-07-06 17:13:24 -05:00
58 lines
1.2 KiB
Nix
58 lines
1.2 KiB
Nix
{
|
|
lib,
|
|
buildDunePackage,
|
|
fetchFromGitHub,
|
|
|
|
# propagatedBuildInputs,
|
|
charon,
|
|
core_unix,
|
|
domainslib,
|
|
ocamlgraph,
|
|
progress,
|
|
visitors,
|
|
|
|
nix-update-script,
|
|
}:
|
|
|
|
buildDunePackage (finalAttrs: {
|
|
pname = "aeneas";
|
|
version = "2026.06.14";
|
|
__structuredAttrs = true;
|
|
|
|
minimalOCamlVersion = "5.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "AeneasVerif";
|
|
repo = "aeneas";
|
|
tag = "nightly-${finalAttrs.version}";
|
|
hash = "sha256-ef68sJtVdKlIr7IiZSehFlG87m1BjW5HSG8PYxbs3Lg=";
|
|
};
|
|
|
|
sourceRoot = "${finalAttrs.src.name}/src";
|
|
|
|
propagatedBuildInputs = [
|
|
charon
|
|
core_unix
|
|
domainslib
|
|
ocamlgraph
|
|
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;
|
|
};
|
|
})
|