source: sources/src/Options.def @ 3

Last change on this file since 3 was 1, checked in by buchmann, 17 years ago

Initial import from CVS repository

File size: 1.9 KB
Line 
1##################################
2#### MACRO DEFINTIONS AVAILABLE
3##################################
4
5#
6# -U to disable
7# -D to enable
8#
9
10ifdef ALLIANCE
11ALLIANCE_OK = $(shell (test -d ${ALLIANCE}) ; echo $$?)
12ifneq (${ALLIANCE_OK},0)
13$(warning "ALLIANCE directory is not valid. So, PAT file format is not supported.")
14ALLIANCE=
15endif
16endif
17
18ALLIANCE_DEF=$(if ${ALLIANCE},-DPAT_TRACE_FORMAT,-UPAT_TRACE_FORMAT)
19
20
21# ### FOR LIBRARY (OPT)
22#
23# netlist debugging
24#
25
26NETLIST_DEBUGGING = \
27  -UDUMP_NETLIST_INFO                \
28  -UDUMP_SIGNAL_STATS                \
29  -UDUMP_FUNCLIST_INFO               \
30  ${ALLIANCE_DEF}                    \
31#
32
33#
34# scheduling options
35#
36
37SCHEDULING_OPTIONS = \
38  -UUSE_PORT_DEPENDENCY  \
39  -UDUMP_PORT_DEPENDENCY \
40  -UDUMP_SCHEDULE_STATS  \
41  -UNO_STATIC_SCHEDULE   \
42  -UKEEP_GENERATED_CODE  \
43  -UDUMP_COMBINATIONAL_LIST2DOT \
44  -UPRINT_SCHEDULE       \
45
46#
47# others
48#
49
50OTHERS = \
51  -UDUMP_STAGE            \
52  -UCHECK_FSM_RULES       \
53  -UCOMPIL_DEBUG          \
54  -UDEBUG                 \
55  -UUINT64                \
56  -DINIT_SIGNALS_TO_ZERO  \
57#  -UCHECK_MULTIWRITING2PORT      \
58#  -UCHECK_MULTIWRITING2REGISTER  \
59
60#
61# ### FOR LIBRARY (DEBUG)
62#
63
64NETLIST_DEBUGGING-d = \
65  -UDUMP_NETLIST_INFO                \
66  -UDUMP_SIGNAL_STATS                \
67  -UDUMP_FUNCLIST_INFO               \
68  ${ALLIANCE_DEF}                    \
69#
70
71SCHEDULING_OPTIONS-d= \
72  -UUSE_PORT_DEPENDENCY  \
73  -DDUMP_PORT_DEPENDENCY \
74  -UDUMP_SCHEDULE_STATS  \
75  -UNO_STATIC_SCHEDULE   \
76  -DKEEP_GENERATED_CODE  \
77  -UDUMP_COMBINATIONAL_LIST2DOT \
78  -UPRINT_SCHEDULE       \
79
80OTHERS-d = \
81  -UDUMP_STAGE            \
82  -DCHECK_FSM_RULES       \
83  -DCOMPIL_DEBUG          \
84  -DDEBUG                 \
85  -UUINT64                \
86  -DINIT_SIGNALS_TO_ZERO  \
87  -DCHECK_MULTIWRITING2PORT     \
88  -DCHECK_MULTIWRITING2REGISTER \
89
90# bug in UINT64 to fix
91
92#
93# ### FOR USERS
94#
95
96USERS_OPTIONS = \
97  -UCHECK_FSM_RULES        \
98  -UDUMP_READ -UDUMP_WRITE \
99
Note: See TracBrowser for help on using the repository browser.