anil.recoil.org / opam-repository
this repo has no description
fork atom

I must be a bit tired today.

Christoph M. Wintersteiger ef7b165d cdd77dc1

options
unified split
Changed files
+1 -1
packages
z3
z3.4.13.3
opam
+1 -1
packages/z3/z3.4.13.3/opam 
···

       
12

       
 

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


     

       
13

       
 

       
]


     

       
14

       
 

       
build: [


     

       
15

       
-

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


     

       
16

       
 

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


     

       

       

       
     

       
17

       
 

       
]


     

       
18

       
 

       



     

       
19

       
 

       
install: [


     
···

       
12

       
 

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


     

       
13

       
 

       
]


     

       
14

       
 

       
build: [


     

       

       

       
     

       
15

       
 

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


     

       
16

       
+

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


     

       
17

       
 

       
]


     

       
18

       
 

       



     

       
19

       
 

       
install: [