diff options
Diffstat (limited to 'shared/shabptree/dune')
| -rw-r--r-- | shared/shabptree/dune | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/shared/shabptree/dune b/shared/shabptree/dune new file mode 100644 index 0000000..43cba80 --- /dev/null +++ b/shared/shabptree/dune @@ -0,0 +1,5 @@ +(rule + (target sakura_shabptree.dll) + (deps shabptree.c) + (action + (run %{cc} -std=c99 -Wall -Wextra -DSAKURA_BPTREE_BUILDING_DLL -shared -o %{target} %{deps}))) |