blob: 848d4563a2a22a6b7b9e23d2e09172aa78e79d15 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- src/bytes/Makefile.orig 2016-03-07 14:46:34.000000000 +0100
+++ src/bytes/Makefile 2016-03-10 22:51:25.358157000 +0100
@@ -19,9 +19,9 @@ opt:
$(OCAMLBUILD) $$files
install: all
- mkdir -p "$(prefix)$(OCAML_SITELIB)/bytes"
- cd _build/ && cp ../META $(BYTE_FILES) "$(prefix)$(OCAML_SITELIB)/bytes"
- cd _build/ && for f in $(NATIVE_FILES) $(NATIVE_FILES_DYNLINK); do if [ -f "$$f" ]; then cp $$f "$(prefix)$(OCAML_SITELIB)/bytes"; fi; done
+ mkdir -p "$(DESTDIR)$(prefix)$(OCAML_SITELIB)/bytes"
+ cd _build/ && cp ../META $(BYTE_FILES) "$(DESTDIR)$(prefix)$(OCAML_SITELIB)/bytes"
+ cd _build/ && for f in $(NATIVE_FILES) $(NATIVE_FILES_DYNLINK); do if [ -f "$$f" ]; then cp $$f "$(DESTDIR)$(prefix)$(OCAML_SITELIB)/bytes"; fi; done
uninstall:
rm -rf "$(prefix)$(OCAML_SITELIB)/bytes"
|
