File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
conf-gmp-paths/conf-gmp-paths.1
conf-mpfr-paths/conf-mpfr-paths.1 Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ homepage: "http://gmplib.org/"
88bug-reports: "https://github.com/ocaml/opam-repository/issues"
99license: "GPL-1.0-or-later"
1010build: [
11- [ "sh" ez-conf-lib:exe "gmp" "gmp.h" "test-gmp.c"
11+ [ "sh" "%{ ez-conf-lib:lib}%/ez-conf-lib" "gmp" "gmp.h" "test-gmp.c"
1212 "--package-name" "conf-gmp-paths"
1313 "--"
1414 "/usr/local" {os != "macos" & os != "win32"}
Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ homepage: "http://gmplib.org/"
88bug-reports: "https://github.com/ocaml/opam-repository/issues"
99license: "GPL-1.0-or-later"
1010build: [
11- [ "sh" ez-conf-lib:exe "mpfr" "mpfr.h" "test-mpfr.c"
11+ [ "sh" "%{ ez-conf-lib:lib}%/ez-conf-lib" "mpfr" "mpfr.h" "test-mpfr.c"
1212 "CPPFLAGS+=-I%{conf-gmp-paths:incdir}%"
1313 "LDFLAGS+=-L%{conf-gmp-paths:libdir}%"
1414 "LIBS+=-lgmp"
You can’t perform that action at this time.
0 commit comments