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