···

       
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]