···

       
20
       
 
       
    "-debug"

     

       
21
       
 
       
    "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}

     

       
22
       
 
       
  ]

     

       
0
       
 
       

     

       
0
       
 
       

     

       
23
       
 
       
  [make "-j%{jobs}%"]

     

       
24
       
 
       
]

     

       
25
       
 
       
remove: ["rm" "-R" "%{lib}%/coq"]

     

···

       
20
       
 
       
    "-debug"

     

       
21
       
 
       
    "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}

     

       
22
       
 
       
  ]

     

       
23
       
+
       
  # Applying this upstream fix: https://github.com/coq/coq/pull/17459

     

       
24
       
+
       
  ["sed" "-e" "s/CAMLP4DEPS=.*$/CAMLP4DEPS=$\\{shell LC_ALL=C sed -n -e 's@^(\\\\*.*camlp4deps: \"\\\\(.*\\\\)\".*@\\\\1@p' $\\{1}}/" "-i.bak" "Makefile.build"]

     

       
25
       
 
       
  [make "-j%{jobs}%"]

     

       
26
       
 
       
]

     

       
27
       
 
       
remove: ["rm" "-R" "%{lib}%/coq"]