diff options
Diffstat (limited to 'abc.plg')
| -rw-r--r-- | abc.plg | 30 |
1 files changed, 15 insertions, 15 deletions
@@ -6,13 +6,13 @@ --------------------Configuration: abc - Win32 Release-------------------- </h3> <h3>Command Lines</h3> -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194C.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B74.tmp" with contents [ /nologo /ML /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mapp" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"Release/" /Fp"Release/abc.pch" /YX /Fo"Release/" /Fd"Release/" /FD /c -"C:\_projects\abc\src\base\abci\abcVanImp.c" +"C:\_projects\abc\src\opt\sim\simSupp.c" ] -Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194C.tmp" -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194D.tmp" with contents +Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B74.tmp" +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B75.tmp" with contents [ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /incremental:no /pdb:"Release/abc.pdb" /machine:I386 /out:"_TEST/abc.exe" .\Release\abcAig.obj @@ -55,6 +55,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32 .\Release\abcTiming.obj .\Release\abcUnreach.obj .\Release\abcVanEijk.obj +.\Release\abcVanImp.obj .\Release\abcVerify.obj .\Release\abcFpgaDelay.obj .\Release\abcFpgaSeq.obj @@ -178,6 +179,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32 .\Release\msatClause.obj .\Release\msatClauseVec.obj .\Release\msatMem.obj +.\Release\msatOrderH.obj .\Release\msatQueue.obj .\Release\msatRead.obj .\Release\msatSolverApi.obj @@ -233,6 +235,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32 .\Release\decUtil.obj .\Release\simMan.obj .\Release\simSat.obj +.\Release\simSeq.obj .\Release\simSupp.obj .\Release\simSwitch.obj .\Release\simSym.obj @@ -320,16 +323,13 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32 .\Release\mvcPrint.obj .\Release\mvcSort.obj .\Release\mvcUtils.obj -.\Release\abcVanImp.obj -.\Release\simSeq.obj -.\Release\msatOrderH.obj ] -Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194D.tmp" +Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B75.tmp" <h3>Output Window</h3> Compiling... -abcVanImp.c +simSupp.c Linking... -Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with contents +Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B77.tmp" with contents [ /nologo /o"Release/abc.bsc" .\Release\abcAig.sbr @@ -372,6 +372,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont .\Release\abcTiming.sbr .\Release\abcUnreach.sbr .\Release\abcVanEijk.sbr +.\Release\abcVanImp.sbr .\Release\abcVerify.sbr .\Release\abcFpgaDelay.sbr .\Release\abcFpgaSeq.sbr @@ -495,6 +496,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont .\Release\msatClause.sbr .\Release\msatClauseVec.sbr .\Release\msatMem.sbr +.\Release\msatOrderH.sbr .\Release\msatQueue.sbr .\Release\msatRead.sbr .\Release\msatSolverApi.sbr @@ -550,6 +552,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont .\Release\decUtil.sbr .\Release\simMan.sbr .\Release\simSat.sbr +.\Release\simSeq.sbr .\Release\simSupp.sbr .\Release\simSwitch.sbr .\Release\simSym.sbr @@ -636,11 +639,8 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont .\Release\mvcOpBool.sbr .\Release\mvcPrint.sbr .\Release\mvcSort.sbr -.\Release\mvcUtils.sbr -.\Release\abcVanImp.sbr -.\Release\simSeq.sbr -.\Release\msatOrderH.sbr] -Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" +.\Release\mvcUtils.sbr] +Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B77.tmp" Creating browse info file... <h3>Output Window</h3> |