From 05a63b065a5cd205bb3d8c3e4c4a0febe175fec9 Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Thu, 13 Jan 2022 18:42:48 -0700
Subject: [PATCH] fix: Copy wasm-delegations.def into the correct location

---
 dune | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dune b/dune
index d90311e..11b2b07 100644
--- a/dune
+++ b/dune
@@ -7,6 +7,12 @@
  (c_library_flags :standard -lstdc++ -lpthread)
  (install_c_headers binaryen-c))
 
+(install
+ (section lib)
+ (package libbinaryen)
+ (files
+  (wasm-delegations.def as c/wasm-delegations.def)))
+
 (rule
  (targets binaryen-c.h wasm-delegations.def)
  (deps