summaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
Diffstat (limited to 'blog/dune')
-rwxr-xr-xblog/dune21
1 files changed, 0 insertions, 21 deletions
diff --git a/blog/dune b/blog/dune
deleted file mode 100755
index 648990f..0000000
--- a/blog/dune
+++ /dev/null
@@ -1,21 +0,0 @@
-(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))
-
-
- )