From 0e2356caa09c6ec5b854d02d95c4dd8e0c43a695 Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@ocamlpro.com>
Date: Mon, 18 Sep 2023 11:52:11 +0200
Subject: [PATCH] Actually copy `superbol-free` executable after build

---
 Makefile.header | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/Makefile.header b/Makefile.header
index 4667ec9c9..124d4d368 100644
--- a/Makefile.header
+++ b/Makefile.header
@@ -1,9 +1,14 @@
+# -*- Makefile -*-
 PROJECT=superbol_vscode_platform
 SRCDIR=src/vscode/superbol-vscode-platform
+CP ?= cp -f
 
-compile:
-	opam exec -- dune build
-	cp -f _build/default/src/vscode/vscode-package-json/main.exe vscode-package-json
+all: superbol-free
+superbol-free: build
+	$(CP) _build/default/src/lsp/superbol-free/main.exe superbol-free
+
+compile: build
+	$(CP) _build/default/src/vscode/vscode-package-json/main.exe vscode-package-json
 	yarn esbuild _build/default/$(SRCDIR)/$(PROJECT).bc.js \
                 --bundle \
                 --external:vscode \
@@ -27,9 +32,13 @@ compile-release:
                 --sourcemap \
                 --sources-content=false
 
+.PHONY: clean-execs
+distclean: clean-execs
+clean-execs:
+	rm -f superbol-free vscode-package-json
+
 .PHONY: opam-cross
 
 opam-cross:
 	drom dep --cross osx
 	drom dep --cross windows
-