diff --git a/dune-workspace b/dune-workspace index 9f28c516..be7bd03c 100644 --- a/dune-workspace +++ b/dune-workspace @@ -1,8 +1,8 @@ -(lang dune 1.1) +(lang dune 2.0) (env (release-static (flags - (:standard -ccopt -static))) + (:standard -static))) (release (flags (:standard))))