From 20240c1f58583afe14bc55691cb7616898a45cc9 Mon Sep 17 00:00:00 2001
From: Nat Karmios <nat@karmios.com>
Date: Wed, 26 Jun 2024 15:51:28 +0100
Subject: [PATCH] make dist: use dune relocatable

---
 Makefile | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index edb1ee36..0abf75ed 100644
--- a/Makefile
+++ b/Makefile
@@ -16,12 +16,7 @@ init-ci:
 
 dist:
 	opam exec -- dune build @install
-	opam install . -y
-	rm -rf _dist
-	mkdir _dist _dist/bin _dist/lib
-	cp -r _opam/share _dist/
-	cp -r _opam/lib/stublibs _dist/lib/
-	cp _opam/bin/wisl _opam/bin/gillian-c _opam/bin/gillian-js _opam/bin/kanillian _dist/bin/
+	opam exec -- dune install --relocatable --prefix _dist
 
 uninstall:
 	opam remove gillian gillian-c gillian-js wisl kanillian -y