diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 08:04:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-06-23 08:04:34 -0700 |
| commit | 25455d358febbb26040916f9f90b5e2af87e1dc0 (patch) | |
| tree | 05838afdab39a59419017e617101219010e41723 | |
| parent | 8888e8e82e189a599a340e83ac8094bdef1ceb51 (diff) | |
| download | abc-25455d358febbb26040916f9f90b5e2af87e1dc0.tar.gz abc-25455d358febbb26040916f9f90b5e2af87e1dc0.tar.bz2 abc-25455d358febbb26040916f9f90b5e2af87e1dc0.zip | |
Making command &kissat not look for the binary in the current dir.
| -rw-r--r-- | src/base/cmd/cmdUtils.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/base/cmd/cmdUtils.c b/src/base/cmd/cmdUtils.c index cf26c0c7..2158f8e9 100644 --- a/src/base/cmd/cmdUtils.c +++ b/src/base/cmd/cmdUtils.c @@ -767,14 +767,14 @@ void Gia_ManKissatCall( Abc_Frame_t * pAbc, char * pFileName, char * pArgs, int char * pNameWin = "kissat.exe"; char * pNameUnix = "kissat"; char * pKissatName = NULL; - FILE * pFile = NULL; + //FILE * pFile = NULL; // get the names from the resource file if ( Cmd_FlagReadByName(pAbc, "kissatwin") ) pNameWin = Cmd_FlagReadByName(pAbc, "kissatwin"); if ( Cmd_FlagReadByName(pAbc, "kissatunix") ) pNameUnix = Cmd_FlagReadByName(pAbc, "kissatunix"); - +/* // check if the binary is available if ( (pFile = fopen( pNameWin, "r" )) ) pKissatName = pNameWin; @@ -786,6 +786,13 @@ void Gia_ManKissatCall( Abc_Frame_t * pAbc, char * pFileName, char * pArgs, int return; } fclose( pFile ); +*/ + +#ifdef _WIN32 + pKissatName = pNameWin; +#else + pKissatName = pNameUnix; +#endif sprintf( Command, "%s", pKissatName ); if ( pArgs ) |