################################################################################
## Notes: runs with "gmake" only, not with "make"
## Top level Makefile for compiling Vera environment.
## $Id: Makefile,v 1.1.1.1 2007/02/13 22:21:22 drp Exp $
################################################################################
################################################################################
################################################################################
VERA_VRH ?
= vera
-cmp
-I .
-max_error
5 -q
-H
VERA_VRO ?
= vera
-cmp
-I .
-max_error
5 -q
COMMON_DIR
:= ${DV_ROOT}/verif
/env
/common
/vera
/niu_randoms
VERA_INCLUDE
:= $(wildcard include/*port
*) $(wildcard include/*vcon
*)
VERA_INCLUDE
+= $(wildcard include/*if.vrh
*) $(wildcard include/*.vrh
*)
VERA_INCLUDE
+= $(wildcard include/*.vri
)
VERA_INCLUDE
+= $(wildcard include/*bind
*)
VERA_INCLUDE
:= $(subst include,$(VERA_LIBDIR
),$(VERA_INCLUDE
))
COMMON_INCLUDE
:= $(wildcard $(COMMON_DIR
)include/*.vri
)
COMMON_INCLUDE
:= $(subst $(COMMON_DIR
)include,$(VERA_LIBDIR
),$(COMMON_INCLUDE
))
COMMON_VRH
:= $(patsubst %.vr
,$(VERA_LIBDIR
)/%.vrh
,$(COMMON
))
COMMON_VRO
:= $(patsubst %.vr
,$(VERA_LIBDIR
)/%.vro
,$(COMMON
))
MISC_VRH
:= $(patsubst %.vr
,$(VERA_LIBDIR
)/%.vrh
,$(MISC
))
MISC_VRO
:= $(patsubst %.vr
,$(VERA_LIBDIR
)/%.vro
,$(MISC
))
################################################################################
# generic rule to make a .vro file
################################################################################
$(VERA_LIBDIR
)/%.vrh
: $(VERA_LIBDIR
)/%.vr
cd
$(VERA_LIBDIR
); $(VERA_VRH
) $(notdir $<) $(notdir $(@
:%.vrh
=%))
$(VERA_LIBDIR
)/%.vro
: $(VERA_LIBDIR
)/%.vr
cd
$(VERA_LIBDIR
); $(VERA_VRO
) $(notdir $<) $(notdir $@
)
$(VERA_LIBDIR
)/%: $(COMMON_DIR
)/%
$(VERA_LIBDIR
)/%: $(COMMON_DIR
)/include/%
$(VERA_LIBDIR
)/%: include/%
################################################################################
################################################################################
all: dir $(VERA_INCLUDE
) \
$(COMMON_VRH
) $(COMMON_VRO
) \
if
(test ! -d
$(VERA_LIBDIR
)) then mkdir
$(VERA_LIBDIR
) ; fi
################################################################################
################################################################################