mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 13:13:33 +00:00
13 lines
553 B
Diff
13 lines
553 B
Diff
--- a/src/findlib/Makefile
|
|
+++ b/src/findlib/Makefile
|
|
@@ -123,7 +123,7 @@ clean:
|
|
install: all
|
|
mkdir -p "$(prefix)$(OCAML_SITELIB)/$(NAME)"
|
|
mkdir -p "$(prefix)$(OCAMLFIND_BIN)"
|
|
- test $(INSTALL_TOPFIND) -eq 0 || cp topfind "$(prefix)$(OCAML_CORE_STDLIB)"
|
|
+ test $(INSTALL_TOPFIND) -eq 0 || cp topfind "$(prefix)$(OCAML_SITELIB)"
|
|
files=`$(SH) $(TOP)/tools/collect_files $(TOP)/Makefile.config \
|
|
findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib$(LIB_SUFFIX) findlib.cmxs \
|
|
findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
|
|
|