dune-workspace


1
2
3
4
5
6

(lang dune 1.2)

; Add custom flags here. Default developer profile is `dev`
(env
 (dev     (flags :standard -rectypes -w -9-27-50+60))
 (release (flags :standard -rectypes)))