1 files changed, 17 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/tezos/hacl-glue.nix b/nixpkgs/pkgs/development/ocaml-modules/tezos/hacl-glue.nix
new file mode 100644
index 000000000000..409d04bb2660
--- /dev/null
+++ b/nixpkgs/pkgs/development/ocaml-modules/tezos/hacl-glue.nix
@@ -0,0 +1,17 @@
+{ lib
+, buildDunePackage
+, tezos-stdlib
+}:
+
+buildDunePackage {
+  pname = "tezos-hacl-glue";
+
+  inherit (tezos-stdlib) version useDune2;
+  src = "${tezos-stdlib.base_src}/src/lib_hacl_glue/virtual";
+
+  doCheck = true;
+
+  meta = tezos-stdlib.meta // {
+    description = "Tezos: thin layer of glue around hacl-star (virtual package)";
+  };
+}