diff --git a/.gitignore b/.gitignore index 0e6da31d..f37d8e0d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,8 +1,8 @@ _build/ -mirage/ -dist/ -dune.build -dune.config -dune-project -dune-workspace -duniverse/ +unikernel/mirage/ +unikernel/dist/ +unikernel/dune.build +unikernel/dune.config +unikernel/dune-project +unikernel/dune-workspace +unikernel/duniverse/ diff --git a/src/dune b/src/dune index 9bceb10f..5fa017ec 100644 --- a/src/dune +++ b/src/dune @@ -1,5 +1,4 @@ (library - (wrapped false) (name mte) - (public_name mte) + (wrapped false) (libraries logs hxd.core hxd.string)) diff --git a/unikernel/config.ml b/unikernel/config.ml index 830a9ed1..2788c555 100644 --- a/unikernel/config.ml +++ b/unikernel/config.ml @@ -5,8 +5,9 @@ type conn = Connect let conn = typ Connect -let minipaf = +let mte = main "Unikernel.Make" + ~local_libs:[ "mte" ] ~packages: [ package "digestif"; package ~min:"0.0.9" "mimic-happy-eyeballs"; @@ -38,5 +39,5 @@ let port = Runtime_arg.create ~pos:__POS__ "Unikernel.port" let http_server = paf_server ~port tcpv4v6 let () = - register "minipaf" - [ minipaf $ certificates $ keys $ tcpv4v6 $ conn $ http_server ] + register "mte" + [ mte $ certificates $ keys $ tcpv4v6 $ conn $ http_server ] diff --git a/unikernel/dune b/unikernel/dune deleted file mode 100644 index d336b137..00000000 --- a/unikernel/dune +++ /dev/null @@ -1,3 +0,0 @@ -;; Generated by mirage.v4.10.3 - -(include dune.build)