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