Expected? cmdstan considers binary up-to-date when make is run with different build args

Đang mở
  • Có gì không ổn?
#1,294 1 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ó
2/5
Thời gian dự kiến
1-3 giờ
Mức phù hợp với người mới
45/100
Loại issue
Tài liệu
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
cpp
Lĩnh vực
build-system, cli

Hướng nghiên cứu

Bắt đầu với phần compiling Stan programs trong CmdStan Guide tại dependencies anchor, sau đó chạy hai lệnh make bernoulli từ issue và so sánh hành vi sau khi chỉnh sửa make/local. Làm rõ liệu các thay đổi đối với STAN_THREADS, STAN_OPENCL hoặc make/local có nên kích hoạt việc biên dịch lại hay không, và ghi lại hành vi mong đợi.

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

Mô tả

Summary:

cmdstan does not automatically recompile a model when build args change. If this is expected, would be good to document.

Description:

Doc states

If the you call Make with target bernoulli twice in a row, without any editing bernoulli.stan or otherwise changing the system, on the second invocation, Make will determine that the executable is already newer than the Stan source file and will not recompile the program:

It's unclear whether changing a build arg such as STAN_THREADS or STAN_OPENCL constitutes "otherwise changing the system". Would be good to clarify this.

Reproducible Steps:
make examples/bernoulli/bernoulli
STAN_THREADS=true make examples/bernoulli/bernoulli

I got the same behavior editing make/local.

Current Output:
make: 'examples/bernoulli/bernoulli' is up to date.
Expected Output:

Describe what you expect the output to be. Knowing the correct behavior is also very useful.

Additional Information:

Related cmdstanr discussions:
https://github.com/stan-dev/cmdstanr/issues/1019
https://github.com/stan-dev/cmdstanr/pull/1022

Current Version:

v2.35.0

Ngôn ngữ chính
C++
Star
240
Fork
105
Không có pull request nào được merge trong 30 ngày

Chuẩn bị môi trường

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 stan-dev/cmdstan

Tất cả issue của stan-dev/cmdstan

Issue tương tự

Thêm issue về C++

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.