]> git.pld-linux.org Git - packages/rocksdb.git/blob - rocksdb-libdir.patch
up to 3.10.2
[packages/rocksdb.git] / rocksdb-libdir.patch
1 --- rocksdb-rocksdb-3.10.2/Makefile~    2015-05-02 02:45:34.000000000 +0300
2 +++ rocksdb-rocksdb-3.10.2/Makefile     2015-07-27 11:30:48.212446388 +0300
3 @@ -117,22 +117,23 @@
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/$(SHARED)
13 +         $(INSTALL_LIBDIR)/$(LIBRARY) \
14 +         $(INSTALL_LIBDIR)/$(SHARED)
15  
16  install:
17 -       install -d $(INSTALL_PATH)/lib
18 +       install -d $(INSTALL_LIBDIR)
19         for header_dir in `find "include/rocksdb" -type d`; do \
20                 install -d $(INSTALL_PATH)/$$header_dir; \
21         done
22         for header in `find "include/rocksdb" -type f -name *.h`; do \
23                 install -C -m 644 $$header $(INSTALL_PATH)/$$header; \
24         done
25 -       [ ! -e $(LIBRARY) ] || install -C -m 644 $(LIBRARY) $(INSTALL_PATH)/lib
26 -       [ ! -e $(SHARED) ] || install -C -m 644 $(SHARED) $(INSTALL_PATH)/lib
27 +       [ ! -e $(LIBRARY) ] || install -C -m 644 $(LIBRARY) $(INSTALL_LIBDIR)
28 +       [ ! -e $(SHARED) ] || install -C -m 644 $(SHARED) $(INSTALL_LIBDIR)
29  #-------------------------------------------------
30  
31  WARNING_FLAGS = -W -Wextra -Wall -Wsign-compare -Wshadow \
This page took 0.072966 seconds and 3 git commands to generate.