Index: trunk/src/global.h =================================================================== --- trunk/src/global.h (revision 403) +++ trunk/src/global.h (revision 404) @@ -705,8 +705,9 @@ RingBellWhenFinished, /* flag if a signal should be */ /* produced when searching of */ /* connections is done */ - AutoPlace; /* flag which says we should force placement of the + AutoPlace, /* flag which says we should force placement of the windows on startup */ + EnableMincut; /* Enable calculating mincut on shorts (rats_mincut.c) when non-zero */ } SettingType, *SettingTypePtr; Index: trunk/src/main.c =================================================================== --- trunk/src/main.c (revision 403) +++ trunk/src/main.c (revision 404) @@ -1309,6 +1309,16 @@ */ BSET (RingBellWhenFinished, 0, "ring-bell-finished", "Execute the bell command when all rats are routed"), + +/* %start-doc options "1 General Options" +@ftable @code +@item --enable-mincut +Whether to enable mincut (1=yes, 0=no) +@end ftable +%end-doc +*/ + ISET (EnableMincut, 1, "enable-mincut", "whether to enable mincut (1=yes, 0=no)"), + }; REGISTER_ATTRIBUTES (main_attribute_list) Index: trunk/src/rats_mincut.c =================================================================== --- trunk/src/rats_mincut.c (revision 403) +++ trunk/src/rats_mincut.c (revision 404) @@ -89,7 +89,8 @@ int i, maxedges; int bad_gr = 0; - return bad_gr; + if (!Settings.EnableMincut) + return bad_gr; /* only one should be set, but one must be set */ assert((pin != NULL) || (pad != NULL));