ocaml/dune

Setting dune build directory from dune-workspace

Aberta

#3.154 aberto em 18 de fev. de 2020

Ver no GitHubGuia do colaborador
 (8 comentários) (0 reação) (0 responsável)OCaml (478 forks)github user discovery
acceptedgood first issue

Métricas do repositório

Stars
 (1.882 estrelas)
Métricas de merge de PR
 (Mesclagem média 1d 20h) (345 fundiu PRs em 30d)

Description

I'd like to set the dune build directory from the dune-workspace file instead of specifying it on the command line. It looked like I might be able to achieve this by using the (env) stanza to set the DUNE_BUILD_DIR environment variable.

I tried (env (_ (env-vars (DUNE_BUILD_DIR /path/to/new/_build)))) but that din't seem to have any effect (the _build directory in the root was still generated). I also confirmed that setting the environment variable normally on the command line does produce the expected result.

Incidentally this seems like a pretty circuitous way to set this setting - it should probably be configurable from the dune-workspace file natively.

Guia do colaborador

Direção de pesquisa
Investigue como a estrofe (env) no dune workspace processa as env vars, especificamente por que o DUNE BUILD DIR não é aplicado. Trace o caminho do código para a configuração do workspace e proponha uma nova configuração nativa para o diretório de build no dune workspace.
Pilha de tecnologia
None
Domain
build system
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
OCamldune
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60