]> git.pld-linux.org Git - packages/rocksdb.git/blame - rocksdb-libdir.patch
tbb rebuild
[packages/rocksdb.git] / rocksdb-libdir.patch
CommitLineData
dd1b7ced
JB
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 @@
c4a98ad2
JB
4 #-------------------------------------------------
5 # make install related stuff
6 INSTALL_PATH ?= /usr/local
7+INSTALL_LIBDIR ?= $(INSTALL_PATH)/lib
8
9 uninstall:
83ab867a
ER
10 rm -rf $(INSTALL_PATH)/include/rocksdb \
11- $(INSTALL_PATH)/lib/$(LIBRARY) \
b136638d
JB
12- $(INSTALL_PATH)/lib/$(SHARED4) \
13- $(INSTALL_PATH)/lib/$(SHARED3) \
14- $(INSTALL_PATH)/lib/$(SHARED2) \
15- $(INSTALL_PATH)/lib/$(SHARED1)
83ab867a 16+ $(INSTALL_LIBDIR)/$(LIBRARY) \
b136638d
JB
17+ $(INSTALL_LIBDIR)/$(SHARED4) \
18+ $(INSTALL_LIBDIR)/$(SHARED3) \
19+ $(INSTALL_LIBDIR)/$(SHARED2) \
20+ $(INSTALL_LIBDIR)/$(SHARED1)
c4a98ad2 21
b136638d 22 install-headers:
83ab867a
ER
23- install -d $(INSTALL_PATH)/lib
24+ install -d $(INSTALL_LIBDIR)
dd1b7ced 25 for header_dir in `$(FIND) "include/rocksdb" -type d`; do \
c4a98ad2
JB
26 install -d $(INSTALL_PATH)/$$header_dir; \
27 done
dd1b7ced 28@@ -1593,13 +1594,13 @@
c4a98ad2 29 done
c4a98ad2 30
b136638d
JB
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
This page took 0.084331 seconds and 4 git commands to generate.