summaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-22 21:42:55 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-22 21:42:55 +0100
commit6354358caa1dfbf2fe1d481f6ac5fba3775938fc (patch)
tree4fd24d821f37a0626754f6f5078ac77ffe5c469c /blog/dune
parent1f1f13a3f02e7f5f5da5926a402d53f2ccbfe536 (diff)
Blog integration
Diffstat (limited to 'blog/dune')
-rwxr-xr-xblog/dune8
1 files changed, 8 insertions, 0 deletions
diff --git a/blog/dune b/blog/dune
new file mode 100755
index 0000000..532a7ee
--- /dev/null
+++ b/blog/dune
@@ -0,0 +1,8 @@
+(library
+ (name blog)
+ (libraries
+ brr
+ brr.note
+ js_of_ocaml-tyxml)
+ (preprocess (pps tyxml-ppx))
+ )