Expected? cmdstan considers binary up-to-date when make is run with different build args
还没有人认领这个 Issue。
评估
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 新手友好度
- 45/100
- Issue 类型
- 文档
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- cpp
- 领域
- build-system, cli
调研方向
从 CmdStan Guide 的 dependencies anchor 处的 compiling Stan programs 部分开始，然后运行 issue 中的两个 bernoulli make 命令，并比较编辑 make/local 后的行为。明确对 STAN_THREADS、STAN_OPENCL 或 make/local 的更改是否应触发重新编译，并记录预期行为。
由索引模型根据 Issue 内容生成。
描述
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
- 主要语言
- C++
- 星标
- 240
- 派生
- 105
- 平均合并
- 1 天 5 小时
- 30 天内合并 PR
- 1
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
stan-dev/cmdstan 的其他 Issue
-
diagnose flags R-hat only above 1.015 and ESS only below N/1000; documentation says 1.01 and 400未关闭
难度 4/5 3-5 天 新手友好度 48/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
bug
难度 1/5 1 小时以内 新手友好度 55/100
-
code-cleanup
难度 4/5 3-5 天 新手友好度 35/100
-
难度 2/5 1-3 小时 新手友好度 52/100
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 72/100
charmplusplus/charm#4210 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 66/100
维护者通常 1 天内回复
-
[BUG] VPN auth dialog spawned by the secret agent fails with "TLS support is not available" on NixOS未关闭bug nixos umbriel
难度 2/5 1-3 小时 新手友好度 62/100
noctalia-dev/noctalia#5310 ·
维护者通常 1 天内回复
-
area/docdb kind/bug priority/medium status/awaiting-triage
难度 2/5 1-3 小时 新手友好度 78/100
yugabyte/yugabyte-db#37426 ·
维护者通常 1 天内回复
-
[Engine] Two prompt block scorers enabled at once: WMMA silently wins and no log line is printed未关闭
难度 2/5 1-3 小时 新手友好度 68/100
Niko1221/Strata#5693 · 2 条评论 ·
维护者通常 4 天内回复