diff --git a/dune b/dune index 97e3f6362..c0b571575 100644 --- a/dune +++ b/dune @@ -16,11 +16,6 @@ (deps deps.csv (:gen ./scripts/licenses.exe)) (action (run %{gen} -out %{target} -in %{deps}))) -(rule - (target vpnkit.exe) - (deps src/bin/main.exe) - (action (copy %{deps} %{target}))) - (rule (target vpnkit.tgz) (deps vpnkit.exe (:gen ./scripts/mac_package.exe)) diff --git a/src/bin/dune b/src/bin/dune index fae10e6fe..2fc6aa689 100644 --- a/src/bin/dune +++ b/src/bin/dune @@ -1,5 +1,6 @@ (executable (name main) + (public_name vpnkit) (libraries cmdliner ofs logs.fmt hostnet hvsock hvsock.lwt fd-send-recv duration mirage-clock-unix mirage-random fs9p mirage-random-stdlib) @@ -21,9 +22,3 @@ (chdir %{workspace_root} (run make src/bin/version.ml)))) - -(install - (section bin) - (package vpnkit) - (files - (main.exe as vpnkit)))