···

       
8
       
 
       
bug-reports: "https://github.com/LPCIC/elpi/issues"

     

       
9
       
 
       


     

       
10
       
 
       
build: [

     

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

     

       
12
       
 
       
  [make "build" "DUNE_OPTS=-p %{name}% -j %{jobs}%"]

     

       
13
       
 
       
  [make "tests" "DUNE_OPTS=-p %{name}%" "TIMEOUT=120"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}

     

       
14
       
 
       
]

     

···

       
8
       
 
       
bug-reports: "https://github.com/LPCIC/elpi/issues"

     

       
9
       
 
       


     

       
10
       
 
       
build: [

     

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

     

       
12
       
 
       
  [make "build" "DUNE_OPTS=-p %{name}% -j %{jobs}%"]

     

       
13
       
 
       
  [make "tests" "DUNE_OPTS=-p %{name}%" "TIMEOUT=120"] {with-test & os != "macos" & os-distribution != "alpine" & os-distribution != "freebsd"}

     

       
14
       
 
       
]