]>
Commit | Line | Data |
---|---|---|
1 | --- rocksdb-6.0.2/Makefile.orig 2019-04-24 00:20:22.000000000 +0200 | |
2 | +++ rocksdb-6.0.2/Makefile 2019-04-28 10:13:08.180185516 +0200 | |
3 | @@ -1574,17 +1574,18 @@ | |
4 | #------------------------------------------------- | |
5 | # make install related stuff | |
6 | INSTALL_PATH ?= /usr/local | |
7 | +INSTALL_LIBDIR ?= $(INSTALL_PATH)/lib | |
8 | ||
9 | uninstall: | |
10 | rm -rf $(INSTALL_PATH)/include/rocksdb \ | |
11 | - $(INSTALL_PATH)/lib/$(LIBRARY) \ | |
12 | - $(INSTALL_PATH)/lib/$(SHARED4) \ | |
13 | - $(INSTALL_PATH)/lib/$(SHARED3) \ | |
14 | - $(INSTALL_PATH)/lib/$(SHARED2) \ | |
15 | - $(INSTALL_PATH)/lib/$(SHARED1) | |
16 | + $(INSTALL_LIBDIR)/$(LIBRARY) \ | |
17 | + $(INSTALL_LIBDIR)/$(SHARED4) \ | |
18 | + $(INSTALL_LIBDIR)/$(SHARED3) \ | |
19 | + $(INSTALL_LIBDIR)/$(SHARED2) \ | |
20 | + $(INSTALL_LIBDIR)/$(SHARED1) | |
21 | ||
22 | install-headers: | |
23 | - install -d $(INSTALL_PATH)/lib | |
24 | + install -d $(INSTALL_LIBDIR) | |
25 | for header_dir in `$(FIND) "include/rocksdb" -type d`; do \ | |
26 | install -d $(INSTALL_PATH)/$$header_dir; \ | |
27 | done | |
28 | @@ -1593,13 +1594,13 @@ | |
29 | done | |
30 | ||
31 | install-static: install-headers $(LIBRARY) | |
32 | - install -C -m 755 $(LIBRARY) $(INSTALL_PATH)/lib | |
33 | + install -C -m 755 $(LIBRARY) $(INSTALL_LIBDIR) | |
34 | ||
35 | install-shared: install-headers $(SHARED4) | |
36 | - install -C -m 755 $(SHARED4) $(INSTALL_PATH)/lib && \ | |
37 | - ln -fs $(SHARED4) $(INSTALL_PATH)/lib/$(SHARED3) && \ | |
38 | - ln -fs $(SHARED4) $(INSTALL_PATH)/lib/$(SHARED2) && \ | |
39 | - ln -fs $(SHARED4) $(INSTALL_PATH)/lib/$(SHARED1) | |
40 | + install -C -m 755 $(SHARED4) $(INSTALL_LIBDIR) && \ | |
41 | + ln -fs $(SHARED4) $(INSTALL_LIBDIR)/$(SHARED3) && \ | |
42 | + ln -fs $(SHARED4) $(INSTALL_LIBDIR)/$(SHARED2) && \ | |
43 | + ln -fs $(SHARED4) $(INSTALL_LIBDIR)/$(SHARED1) | |
44 | ||
45 | # install static by default + install shared if it exists | |
46 | install: install-static |