Build failure: liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found
まだ誰も着手していません。
評価
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 初心者へのやさしさ
- 45/100
- issue の種類
- バグ
- 明瞭さ
- おおむね明確
- 活発さ
- 静か
- 領域
- build-system
調査の方向性
manage.py make --no-mypy --library-types=static,static-pic,relocatable から始め、生成されたソースを lkt/bootstrap/src/liblktlang_adasat.ads と比較します。build_fail.log をコンテキストとして使用し、liblktlang_support-adalog-main_support.ads から liblktlang_support-adalog-solver.adb までの依存関係を追跡します。クリーンな FreeBSD ビルドが Liblktlang_AdaSAT が見つからないエラーなしで完了すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Trying to build git master 1e0938c07aa22fdd39be645c8d5fc3898e7d3db4 on FreeBSD using GNAT 15.
All dependencies are installed.
Bootstrapping process seems fine, but python3.11 manage.py make --no-mypy --library-types=static,static-pic,relocatable fails with:
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:246
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: subtype mark required in this context
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:603
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: "" is not the name of a generic package
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:2125
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: constraint not allowed here
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:2165
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: subtype mark required in this context
liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found
liblktlang_support-adalog-main_support.ads:9:34: error: "Liblktlang_Support.Adalog.Main_Support (body)" depends on "Liblktlang_Support.Adalog.Solver (body)"
liblktlang_support-adalog-main_support.ads:9:34: error: "Liblktlang_Support.Adalog.Solver (body)" depends on "Liblktlang_Adasat (spec)"
liblktlang_support-adalog-solver.adb:246:09: error: "Liblktlang_AdaSAT" is undefined (more references follow)
The file seems to be available though in the bootstrap directory:
> find . -name liblktlang_adasat.ads
./lkt/bootstrap/src/liblktlang_adasat.ads
Full log starting after git clean -dxf: build_fail.log
- 主要言語
- Ada
- スター
- 94
- フォーク
- 34
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
AdaCore/langkit のほかの issue
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 1/5 1〜3時間 初心者へのやさしさ 45/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Struggles building Langkit with Alire再び着手できるかも @pmderodat が 855 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
-
難易度 4/5 3〜5日 初心者へのやさしさ 42/100
AdaCore/langkit の issue をすべて見る
似ている issue
-
Mend: dependency security vulnerability untriaged
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
opensearch-project/OpenSearch-Dashboards#12816 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
build-error
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
spack/spack-packages#6713 ·
メンテナーはふだん 1 日以内に返信
-
category:port-feature
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信