make[1]: Entering directory '/build/reproducible-path/belenios-3.0+dfsg'
dune build -p belenios-platform,belenios-platform-native,belenios-lib,belenios-tool
Warning: Cache directories could not be created: Permission denied; disabling cache
Hint: Make sure the directory /sbuild-nonexistent/.cache/dune/db/temp can be created
File "src/lib/shell/dune", line 6, characters 2-8:
6 | atdgen
^^^^^^
Error: Library "atdgen" not found.
required by library "belenios-lib" in _build/default/src/lib/shell required by _build/default/META.belenios-libFile "src/lib/core/dune", line 4, characters 30-36:
required by _build/install/default/lib/belenios-lib/META
required by _build/default/belenios-lib.install
required by alias install
4 | (libraries base64 hex yojson atdgen re belenios-platform)
^^^^^^
Error: Library "atdgen" not found.
required by library "belenios-lib.core" in _build/default/src/lib/core required by _build/default/META.belenios-libFile "src/lib/question/dune", line 5, characters 19-25:
required by _build/install/default/lib/belenios-lib/META
required by _build/default/belenios-lib.install
required by alias install
5 | (libraries yojson atdgen belenios-platform belenios-lib.core))
^^^^^^
Error: Library "atdgen" not found.
required by library "belenios-lib.question" in_build/default/src/lib/question
required by _build/default/META.belenios-libFile "src/lib/v1/dune", line 7, characters 2-8:
required by _build/install/default/lib/belenios-lib/META
required by _build/default/belenios-lib.install
required by alias install
7 | atdgen
^^^^^^
Error: Library "atdgen" not found.
required by library "belenios-lib.v1" in _build/default/src/lib/v1 required by _build/default/META.belenios-libmake[1]: *** [debian/rules:13: override_dh_auto_build] Error 1
required by _build/install/default/lib/belenios-lib/META
required by _build/default/belenios-lib.install
required by alias install
tag -1 pendingBug #1096244 [src:belenios] belenios: FTBFS: Error: Library "atdgen" not found. Added tag(s) pending.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (2 / 14) |
Uptime: | 112:55:20 |
Calls: | 9,685 |
Calls today: | 1 |
Files: | 13,725 |
Messages: | 6,175,984 |