2022-08-25 12:57:03 +00:00
|
|
|
open Mirage
|
|
|
|
|
2022-08-29 16:32:32 +00:00
|
|
|
type http_client = HTTP_client
|
|
|
|
let http_client = typ HTTP_client
|
2022-08-25 12:57:03 +00:00
|
|
|
|
2022-08-25 20:47:46 +00:00
|
|
|
let remote =
|
|
|
|
let doc = Key.Arg.info
|
|
|
|
~doc:"Remote repository url, use suffix #foo to specify a branch 'foo': \
|
|
|
|
https://github.com/ocaml/opam-repository.git"
|
|
|
|
["remote"]
|
|
|
|
in
|
|
|
|
Key.(create "remote" Arg.(opt string "https://github.com/ocaml/opam-repository.git#master" doc))
|
|
|
|
|
|
|
|
let tls_authenticator =
|
|
|
|
(* this will not look the same in the help printout *)
|
|
|
|
let doc = "TLS host authenticator. See git_http in lib/mirage/mirage.mli for a description of the format."
|
|
|
|
in
|
|
|
|
let doc = Key.Arg.info ~doc ["tls-authenticator"] in
|
|
|
|
Key.(create "tls-authenticator" Arg.(opt (some string) None doc))
|
2022-08-25 12:57:03 +00:00
|
|
|
|
|
|
|
let mirror =
|
|
|
|
foreign "Unikernel.Make"
|
2022-08-25 20:47:46 +00:00
|
|
|
~keys:[ Key.v remote ; Key.v tls_authenticator ]
|
|
|
|
~packages:[
|
2022-08-29 16:32:32 +00:00
|
|
|
package "paf" ;
|
|
|
|
package "h2" ;
|
|
|
|
package "httpaf" ;
|
2022-08-25 20:47:46 +00:00
|
|
|
package ~min:"3.0.0" "irmin-mirage-git" ;
|
|
|
|
package ~min:"3.7.0" "git-paf" ;
|
|
|
|
package "opam-file-format" ;
|
|
|
|
]
|
2022-08-29 16:32:32 +00:00
|
|
|
(kv_rw @-> time @-> pclock @-> stackv4v6 @-> git_client @-> http_client @-> job)
|
2022-08-25 12:57:03 +00:00
|
|
|
|
2022-08-25 20:47:46 +00:00
|
|
|
let stack = generic_stackv4v6 default_network
|
|
|
|
|
|
|
|
let dns = generic_dns_client stack
|
|
|
|
|
|
|
|
let tcp = tcpv4v6_of_stackv4v6 stack
|
|
|
|
|
2022-08-29 16:32:32 +00:00
|
|
|
let http_client =
|
|
|
|
let connect _ modname = function
|
|
|
|
| [ _time; _pclock; _tcpv4v6; ctx ] ->
|
|
|
|
Fmt.str {ocaml|%s.connect %s|ocaml} modname ctx
|
|
|
|
| _ -> assert false in
|
|
|
|
impl ~connect "Http_mirage_client.Make"
|
|
|
|
(time @-> pclock @-> tcpv4v6 @-> git_client @-> http_client)
|
|
|
|
(* XXX(dinosaure): [git_client] seems bad but it becames from a long discussion
|
|
|
|
when a "mimic" device seems not accepted by everyone. We can copy [git_happy_eyeballs]
|
|
|
|
and provide an [http_client] instead of a [git_client] but that mostly means that
|
|
|
|
2 instances of happy-eyeballs will exists together which is not really good
|
|
|
|
(it puts a pressure on the scheduler). *)
|
|
|
|
|
|
|
|
let git_client, http_client =
|
|
|
|
let happy_eyeballs = git_happy_eyeballs stack dns (generic_happy_eyeballs stack dns) in
|
|
|
|
merge_git_clients (git_tcp tcp happy_eyeballs)
|
|
|
|
(git_http ~authenticator:tls_authenticator tcp happy_eyeballs),
|
|
|
|
http_client $ default_time $ default_posix_clock $ tcp $ happy_eyeballs
|
2022-08-25 12:57:03 +00:00
|
|
|
|
2022-08-26 15:23:46 +00:00
|
|
|
let program_block_size =
|
|
|
|
let doc = Key.Arg.info [ "program-block-size" ] in
|
2022-08-30 09:35:28 +00:00
|
|
|
Key.(create "program_block_size" Arg.(opt int 16 doc))
|
2022-08-26 15:23:46 +00:00
|
|
|
|
|
|
|
let kv_rw =
|
|
|
|
let block = block_of_file "db" in
|
|
|
|
chamelon ~program_block_size block
|
|
|
|
|
2022-08-25 12:57:03 +00:00
|
|
|
let () = register "mirror"
|
2022-08-29 16:32:32 +00:00
|
|
|
[ mirror $ kv_rw $ default_time $ default_posix_clock $ stack $ git_client $ http_client ]
|