summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-06-23 08:04:34 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-06-23 08:04:34 -0700
commit25455d358febbb26040916f9f90b5e2af87e1dc0 (patch)
tree05838afdab39a59419017e617101219010e41723 /src
parent8888e8e82e189a599a340e83ac8094bdef1ceb51 (diff)
downloadabc-25455d358febbb26040916f9f90b5e2af87e1dc0.tar.gz
abc-25455d358febbb26040916f9f90b5e2af87e1dc0.tar.bz2
abc-25455d358febbb26040916f9f90b5e2af87e1dc0.zip
Making command &kissat not look for the binary in the current dir.
Diffstat (limited to 'src')
-rw-r--r--src/base/cmd/cmdUtils.c11
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 )