NikolajBjorner
commented
2 years ago You must be compiling in a directory with a stale version. Try to compile from a fresh directory.
Closed verifierlife closed 2 years ago
NikolajBjorner
commented
2 years ago You must be compiling in a directory with a stale version. Try to compile from a fresh directory.
Windows 10, mingw64 cross-compiler.
After "make" command, it prompts:
process_begin: CreateProcess(NULL, cl /c /nologo /Zi /D WIN32 /D _WINDOWS /EHsc /GS /Gd /std:c++17 /WX- /O2 /Oy- /D _EXTERNAL_RELEASE /D NDEBUG /D _CONSOLE /D ASYNC_COMMANDS /Gm- /arch:SSE2 /MD -I..\src\api -I..\src\tactic\portfolio -I..\src\tactic\smtlogics -I..\src\ackermannization -I..\src\model -I..\src\ast\rewriter -I..\src\ast -I..\src\util -I..\src\math\polynomial -I..\src\math\automata -I..\src\params -I..\src\ast\macros -I..\src\solver -I..\src\tactic -I..\src\ast\proofs -I..\src\sat\sat_solver -I..\src\tactic\core -I..\src\ast\normal_forms -I..\src\ast\pattern -I..\src\parsers\smt2 -I..\src\cmd_context -I..\src\parsers\util -I..\src\tactic\aig -I..\src\tactic\bv -I..\src\ast\rewriter\bit_blaster -I..\src\tactic\arith -I..\src\sat -I..\src\math\dd -I..\src\math\interval -I..\src\math\grobner -I..\src\math\simplex -I..\src\sat\tactic -I..\src\sat\smt -I..\src\ast\euf -I..\src\smt\params -I..\src\ast\fpa -I..\src\qe\mbp -I..\src\math\lp -I..\src\nlsat -I..\src\nlsat\tactic -I..\src\smt\tactic -I..\src\smt -I..\src\smt\proto_model -I..\src\solver\assertions -I..\src\ast\substitution -I..\src\muz\fp -I..\src\muz\base -I..\src\qe -I..\src\muz\clp -I..\src\muz\transforms -I..\src\math\hilbert -I..\src\muz\dataflow -I..\src\muz\tab -I..\src\muz\rel -I..\src\muz\bmc -I..\src\tactic\fd_solver -I..\src\muz\ddnf -I..\src\muz\spacer -I..\src\tactic\ufbv -I..\src\tactic\fpa -I..\src\tactic\sls -I..\src\math\subpaving\tactic -I..\src\math\subpaving -I..\src\math\realclosure -I..\src\opt -I..\src\cmd_context\extra_cmds -I..\src /Foshell\datalog_frontend.obj ..\src\shell\datalog_frontend.cpp, ...) failed. make (e=2): Makefile:3764: recipe for target 'shell\datalog_frontend.obj' failed make: *** [shell\datalog_frontend.obj] Error 2I found there is no "datalog_frontend.obj" or "datalog_frontend.cpp" in "shell" directory. I try many times, but I failed. How to solve the datalog_frontend.obj? Ask for help.