aboutsummaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-29 21:41:47 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-29 21:41:47 +0100
commitfae31bdb659b4b14322136e045ea565d38bbd04f (patch)
treeb08636d488b85e0532e84135f39da33f5e47af91 /blog/dune
parent9d65e5e6a5bd8666baf0d7d3e0474c721cafc683 (diff)
Dynamic width
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))
+
+
)