ocamlPackages.mopsa: 1.0 → 1.1 (#381991)

This commit is contained in:
Ulrik Strid
2025-02-14 12:27:56 +01:00
committed by GitHub
3 changed files with 39 additions and 4 deletions
@@ -0,0 +1,31 @@
{
lib,
fetchurl,
ocaml,
buildDunePackage,
cppo,
ounit2,
}:
buildDunePackage rec {
pname = "arg-complete";
version = "0.2.1";
src = fetchurl {
url = "https://github.com/sim642/ocaml-arg-complete/releases/download/${version}/arg-complete-${version}.tbz";
hash = "sha256-SZvLaeeqY3j2LUvqxGs0Vw57JnnpdvAk1jnE3pk27QU=";
};
nativeBuildInputs = [ cppo ];
doCheck = lib.versionAtLeast ocaml.version "4.08";
checkInputs = [ ounit2 ];
meta = {
description = "Bash completion support for OCaml Stdlib.Arg";
homepage = "https://sim642.github.io/ocaml-arg-complete/";
changelog = "https://raw.githubusercontent.com/sim642/ocaml-arg-complete/refs/tags/${version}/CHANGELOG.md";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.vbgl ];
};
}
@@ -11,6 +11,7 @@
ocaml,
menhir,
apron,
arg-complete,
camlidl,
yojson,
zarith,
@@ -18,15 +19,15 @@
buildDunePackage rec {
pname = "mopsa";
version = "1.0";
version = "1.1";
minimalOCamlVersion = "4.12";
minimalOCamlVersion = "4.13";
src = fetchFromGitLab {
owner = "mopsa";
repo = "mopsa-analyzer";
rev = "v${version}";
hash = "sha256-nGnWwV7g3SYgShbXGUMooyOdFwXFrQHnQvlc8x9TAS4=";
tag = "v${version}";
hash = "sha256-lO5dtGAl1dq8oJco/hPXrAbN05rKc62Zrci/8CLrQ0c=";
};
nativeBuildInputs = [
@@ -36,6 +37,7 @@ buildDunePackage rec {
];
buildInputs = [
arg-complete
camlidl
flint
libclang
+2
View File
@@ -38,6 +38,8 @@ let
apron = callPackage ../development/ocaml-modules/apron { };
arg-complete = callPackage ../development/ocaml-modules/arg-complete { };
arp = callPackage ../development/ocaml-modules/arp { };
asai = callPackage ../development/ocaml-modules/asai { };