From 5f32d56359f1646608a9eea679701b6d74d0bc58 Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Mon, 23 Mar 2026 17:10:40 +0100 Subject: [PATCH] Use `public_name` to install public binary Signed-off-by: Marek Kubica --- dune | 5 ----- src/bin/dune | 7 +------ 2 files changed, 1 insertion(+), 11 deletions(-) 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)))