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

Aperta
#1,294 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
45/100
Tipo di issue
Documentazione
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
cpp
Ambito
build-system, cli

Direzione di ricerca

Inizia dalla sezione «compiling Stan programs» della CmdStan Guide all'anchor dependencies, poi esegui i due comandi make di bernoulli indicati nell'issue e confronta il comportamento dopo aver modificato make/local. Chiarisci se le modifiche a STAN_THREADS, STAN_OPENCL o make/local debbano attivare una ricompilazione e documenta il comportamento previsto.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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

Lingua principale
C++
Stelle
240
Fork
105
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di stan-dev/cmdstan

Tutte le issue di stan-dev/cmdstan

Issue simili

Altre issue su C++

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.