mirror of https://gitlab.crans.org/nounous/nixos
53 lines
1.4 KiB
Diff
53 lines
1.4 KiB
Diff
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))
|