···

       
35
       
35
       
 
       
    jobs

     

       
36
       
36
       
 
       
    "--promote-install-files=false"

     

       
37
       
37
       
 
       
    "@install"

     

       
38
       
38
       
-
       
    "@runtest" {with-test}

     

       
39
       
38
       
 
       
    "@doc" {with-doc}

     

       
40
       
39
       
 
       
  ]

     

       
41
       
40
       
 
       
  ["dune" "install" "-p" name "--create-install-files" name]

     

···

       
28
       
28
       
 
       
    jobs

     

       
29
       
29
       
 
       
    "--promote-install-files=false"

     

       
30
       
30
       
 
       
    "@install"

     

       
31
       
31
       
-
       
    "@runtest" {with-test}

     

       
32
       
31
       
 
       
    "@doc" {with-doc}

     

       
33
       
32
       
 
       
  ]

     

       
34
       
33
       
 
       
  ["dune" "install" "-p" name "--create-install-files" name]