Commit | Line | Data |
---|---|---|
86530b38 AT |
1 | ################################################################################ |
2 | ## File: Makefile | |
3 | ## Notes: runs with "gmake" only, not with "make" | |
4 | ## | |
5 | ## Description: | |
6 | ## ----------- | |
7 | ## Top level Makefile for compiling Vera environment. | |
8 | ## | |
9 | ################################################################################ | |
10 | ||
11 | ################################################################################ | |
12 | # variable declarations | |
13 | ################################################################################ | |
14 | ||
15 | .SUFFIXES: | |
16 | ||
17 | NEPTUNE_MODE ?= NEPTUNE | |
18 | HT_MODE ?= NO_HT | |
19 | RXC_SAT ?= NO_RXC_SAT | |
20 | MAKE_STRING ?= "${NEPTUNE_MODE} -D${HT_MODE} -D${RXC_SAT}" | |
21 | VERA_LIBDIR ?= ./lib | |
22 | MAC_LIBDIR ?= ${DV_ROOT}/verif/env/niu_mac_sat/vera/lib | |
23 | ||
24 | VERA_VRH ?= vera -cmp ${NEPTUNE_MODE} -I . -max_error 5 -q -H | |
25 | VERA_VRO ?= vera -cmp ${NEPTUNE_MODE} -I ${MODEL_DIR}/neptune_rxc/rel-0.1/vera -max_error 5 -q | |
26 | ||
27 | COMMON_DIR := ${DV_ROOT}/verif/env/niu/rxc_sat/vera/monitor | |
28 | MAC_DIR := ${DV_ROOT}/verif/env/niu/mac_sat/vera/ | |
29 | ||
30 | VERA_INCLUDE := $(wildcard include/*port*) | |
31 | VERA_INCLUDE += $(wildcard include/*if.vrh*) $(wildcard include/*.vrh*) | |
32 | VERA_INCLUDE += $(wildcard include/*.vri) | |
33 | VERA_INCLUDE += $(wildcard include/*bind*) | |
34 | VERA_INCLUDE := $(subst include,$(VERA_LIBDIR),$(VERA_INCLUDE)) | |
35 | ||
36 | MISC := | |
37 | ||
38 | TMP_MODE = $(findstring MAC_SAT, ${NEPTUNE_MODE}) | |
39 | ifdef N2_IOS | |
40 | COMMON := | |
41 | else | |
42 | ifeq ($(TMP_MODE),MAC_SAT) | |
43 | COMMON := | |
44 | else | |
45 | COMMON := control_fifo_mon.vr control_fifo_chkr.vr rdmc_mon.vr | |
46 | endif | |
47 | endif | |
48 | ||
49 | MAC := | |
50 | ||
51 | COMMON_INCLUDE := $(wildcard $(COMMON_DIR)include/*.vri) | |
52 | COMMON_INCLUDE := $(subst $(COMMON_DIR)include,$(VERA_LIBDIR),$(COMMON_INCLUDE)) | |
53 | ||
54 | COMMON_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(COMMON)) | |
55 | COMMON_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(COMMON)) | |
56 | ||
57 | MAC_INCLUDE := $(wildcard $(MAC_DIR)include/*.vri) | |
58 | MAC_INCLUDE := $(subst $(MAC_DIR)include,$(VERA_LIBDIR),$(MAC_INCLUDE)) | |
59 | ||
60 | MAC_VRH := $(patsubst %.vr,$(MAC_DIR)/%.vrh,$(MAC)) | |
61 | MAC_VRO := $(patsubst %.vr,$(MAC_DIR)/%.vro,$(MAC)) | |
62 | ||
63 | MISC_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(MISC)) | |
64 | MISC_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(MISC)) | |
65 | ||
66 | ################################################################################ | |
67 | # generic rule to make a .vro file | |
68 | ################################################################################ | |
69 | ||
70 | $(VERA_LIBDIR)/%.vrh: $(VERA_LIBDIR)/%.vr | |
71 | cd $(VERA_LIBDIR); $(VERA_VRH) $(notdir $<) $(notdir $(@:%.vrh=%)) | |
72 | ||
73 | $(MAC_DIR)/%.vrh: $(MAC_DIR)/%.vr | |
74 | cd $(MAC_DIR); $(VERA_VRH) $(notdir $<) $(notdir $(@:%.vrh=%)) | |
75 | ||
76 | $(VERA_LIBDIR)/%.vro: $(VERA_LIBDIR)/%.vr | |
77 | cd $(VERA_LIBDIR); $(VERA_VRO) $(notdir $<) $(notdir $@) | |
78 | ||
79 | $(MAC_DIR)/%.vro: $(MAC_DIR)/%.vr | |
80 | cd $(MAC_DIR); $(VERA_VRO) $(notdir $<) $(notdir $@) | |
81 | ||
82 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/% | |
83 | cp -f $< $@ | |
84 | ||
85 | $(VERA_LIBDIR)/%: $(MAC_DIR)/% | |
86 | cp -f $< $@ | |
87 | ||
88 | $(VERA_LIBDIR)/%.vri: $(MAC_DIR)/lib/%.vri | |
89 | cp -f $< $@ | |
90 | ||
91 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/include/% | |
92 | cp -f $< $@ | |
93 | ||
94 | $(VERA_LIBDIR)/%: $(MAC_DIR)/include/% | |
95 | cp -f $< $@ | |
96 | ||
97 | $(VERA_LIBDIR)/%: include/% | |
98 | cp -f $< $@ | |
99 | ||
100 | $(VERA_LIBDIR)/%: % | |
101 | cp -f $< $@ | |
102 | ||
103 | ################################################################################ | |
104 | # all | |
105 | ################################################################################ | |
106 | ||
107 | all: dir $(VERA_INCLUDE) \ | |
108 | $(COMMON_INCLUDE) \ | |
109 | $(COMMON_VRH) $(COMMON_VRO) | |
110 | ||
111 | dir: | |
112 | if (test ! -d $(VERA_LIBDIR)) then mkdir $(VERA_LIBDIR) ; fi | |
113 | ||
114 | ################################################################################ | |
115 | # clean | |
116 | ################################################################################ | |
117 | ||
118 | clean: | |
119 | rm -rf $(VERA_LIBDIR)/* |