Merge branch 'master' into devel
[dyninst.git] / dynutil / Makefile
1 # pick up INCLUDE_DEST
2 TO_CORE = ..
3
4 include ../make.config
5
6 LOCAL_INCLUDE_DEST = $(INCLUDE_DEST)
7 CP = cp
8 CP_DIR = cp -r
9
10 TO_INC = h
11 PUBLIC_H = Annotatable.h \
12                 dyntypes.h \
13                 util.h \
14                 Serialization.h \
15                 Graph.h \
16                 Edge.h \
17                 Node.h \
18                 dyn_regs.h \
19                 stl_utils.h \
20                 SymReader.h \
21                 AST.h \
22                 ProcReader.h \
23         IBSTree.h \
24                 dyn_detail 
25
26 #INSTALL_TARGETS = $(pathsubst %, $(INCLUDE_DEST)/%,$(PUBLIC_H))
27 INSTALL_TARGETS = $(addprefix $(LOCAL_INCLUDE_DEST)/, $(PUBLIC_H))
28 world:
29         @echo Nothing to be done for build
30
31 #install: $(patsubst %,$(INCLUDE_DEST)/%,$(PUBLIC_H))
32 install: $(INSTALL_TARGETS)
33 #       echo INSTALL_TARGETS = $(INSTALL_TARGETS);
34
35 $(LOCAL_INCLUDE_DEST)/%.h: $(TO_INC)/%.h
36         mkdir -p $(LOCAL_INCLUDE_DEST)
37         $(CP) $^ $@
38
39 $(LOCAL_INCLUDE_DEST)/dyn_detail: $(TO_INC)/dyn_detail
40         mkdir -p $(LOCAL_INCLUDE_DEST)
41         $(CP_DIR) $^ $@
42
43
44 clean distclean: