aboutsummaryrefslogtreecommitdiff
path: root/guix.scm
diff options
context:
space:
mode:
Diffstat (limited to 'guix.scm')
-rw-r--r--guix.scm30
1 files changed, 30 insertions, 0 deletions
diff --git a/guix.scm b/guix.scm
new file mode 100644
index 0000000..a34d483
--- /dev/null
+++ b/guix.scm
@@ -0,0 +1,30 @@
+(use-modules
+ (guix packages)
+ (guix download)
+ (guix git-download)
+ (guix build-system dune)
+ ((guix licenses) #:prefix license:)
+ (gnu packages ocaml))
+
+(define-public ocaml-monocypher
+ (package
+ (name "ocaml-monocypher")
+ (version "0.0.0")
+ (source #f)
+ (build-system dune-build-system)
+ (arguments '())
+ (propagated-inputs
+ `(("ocaml-ctypes" ,ocaml-ctypes)
+ ;; TODO ocaml-integers should be added as propagated-input of ocaml-ctypes in Guix
+ ("ocaml-integers" ,ocaml-integers)))
+ (native-inputs
+ `(("merlin" ,ocaml-merlin)
+ ("dot-merlin-reader" ,ocaml-dot-merlin-reader)
+ ("ocp-indent" ,ocaml-ocp-indent)
+ ("alcotest" ,ocaml-alcotest)))
+ (home-page "https://gitlab.com/public.dream/DROMEDAR/ocaml-monocypher")
+ (synopsis "OCaml bindings to the Monocypher cryptographic library")
+ (description "sdfsdf")
+ (license license:agpl3+)))
+
+ocaml-monocypher