Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Build failure: liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found

Đang mở
#663 2 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức phù hợp với người mới
45/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Ít trao đổi
Lĩnh vực
build-system

Hướng nghiên cứu

Bắt đầu với manage.py make --no-mypy --library-types=static,static-pic,relocatable và so sánh các mã nguồn được tạo với lkt/bootstrap/src/liblktlang_adasat.ads. Truy vết dependency từ liblktlang_support-adalog-main_support.ads qua liblktlang_support-adalog-solver.adb, sử dụng build_fail.log làm ngữ cảnh. Hoàn tất khi bản build FreeBSD sạch hoàn thành mà không có các lỗi thiếu Liblktlang_AdaSAT.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

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

Ngôn ngữ chính
Ada
Star
94
Fork
34
Không có pull request nào được merge trong 30 ngày

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của AdaCore/langkit

Tất cả issue của AdaCore/langkit

Issue tương tự

Thêm issue về Build System

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.