From bc0c7ee35de32c90b52cd73a28e5e5eccfd28a3f Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Sun, 16 Jan 2022 10:26:56 -0700
Subject: [PATCH] fix: Copy wasm-delegations.def into the correct location
 (#28) (#31)

---
 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