diff options
Diffstat (limited to 'devel/ocaml-result/files/patch-Makefile')
| -rw-r--r-- | devel/ocaml-result/files/patch-Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/ocaml-result/files/patch-Makefile b/devel/ocaml-result/files/patch-Makefile new file mode 100644 index 000000000000..019f1667220f --- /dev/null +++ b/devel/ocaml-result/files/patch-Makefile @@ -0,0 +1,8 @@ +--- Makefile.orig 2020-02-20 07:48:47 UTC ++++ Makefile +@@ -1,4 +1,5 @@ + INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),) ++INSTALL_ARGS += $(if $(LIBDIR),--libdir $(LIBDIR),) + + default: + dune build @install |