blob: 1a8a816aaa1d11dbaac4a1426cf407ed4872fb46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(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)))
(context (opam (switch 4.05.0)))
(context (opam (switch 4.05.0+32bit)))
(context (opam (switch 4.07.0)))
(context (opam (switch 4.07.0+flambda)))
|
