Changeset 47 for sources/configure.ac

Timestamp:

Oct 26, 2009, 7:07:37 PM (15 years ago)

Author:

buchmann

Message:

This patch simplifies SystemCASS.

Remove:

• ckeckings about multiwriting on registers and ports
• checkings related to FSM modeling
• regression tests related to the checkings

File:

• sources/configure.ac (modified) (1 diff)

sources/configure.ac

@@ -37 +37 @@
                          )])
 
-MY_ARG_ENABLE(check_fsm_rules, [Enable FSM rule checking], [no])
-MY_ARG_ENABLE(check_multiwriting2port, [Report if port is written twice], [no])
-MY_ARG_ENABLE(check_multiwriting2register, [Report if unconnected signal is written twice], [no])
 MY_ARG_ENABLE(debug, [Enable debugging], [no])