From e849c418e9d86fe038f44ac851dcbaa2b5e64f27 Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 12 Mar 2026 12:41:55 +0100 Subject: [PATCH] rm bos --- dune-project | 84 +++++++++++++++++++++++------------------------ src/dune | 2 +- src/secmod_rsa.ml | 6 ++-- 3 files changed, 45 insertions(+), 47 deletions(-) diff --git a/dune-project b/dune-project index d4fc79ff..1fdae6f6 100644 --- a/dune-project +++ b/dune-project @@ -2,45 +2,45 @@ (name mte) -(generate_opam_files true) - -; (source -; (github username/reponame)) - -(authors "Olivier Pierre ") - -(maintainers "Olivier Pierre ") - -(license AGPL-3.0-only) - -; (documentation https://url/to/documentation) - -(package - (name mte) - (synopsis "MTE - the MirageOS Taler Exchange") - (description "A GNU Taler exchange implementation with the unikernel framework MirageOS") - (tags - ("GNU Taler" MirageOS unikernel OCaml crypto)) - (depends - (ocaml (>= 5.3)) - base32 - caqti - caqti-miou - caqti-driver-pgx - crunch - vif - jsont - cohttp - fmt - bin - angstrom - mirage-crypto - kdf - digestif - duration - jsont - cohttp - ptime - logs - (ocamlformat :with-dev-setup) - )) +; (generate_opam_files true) +; +; ; (source +; ; (github username/reponame)) +; +; (authors "Olivier Pierre ") +; +; (maintainers "Olivier Pierre ") +; +; (license AGPL-3.0-only) +; +; ; (documentation https://url/to/documentation) +; +; (package +; (name mte) +; (synopsis "MTE - the MirageOS Taler Exchange") +; (description "A GNU Taler exchange implementation with the unikernel framework MirageOS") +; (tags +; ("GNU Taler" MirageOS unikernel OCaml crypto)) +; (depends +; (ocaml (>= 5.3)) +; base32 +; caqti +; caqti-miou +; caqti-driver-pgx +; crunch +; vif +; jsont +; cohttp +; fmt +; bin +; angstrom +; mirage-crypto +; kdf +; digestif +; duration +; jsont +; cohttp +; ptime +; logs +; (ocamlformat :with-dev-setup) +; )) diff --git a/src/dune b/src/dune index 99367680..baa69fd2 100644 --- a/src/dune +++ b/src/dune @@ -16,7 +16,7 @@ ; ; caqti caqti-miou - caqti-miou.unix + caqti-mnet caqti-driver-pgx bin mirage-crypto diff --git a/src/secmod_rsa.ml b/src/secmod_rsa.ml index 2d1956ea..41b9159b 100644 --- a/src/secmod_rsa.ml +++ b/src/secmod_rsa.ml @@ -113,11 +113,9 @@ let delete_file fs fpath = () let get_key_dir_contents fs dir_fpath = - let* b = Bos.OS.Dir.create ~mode:0o700 dir_fpath |> unwrap_msg in + let* b = Fat.mkdir fs dir_fpath |> unwrap_msg in if b then Log.info (fun m -> m "created directory `%a`" Fpath.pp dir_fpath); - let+ l = - Bos.OS.Dir.contents ~dotfiles:false ~rel:false dir_fpath |> unwrap_msg - in + let+ l = Fat.ls fs dir_fpath |> unwrap_msg in List.map Fpath.normalize l (* -- *)