···

       
16
       
16
       
 
       
"""

     

       
17
       
17
       
 
       


     

       
18
       
18
       
 
       
build: [

     

       
19
       
19
       
-
       
  [ "dune" "subst" ] {pinned}

     

       
19
       
19
       
+
       
  [ "dune" "subst" ] {dev}

     

       
20
       
20
       
 
       
  [ "dune" "build" "-p" name "-j" jobs ]

     

       
21
       
21
       
 
       
  [ "dune" "runtest" "-p" name "-j" jobs ] {with-test}

     

       
22
       
22
       
 
       
]