diff options
Diffstat (limited to 'lib/configuration/dune')
| -rwxr-xr-x | lib/configuration/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/configuration/dune b/lib/configuration/dune index 27d31a6..b08e9bd 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -12,6 +12,7 @@ importExpression
importErrors
)
+ (foreign_stubs (language c) (names locale))
(preprocess (pps ppx_yojson_conv ppx_deriving.ord))
)
|