···

       
8
       
8
       
 
       
depexts: [

     

       
9
       
9
       
 
       
  ["python3-distutils"] {os-family = "debian"}

     

       
10
       
10
       
 
       
]

     

       
11
       
11
       
-
       
patches: [

     

       
12
       
12
       
-
       
  "libatomic.patch"

     

       
13
       
13
       
-
       
]

     

       
14
       
11
       
 
       
build: [

     

       
15
       
12
       
 
       
  [ "python3" "scripts/mk_make.py" "--ml" ]

     

       
16
       
13
       
 
       
  [ make "-C" "build" "-j" jobs ]

     
···

       
44
       
41
       
 
       
    "sha512=c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e"

     

       
45
       
42
       
 
       
  ]

     

       
46
       
43
       
 
       
}

     

       
47
       
47
       
-
       
extra-source "libatomic.patch" {

     

       
48
       
48
       
-
       
  src:

     

       
49
       
49
       
-
       
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/libatomic.patch"

     

       
50
       
50
       
-
       
  checksum:

     

       
51
       
51
       
-
       
    "sha256=4c07050a7f437179fd349d0bd62c03d43844c0f7273fbe0dc35f77dda777d5e4"

     

       
52
       
52
       
-
       
}