diff options
Diffstat (limited to 'lib/configuration/dune')
| -rwxr-xr-x | lib/configuration/dune | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/configuration/dune b/lib/configuration/dune index c29ba49..74ace87 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -11,9 +11,12 @@ importExpression
importErrors
)
+ (preprocess (pps
+ ppx_deriving.ord
+ ppx_deriving.show
+ ppx_deriving.eq
+ ))
(foreign_stubs (language c) (names locale))
-
-(preprocess (pps ppx_deriving.ord))
)
(rule
|