2024-03-21 14:07:51 +00:00
|
|
|
{
|
|
|
|
lib,
|
|
|
|
fetchFromGitHub,
|
|
|
|
ocamlPackages,
|
2023-01-03 23:47:16 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
ocamlPackages.buildDunePackage rec {
|
|
|
|
pname = "stanc";
|
2024-01-28 10:11:12 +00:00
|
|
|
version = "2.34.0";
|
2023-01-03 23:47:16 +00:00
|
|
|
|
|
|
|
minimalOCamlVersion = "4.12";
|
2023-05-02 04:07:42 +00:00
|
|
|
duneVersion = "3";
|
2023-01-03 23:47:16 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "stan-dev";
|
|
|
|
repo = "stanc3";
|
|
|
|
rev = "v${version}";
|
2024-01-28 10:11:12 +00:00
|
|
|
hash = "sha256-ixZCix3oLZhzs08JbmbNCO0lhAu1Jf+KnpHNKlU/FaA=";
|
2023-01-03 23:47:16 +00:00
|
|
|
};
|
|
|
|
|
2024-03-21 14:07:51 +00:00
|
|
|
nativeBuildInputs = with ocamlPackages; [ menhir ];
|
2023-01-03 23:47:16 +00:00
|
|
|
|
|
|
|
buildInputs = with ocamlPackages; [
|
|
|
|
core_unix
|
|
|
|
menhirLib
|
|
|
|
ppx_deriving
|
|
|
|
fmt
|
|
|
|
yojson
|
|
|
|
];
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
homepage = "https://github.com/stan-dev/stanc3";
|
|
|
|
description = "The Stan compiler and utilities";
|
|
|
|
license = licenses.bsd3;
|
|
|
|
maintainers = with maintainers; [ wegank ];
|
|
|
|
platforms = platforms.unix;
|
|
|
|
};
|
|
|
|
}
|