···

       
11
       
 
       
  "dune" {>= "2.7"}

     

       
12
       
 
       
  "conf-rust" {build}

     

       
13
       
 
       
]

     

       
0
       
 
       

     

       
14
       
 
       


     

       
15
       
 
       
build: [

     

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

     

···

       
11
       
 
       
  "dune" {>= "2.7"}

     

       
12
       
 
       
  "conf-rust" {build}

     

       
13
       
 
       
]

     

       
14
       
+
       
available: arch != "s390x"

     

       
15
       
 
       


     

       
16
       
 
       
build: [

     

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

     

···

       
12
       
 
       
  "conf-rust" {build}

     

       
13
       
 
       
  "hacl-star" {with-test}

     

       
14
       
 
       
]

     

       
0
       
 
       

     

       
15
       
 
       


     

       
16
       
 
       
build: [

     

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

     

···

       
12
       
 
       
  "conf-rust" {build}

     

       
13
       
 
       
  "hacl-star" {with-test}

     

       
14
       
 
       
]

     

       
15
       
+
       
available: arch != "s390x"

     

       
16
       
 
       


     

       
17
       
 
       
build: [

     

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