From dae32f5930693299d8a6e4cfae7534a8a286cd0a Mon Sep 17 00:00:00 2001 From: David Hamelin Date: Wed, 19 Apr 2023 19:19:32 +0200 Subject: [PATCH] ocamlPackages.unisim_archisec: init at 0.0.5 --- maintainers/maintainer-list.nix | 6 ++++++ .../ocaml-modules/unisim_archisec/default.nix | 21 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 3 files changed, 29 insertions(+) create mode 100644 pkgs/development/ocaml-modules/unisim_archisec/default.nix diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index cce68256a6a..fa3f2990b9f 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3522,6 +3522,12 @@ githubId = 10701143; name = "David Crompton"; }; + david-hamelin = { + email = "david.hamelin@outlook.fr"; + github = "HamelinDavid"; + githubId = 118536343; + name = "David Hamelin"; + }; davidrusu = { email = "davidrusu.me@gmail.com"; github = "davidrusu"; diff --git a/pkgs/development/ocaml-modules/unisim_archisec/default.nix b/pkgs/development/ocaml-modules/unisim_archisec/default.nix new file mode 100644 index 00000000000..a5b364312d4 --- /dev/null +++ b/pkgs/development/ocaml-modules/unisim_archisec/default.nix @@ -0,0 +1,21 @@ +{ lib, buildDunePackage, fetchurl }: + +buildDunePackage rec { + pname = "unisim_archisec"; + version = "0.0.5"; + + src = fetchurl { + url = "https://github.com/binsec/unisim_archisec/releases/download/0.0.5/unisim_archisec-0.0.5.tbz"; + sha256 = "sha256-94Ky7rtR8oFTtWshTYaY6gyJdqrY3QKMF7qTkZQweXQ="; + }; + + duneVersion = "3"; + + meta = { + homepage = "https://binsec.github.io"; + downloadPage = "https://github.com/binsec/unisim_archisec"; + description = "UNISIM-VP DBA decoder"; + license = lib.licenses.bsd3; + maintainers = [ lib.maintainers.david-hamelin ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index b03e77d2001..06c982d7e5d 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1628,6 +1628,8 @@ let unionFind = callPackage ../development/ocaml-modules/unionFind { }; + unisim_archisec = callPackage ../development/ocaml-modules/unisim_archisec { }; + unix-errno = callPackage ../development/ocaml-modules/unix-errno { }; unstrctrd = callPackage ../development/ocaml-modules/unstrctrd { };