summaryrefslogtreecommitdiff
path: root/src/dune
blob: eb2966f43819eaf09f9f10df2f16c3bdd80e3442 (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
    -warn-error -9-11-33-20-21-26-27-39
  ))
  (release (flags
    :standard
    -safe-string
    -g
    -warn-error -9-11-33-20-21-26-27-39
  )))