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 | VERA_LIBDIR ?= ./lib | |
18 | ||
19 | VERA_VRH ?= vera -cmp ${NEPTUNE_MODE} -I . -max_error 5 -q -H | |
20 | VERA_VRO ?= vera -cmp ${NEPTUNE_MODE} -I . -max_error 5 -q | |
21 | ||
22 | COMMON_DIR := ${DV_ROOT}/verif/env/common/vera/niu_gen_pio | |
23 | ||
24 | VERA_INCLUDE := $(wildcard include/*port*) $(wildcard include/*vcon*) | |
25 | VERA_INCLUDE += $(wildcard include/*if.vrh*) $(wildcard include/*.vrh*) | |
26 | VERA_INCLUDE += $(wildcard include/*.vri) | |
27 | VERA_INCLUDE += $(wildcard include/*bind*) | |
28 | VERA_INCLUDE := $(subst include,$(VERA_LIBDIR),$(VERA_INCLUDE)) | |
29 | ||
30 | MISC := | |
31 | ||
32 | COMMON := niu_gen_pio.vr | |
33 | ||
34 | COMMON_INCLUDE := $(wildcard $(COMMON_DIR)include/*.vri) | |
35 | COMMON_INCLUDE := $(subst $(COMMON_DIR)include,$(VERA_LIBDIR),$(COMMON_INCLUDE)) | |
36 | ||
37 | COMMON_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(COMMON)) | |
38 | COMMON_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(COMMON)) | |
39 | ||
40 | MISC_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(MISC)) | |
41 | MISC_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(MISC)) | |
42 | ||
43 | ################################################################################ | |
44 | # generic rule to make a .vro file | |
45 | ################################################################################ | |
46 | ||
47 | $(VERA_LIBDIR)/%.vrh: $(VERA_LIBDIR)/%.vr | |
48 | cd $(VERA_LIBDIR); $(VERA_VRH) $(notdir $<) $(notdir $(@:%.vrh=%)) | |
49 | ||
50 | $(VERA_LIBDIR)/%.vro: $(VERA_LIBDIR)/%.vr | |
51 | cd $(VERA_LIBDIR); $(VERA_VRO) $(notdir $<) $(notdir $@) | |
52 | ||
53 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/% | |
54 | cp -f $< $@ | |
55 | ||
56 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/include/% | |
57 | cp -f $< $@ | |
58 | ||
59 | $(VERA_LIBDIR)/%: include/% | |
60 | cp -f $< $@ | |
61 | ||
62 | $(VERA_LIBDIR)/%: % | |
63 | cp -f $< $@ | |
64 | ||
65 | ||
66 | ################################################################################ | |
67 | # all | |
68 | ################################################################################ | |
69 | ||
70 | all: dir $(VERA_INCLUDE) \ | |
71 | $(COMMON_INCLUDE) \ | |
72 | $(COMMON_VRH) $(COMMON_VRO) \ | |
73 | $(MISC_VRH) $(MISC_VRO) | |
74 | ||
75 | dir: | |
76 | if (test ! -d $(VERA_LIBDIR)) then mkdir $(VERA_LIBDIR) ; fi | |
77 | ||
78 | ################################################################################ | |
79 | # clean | |
80 | ################################################################################ | |
81 | ||
82 | clean: | |
83 | rm -rf $(VERA_LIBDIR)/* |