summaryrefslogtreecommitdiff
path: root/src/dune
blob: 2d03b3f6a9b273652872717fb649e597c63a4762 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(executable
 (name main)
 (libraries yojson zarith))

(env
  (dev (flags
    :standard
    -safe-string
    -g
    -w -8-9-11-33-20-21-26-27-39
  ))
  (release (flags
    :standard
    -safe-string
    -g
    -w -8-9-11-33-20-21-26-27-39
  )))