aboutsummaryrefslogtreecommitdiff
path: root/lib/blog/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/blog/dune')
-rwxr-xr-xlib/blog/dune21
1 files changed, 21 insertions, 0 deletions
diff --git a/lib/blog/dune b/lib/blog/dune
new file mode 100755
index 0000000..648990f
--- /dev/null
+++ b/lib/blog/dune
@@ -0,0 +1,21 @@
+(rule
+ (targets hash_host.ml)
+ (enabled_if (= %{profile} dev))
+ (action (copy# hash_host/hash_localhost.ml hash_host.ml)))
+
+(rule
+ (targets hash_host.ml)
+ (enabled_if (<> %{profile} dev))
+ (action (copy# hash_host/hash_blog.ml hash_host.ml)))
+
+(library
+ (name blog)
+ (libraries
+ brr
+ brr.note
+ elements
+ )
+ (preprocess (pps ppx_hash))
+
+
+ )