dev-ml/zarith/files/zarith-1.9.1-ar.patch


1
2
3
4
5
6
7
8
9
10
11

--- a/configure	2020-05-17 17:46:29.826822055 +0200
+++ b/configure	2020-05-17 17:47:37.699808615 +0200
@@ -22,7 +22,7 @@
 gmp='auto'
 perf='no'
 
-ar='ar'
+ar="${AR}"
 ocaml='ocaml'
 ocamlc='ocamlc'
 ocamlopt='ocamlopt'