summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2022-09-22 18:45:25 +0200
committerSon Ho2022-09-22 18:45:25 +0200
commit4a8b4b1be044ffaa8de72cf847c00184b6b8ab40 (patch)
tree6317e86878a5757dafdb6311ace00fcf16d8facf /src/dune
parentf68e3f3fd1858e638c571f140f149a1c4bee85f0 (diff)
Reformat the project with dune
Diffstat (limited to '')
-rw-r--r--src/dune34
1 files changed, 19 insertions, 15 deletions
diff --git a/src/dune b/src/dune
index ba6c076b..ccf726c9 100644
--- a/src/dune
+++ b/src/dune
@@ -1,21 +1,25 @@
;; core: for Core.Unix.mkdir_p
+
(executable
(name main)
- (preprocess (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
+ (preprocess
+ (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
(libraries ppx_deriving yojson zarith easy_logging core_unix))
(env
- (dev (flags
- :standard
- -safe-string
- -g
- ;-dsource
- -warn-error -5-8-9-11-14-33-20-21-26-27-39
- ))
- (release (flags
- :standard
- -safe-string
- -g
- ;-dsource
- -warn-error -5-8-9-11-14-33-20-21-26-27-39
- )))
+ (dev
+ (flags
+ :standard
+ -safe-string
+ -g
+ ;-dsource
+ -warn-error
+ -5-8-9-11-14-33-20-21-26-27-39))
+ (release
+ (flags
+ :standard
+ -safe-string
+ -g
+ ;-dsource
+ -warn-error
+ -5-8-9-11-14-33-20-21-26-27-39)))