Code

Allow include in install stanza#6139

Code

Merged

rgrinberg merged 4 commits intoocaml:mainocaml/dune:mainfrom gridbugs:install-includegridbugs/dune:install-includeCopy head branch name to clipboardOct 12, 2022

+723-163

Commits

Commits on Oct 12, 2022

• fix: Defer enumerating files to install

  Show description for 8fa33bc
  

  gridbugs

  authored and

  rgrinberg

  committed
  8fa33bc

• feature: Allow include in install stanza

  Show description for e96f962
  

  gridbugs

  authored and

  rgrinberg

  committed
  e96f962

• test: Move test for github issue 4345

  Show description for b28dbbc
  

  gridbugs

  authored and

  rgrinberg

  committed
  b28dbbc

• refactor: Factor out common include file logic

  Show description for 6623284
  

  gridbugs

  authored and

  rgrinberg

  committed
  6623284