luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Making command &kissat not look for the binary in the current dir.

This commit is contained in:
Alan Mishchenko 2022-06-23 08:04:34 -07:00
parent 8888e8e82e
commit 25455d358f
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/base/cmd/cmdUtils.c
View File

@ -767,14 +767,14 @@ void Gia_ManKissatCall( Abc_Frame_t * pAbc, char * pFileName, char * pArgs, int
char * pNameWin = "kissat.exe"; char * pNameWin = "kissat.exe";
char * pNameUnix = "kissat"; char * pNameUnix = "kissat";
char * pKissatName = NULL; char * pKissatName = NULL;
FILE * pFile = NULL; //FILE * pFile = NULL;
// get the names from the resource file // get the names from the resource file
if ( Cmd_FlagReadByName(pAbc, "kissatwin") ) if ( Cmd_FlagReadByName(pAbc, "kissatwin") )
pNameWin = Cmd_FlagReadByName(pAbc, "kissatwin"); pNameWin = Cmd_FlagReadByName(pAbc, "kissatwin");
if ( Cmd_FlagReadByName(pAbc, "kissatunix") ) if ( Cmd_FlagReadByName(pAbc, "kissatunix") )
pNameUnix = Cmd_FlagReadByName(pAbc, "kissatunix"); pNameUnix = Cmd_FlagReadByName(pAbc, "kissatunix");
/*
// check if the binary is available // check if the binary is available
if ( (pFile = fopen( pNameWin, "r" )) ) if ( (pFile = fopen( pNameWin, "r" )) )
pKissatName = pNameWin; pKissatName = pNameWin;
@ -786,6 +786,13 @@ void Gia_ManKissatCall( Abc_Frame_t * pAbc, char * pFileName, char * pArgs, int
return; return;
} }
fclose( pFile ); fclose( pFile );
*/
#ifdef _WIN32
pKissatName = pNameWin;
#else
pKissatName = pNameUnix;
#endif
sprintf( Command, "%s", pKissatName ); sprintf( Command, "%s", pKissatName );
if ( pArgs ) if ( pArgs )