From 25455d358febbb26040916f9f90b5e2af87e1dc0 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 23 Jun 2022 08:04:34 -0700 Subject: Making command &kissat not look for the binary in the current dir. --- src/base/cmd/cmdUtils.c | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'src') 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 ) -- cgit v1.2.3