Commit | Line | Data |
---|---|---|
86530b38 AT |
1 | ################################################################################ |
2 | ## $Id: Makefile,v 1.1.1.1 2007/02/13 22:21:36 drp Exp $ | |
3 | ## | |
4 | ## File: Makefile | |
5 | ## Notes: runs with "gmake" only, not with "make" | |
6 | ## | |
7 | ## Description: Makefile for l2_stub for IOS envirnoment | |
8 | ## | |
9 | ################################################################################ | |
10 | ||
11 | ################################################################################ | |
12 | # variable declarations | |
13 | ################################################################################ | |
14 | ||
15 | .SUFFIXES: | |
16 | ||
17 | VERA_LIBDIR ?= ./lib | |
18 | ||
19 | VERA_VRH ?= vera -cmp -I . -max_error 5 -q -H | |
20 | VERA_VRO ?= vera -cmp -I . -max_error 5 -q | |
21 | ||
22 | COMMON_DIR := ${DV_ROOT}/verif/env/common/vera/ | |
23 | ||
24 | #PORT_SRC := include/ios_l2_stub_ports_binds.vrhpal | |
25 | #IF_SRC := include/niu_sig.if.vrhpal | |
26 | #PORT_DEST := $(VERA_LIBDIR)/ios_l2_stub_ports_binds.vrh | |
27 | #IF_DEST := $(VERA_LIBDIR)/niu_sig.if.vrh | |
28 | ||
29 | VERA_INCLUDE := include/niu_sig.if.vrh | |
30 | VERA_INCLUDE := $(subst include,$(VERA_LIBDIR),$(VERA_INCLUDE)) | |
31 | ||
32 | STUBS := stubs/niu_checker.vr | |
33 | STUBS := $(subst stubs,$(VERA_LIBDIR),$(STUBS)) | |
34 | STUBS_VRH := $(patsubst %.vr,%.vrh,$(STUBS)) | |
35 | STUBS_VRO := $(patsubst %.vr,%.vro,$(STUBS)) | |
36 | ||
37 | COMMON := std_display_class.vr | |
38 | ||
39 | COMMON_INCLUDE := $(wildcard $(COMMON_DIR)include/std_display_defines.vri) | |
40 | COMMON_INCLUDE += $(wildcard $(COMMON_DIR)include/plusArgMacros.vri) | |
41 | COMMON_INCLUDE += $(wildcard $(COMMON_DIR)classes/*.vrh) | |
42 | COMMON_INCLUDE += $(wildcard $(COMMON_DIR)classes/*.vr) | |
43 | COMMON_INCLUDE += $(wildcard $(COMMON_DIR)*.vr*) | |
44 | COMMON_INCLUDE := $(subst $(COMMON_DIR)include,$(VERA_LIBDIR),$(COMMON_INCLUDE)) | |
45 | COMMON_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(COMMON)) | |
46 | COMMON_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(COMMON)) | |
47 | ||
48 | ||
49 | ################################################################################ | |
50 | # generic rule to make a .vro file | |
51 | ################################################################################ | |
52 | ||
53 | $(VERA_LIBDIR)/%.vrh: $(VERA_LIBDIR)/%.vr | |
54 | cd $(VERA_LIBDIR); $(VERA_VRH) $(notdir $<) $(notdir $(@:%.vrh=%)) | |
55 | ||
56 | $(VERA_LIBDIR)/%.vro: $(VERA_LIBDIR)/%.vr | |
57 | cd $(VERA_LIBDIR); $(VERA_VRO) $(notdir $<) $(notdir $@) | |
58 | ||
59 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/% | |
60 | cp -f $< $@ | |
61 | ||
62 | $(VERA_LIBDIR)/%: $(COMMON_DIR)classes/% | |
63 | cp -f $< $@ | |
64 | ||
65 | ||
66 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/include/% | |
67 | cp -f $< $@ | |
68 | ||
69 | $(VERA_LIBDIR)/%: stubs/% | |
70 | cp -f $< $@ | |
71 | ||
72 | $(VERA_LIBDIR)/%: include/% | |
73 | cp -f $< $@ | |
74 | ||
75 | $(VERA_LIBDIR)/%: % | |
76 | cp -f $< $@ | |
77 | ||
78 | ||
79 | ################################################################################ | |
80 | # all | |
81 | ################################################################################ | |
82 | ||
83 | all: dir $(VERA_INCLUDE) \ | |
84 | $(VERA_LIBDIR)/diag.vri \ | |
85 | $(COMMON_INCLUDE) $(COMMON_VRH) $(COMMON_VRO) \ | |
86 | $(STUBS_VRH) $(STUBS_VRO) | |
87 | ||
88 | dir: | |
89 | if (test ! -d $(VERA_LIBDIR)) then mkdir $(VERA_LIBDIR) ; fi | |
90 | ||
91 | $(PORT_DEST): $(PORT_SRC) | |
92 | pal -r $< > $@ | |
93 | ||
94 | $(IF_DEST): $(IF_SRC) | |
95 | pal -r $< > $@ | |
96 | ||
97 | ||
98 | ################################################################################ | |
99 | # clean | |
100 | ################################################################################ | |
101 | ||
102 | clean: | |
103 | rm -rf $(VERA_LIBDIR)/* |