diff options
| author | Stephane Glondu <steph@glondu.net> | 2019-09-17 14:04:00 +0200 |
|---|---|---|
| committer | Stéphane Glondu <glondu@debian.org> | 2023-08-06 08:21:28 +0200 |
| commit | 94a1d6ddceadd5c64c41f306ab17622788117099 (patch) | |
| tree | 937ea6562c260a08a279fa7adca24eb36a4d0e1e /src | |
| parent | b9b4a65d88cad6e491f4761132a7fb0a622c8c28 (diff) | |
Call "Dynlink.allow_unsafe_modules true" in ppx_deriving_main
Gbp-Pq: Name 0001-Call-Dynlink.allow_unsafe_modules-true-in-ppx_derivi.patch
Diffstat (limited to 'src')
| -rw-r--r-- | src/ppx_deriving_main.cppo.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ppx_deriving_main.cppo.ml b/src/ppx_deriving_main.cppo.ml index 762dcb8..e563bab 100644 --- a/src/ppx_deriving_main.cppo.ml +++ b/src/ppx_deriving_main.cppo.ml @@ -13,6 +13,8 @@ module To_current = let raise_errorf = Ppx_deriving.raise_errorf +let () = Dynlink.allow_unsafe_modules true + let dynlink ?(loc=Location.none) filename = let filename = Dynlink.adapt_filename filename in try |