projects / OpenSPARC-T2-DV / blame
| 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 | MAC_SAT ?= NO_MAC_SAT | |
| 21 | MAKE_STRING ?= "${NEPTUNE_MODE} -D${HT_MODE} -D${RXC_SAT} -D${MAC_SAT}" | |
| 22 | ||
| 23 | VERA_LIBDIR ?= ./lib | |
| 24 | ||
| 25 | VERA_VRH ?= vera -cmp ${NEPTUNE_MODE} -I . -max_error 5 -q -H | |
| 26 | VERA_VRO ?= vera -cmp ${NEPTUNE_MODE} -I . -max_error 5 -q | |
| 27 | ||
| 28 | COMMON_DIR := ${DV_ROOT}/verif/niu/rxc_sat/vera/lib/niu_rxc_checker | |
| 29 | ||
| 30 | VERA_INCLUDE := $(wildcard include/*port*) $(wildcard include/*vcon*) | |
| 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 RXC_SAT, ${NEPTUNE_MODE}) | |
| 39 | ifeq ($(TMP_MODE),RXC_SAT) | |
| 40 | COMMON := | |
| 41 | else | |
| 42 | COMMON := | |
| 43 | endif | |
| 44 | ||
| 45 | COMMON_INCLUDE := $(wildcard $(COMMON_DIR)include/*.vri) | |
| 46 | COMMON_INCLUDE := $(subst $(COMMON_DIR)include,$(VERA_LIBDIR),$(COMMON_INCLUDE)) | |
| 47 | ||
| 48 | COMMON_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(COMMON)) | |
| 49 | COMMON_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(COMMON)) | |
| 50 | ||
| 51 | MISC_VRH := $(patsubst %.vr,$(VERA_LIBDIR)/%.vrh,$(MISC)) | |
| 52 | MISC_VRO := $(patsubst %.vr,$(VERA_LIBDIR)/%.vro,$(MISC)) | |
| 53 | ||
| 54 | ################################################################################ | |
| 55 | # generic rule to make a .vro file | |
| 56 | ################################################################################ | |
| 57 | ||
| 58 | $(VERA_LIBDIR)/%.vrh: $(VERA_LIBDIR)/%.vr | |
| 59 | cd $(VERA_LIBDIR); $(VERA_VRH) $(notdir $<) $(notdir $(@:%.vrh=%)) | |
| 60 | ||
| 61 | $(VERA_LIBDIR)/%.vro: $(VERA_LIBDIR)/%.vr | |
| 62 | cd $(VERA_LIBDIR); $(VERA_VRO) $(notdir $<) $(notdir $@) | |
| 63 | ||
| 64 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/% | |
| 65 | cp -f $< $@ | |
| 66 | ||
| 67 | $(VERA_LIBDIR)/%: $(COMMON_DIR)/include/% | |
| 68 | cp -f $< $@ | |
| 69 | ||
| 70 | $(VERA_LIBDIR)/%: include/% | |
| 71 | cp -f $< $@ | |
| 72 | ||
| 73 | $(VERA_LIBDIR)/%: % | |
| 74 | cp -f $< $@ | |
| 75 | ||
| 76 | ||
| 77 | ################################################################################ | |
| 78 | # all | |
| 79 | ################################################################################ | |
| 80 | ||
| 81 | all: dir $(VERA_INCLUDE) \ | |
| 82 | $(COMMON_INCLUDE) \ | |
| 83 | $(COMMON_VRH) $(COMMON_VRO) \ | |
| 84 | $(MISC_VRH) $(MISC_VRO) \ | |
| 85 | RXC_SAT_CHECKERS \ | |
| 86 | MEM_CHECKERS | |
| 87 | ||
| 88 | TMP_MODE = $(findstring RXC_SAT, ${NEPTUNE_MODE}) | |
| 89 | ifeq ($(TMP_MODE),RXC_SAT) | |
| 90 | RXC_SAT_CHECKERS: | |
| 91 | cd ${DV_ROOT}/verif/env/niu/rxc_sat/vera/checkers/dmc_rxc_checker; gmake VERA_LIBDIR=$(VERA_LIBDIR) NEPTUNE_MODE=$(MAKE_STRING) | |
| 92 | else | |
| 93 | RXC_SAT_CHECKERS: | |
| 94 | endif | |
| 95 | ||
| 96 | TMP1_MODE = $(findstring MAC_SAT, ${NEPTUNE_MODE}) | |
| 97 | ifeq ($(TMP1_MODE),MAC_SAT) | |
| 98 | MEM_CHECKERS: | |
| 99 | else | |
| 100 | MEM_CHECKERS: | |
| 101 | cd ${DV_ROOT}/verif/env/niu/rxc_sat/vera/checkers/mem_checker; gmake VERA_LIBDIR=$(VERA_LIBDIR) NEPTUNE_MODE=$(MAKE_STRING) | |
| 102 | endif | |
| 103 | ||
| 104 | dir: | |
| 105 | if (test ! -d $(VERA_LIBDIR)) then mkdir $(VERA_LIBDIR) ; fi | |
| 106 | ||
| 107 | ################################################################################ | |
| 108 | # clean | |
| 109 | ################################################################################ | |
| 110 | ||
| 111 | clean: | |
| 112 | rm -rf $(VERA_LIBDIR)/* |