diff --git a/src/lib/core/dune b/src/lib/core/dune index b3fa93bc..978bcfd5 100644 --- a/src/lib/core/dune +++ b/src/lib/core/dune @@ -1,7 +1,7 @@ (library (name belenios_core) (public_name belenios-lib.core) - (libraries base64 hex yojson atdgen re belenios-platform) + (libraries base64 hex yojson atdgen-runtime re belenios-platform) (modules_without_implementation question_sigs trustees_sig versioned_sig)) (rule diff --git a/src/lib/question/dune b/src/lib/question/dune index aecbfad1..f78738ef 100644 --- a/src/lib/question/dune +++ b/src/lib/question/dune @@ -2,7 +2,7 @@ (name belenios_question) (public_name belenios-lib.question) (modules_without_implementation types) - (libraries yojson atdgen belenios-platform belenios-lib.core)) + (libraries yojson atdgen-runtime belenios-platform belenios-lib.core)) (rule (targets question_h_t.ml question_h_t.mli) diff --git a/src/lib/shell/dune b/src/lib/shell/dune index 63828081..de8f3870 100644 --- a/src/lib/shell/dune +++ b/src/lib/shell/dune @@ -3,7 +3,7 @@ (public_name belenios-lib) (libraries yojson - atdgen + atdgen-runtime belenios-platform belenios-lib.core belenios-lib.v1)) diff --git a/src/lib/v1/dune b/src/lib/v1/dune index 4c0eb68d..890262c0 100644 --- a/src/lib/v1/dune +++ b/src/lib/v1/dune @@ -4,7 +4,7 @@ (modules_without_implementation types) (libraries yojson - atdgen + atdgen-runtime belenios-platform belenios-lib.core belenios-lib.question))