diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 11:17:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-09-19 11:17:15 -0700 |
| commit | a6c9e997bdd866908cee3812e71e90db76f617df (patch) | |
| tree | a39a4e3887c9429b1cae355cf857ddc690d6c281 | |
| parent | c65e08f9b57817a567f009488992aaed67dd1c86 (diff) | |
| download | abc-a6c9e997bdd866908cee3812e71e90db76f617df.tar.gz abc-a6c9e997bdd866908cee3812e71e90db76f617df.tar.bz2 abc-a6c9e997bdd866908cee3812e71e90db76f617df.zip | |
Temporarily disabling &ttopt in the Windows version.
| -rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index ac8a97fc..9b4aff78 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -499,7 +499,9 @@ static int Abc_CommandAbc9LNetRead ( Abc_Frame_t * pAbc, int argc, cha static int Abc_CommandAbc9LNetSim ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandAbc9LNetEval ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandAbc9LNetOpt ( Abc_Frame_t * pAbc, int argc, char ** argv ); +#ifndef _WIN32 static int Abc_CommandAbc9Ttopt ( Abc_Frame_t * pAbc, int argc, char ** argv ); +#endif static int Abc_CommandAbc9LNetMap ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandAbc9Unmap ( Abc_Frame_t * pAbc, int argc, char ** argv ); static int Abc_CommandAbc9Struct ( Abc_Frame_t * pAbc, int argc, char ** argv ); @@ -1250,7 +1252,9 @@ void Abc_Init( Abc_Frame_t * pAbc ) Cmd_CommandAdd( pAbc, "ABC9", "&lnetsim", Abc_CommandAbc9LNetSim, 0 ); Cmd_CommandAdd( pAbc, "ABC9", "&lneteval", Abc_CommandAbc9LNetEval, 0 ); Cmd_CommandAdd( pAbc, "ABC9", "&lnetopt", Abc_CommandAbc9LNetOpt, 0 ); +#ifndef _WIN32 Cmd_CommandAdd( pAbc, "ABC9", "&ttopt", Abc_CommandAbc9Ttopt, 0 ); +#endif Cmd_CommandAdd( pAbc, "ABC9", "&lnetmap", Abc_CommandAbc9LNetMap, 0 ); Cmd_CommandAdd( pAbc, "ABC9", "&unmap", Abc_CommandAbc9Unmap, 0 ); Cmd_CommandAdd( pAbc, "ABC9", "&struct", Abc_CommandAbc9Struct, 0 ); @@ -42204,6 +42208,7 @@ usage: SeeAlso [] ***********************************************************************/ +#ifndef _WIN32 int Abc_CommandAbc9Ttopt( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds ); @@ -42299,6 +42304,7 @@ usage: Abc_Print( -2, "\t<file> : file name with simulation information\n"); return 1; } +#endif /**Function************************************************************* |