···

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

     

       
10
       
10
       
 
       
]

     

       
11
       
11
       
 
       
build: [

     

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

     

       
12
       
12
       
+
       
  "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }

     

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

     

       
14
       
14
       
 
       
]

     

       
15
       
15
       
 
       


     
···

       
41
       
41
       
 
       
    "sha512=c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e"

     

       
42
       
42
       
 
       
  ]

     

       
43
       
43
       
 
       
}

     

       
44
       
44
       
+
       
extra-source "gccstd-2a.patch" {

     

       
45
       
45
       
+
       
extra-source "gccstd-2a.patch" {

     

       
46
       
46
       
+
       
  src:

     

       
47
       
47
       
+
       
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/gccstd-2a.patch"

     

       
48
       
48
       
+
       
  checksum:

     

       
49
       
49
       
+
       
    "sha256=ae4088ff14739bcc2cadc90bc428f08277e898b832f6b859a46e23c584d513c8"

     

       
50
       
50
       
+
       
}

     

       
51
       
51
       
+
       
  src:

     

       
52
       
52
       
+
       
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/gccstd-2a.patch"

     

       
53
       
53
       
+
       
  checksum:

     

       
54
       
54
       
+
       
    "sha256=ae4088ff14739bcc2cadc90bc428f08277e898b832f6b859a46e23c584d513c8"

     

       
55
       
55
       
+
       
}