fix: Copy wasm-delegations.def into the correct location (#28) (#31)

grain-lang · Jan 16, 2022 · bc0c7ee · bc0c7ee
1 parent 6738f47
commit bc0c7ee
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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