From a2f33c535fc95d424cdf2f7f6bddb5ea5c19d3a3 Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Fri, 14 Jan 2022 15:31:36 -0700
Subject: [PATCH] fix: Copy wasm-delegations.def into the correct location
 (#28)

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

diff --git a/dune b/dune
index df11143..b45a2b9 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