aboutsummaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
Diffstat (limited to 'blog/dune')
-rwxr-xr-xblog/dune14
1 files changed, 13 insertions, 1 deletions
diff --git a/blog/dune b/blog/dune
index afbefdb..fef8506 100755
--- a/blog/dune
+++ b/blog/dune
@@ -1,9 +1,21 @@
+(rule
+ (targets hash_host.ml)
+ (enabled_if (= %{profile} dev))
+ (action (run cp hash_prod/hash_localhost.ml hash_host.ml)))
+
+(rule
+ (targets hash_host.ml)
+ (enabled_if (<> %{profile} dev))
+ (action (run cp hash_prod/hash_blog.ml hash_host.ml)))
+
(library
(name blog)
(libraries
brr
brr.note
- color
elements
)
+ (preprocess (pps ppx_hash))
+
+
)