Select Git revision
dune-workspace
dune-workspace 371 B
(lang dune 2.8)
;; This disables a few warnings
;; 6: missing label applications as they most likely are intentional
;; 8: unused value as somethimes code is left over or for future use
;; 24: bad module name as our executables are not modules and we dont care
;; 32: unmatched values warnings are sometimes intentional
(env
(dev
(flags (:standard -w -6-8-24-32))))