···

       
13
       
 
       
  "irmin-unix" {= version}

     

       
14
       
 
       
]

     

       
15
       
 
       
build: [

     

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

     

       
17
       
-
       
  [

     

       
18
       
-
       
    "dune"

     

       
19
       
-
       
    "build"

     

       
20
       
-
       
    "-p"

     

       
21
       
-
       
    name

     

       
22
       
-
       
    "-j"

     

       
23
       
-
       
    jobs

     

       
24
       
-
       
    "@install"

     

       
25
       
-
       
    "@runtest" {with-test}

     

       
26
       
-
       
    "@doc" {with-doc}

     

       
27
       
-
       
  ]

     

       
28
       
 
       
]

     

       
29
       
 
       
dev-repo: "git+https://github.com/mirage/irmin.git"

     

       
30
       
 
       


     

···

       
13
       
 
       
  "irmin-unix" {= version}

     

       
14
       
 
       
]

     

       
15
       
 
       
build: [

     

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

     

       
17
       
+
       
 ["dune" "build" "-p" name "-j" jobs]

     

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

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
19
       
 
       
]

     

       
20
       
 
       
dev-repo: "git+https://github.com/mirage/irmin.git"

     

       
21