C++ 如何解决make:None:Command未找到问题？

我很难理解这个错误

make: None: Command not found
make: *** [Makefile:3879: api/api_commands.o] Error 127

我已尝试查找，但找不到特定问题的答案

make:None:

。 完整的问题和错误信息用于澄清

在此方面的帮助将不胜感激

更新

make

文件由以下内容组成（第3879行与其余部分分开，以便澄清）：

由于

make

文件中的前几行格式相似，并且没有导致任何错误，因此问题一定出在

api_commands.cpp

文件中。我已经查看了这个文件，但是我不能确切地理解代码中发生了什么，所以我无法解释

None

变量是在哪里创建的

所讨论的

api_commands.cpp

文件长4856行，但它包含多个不同格式的函数

void exec_Z3_params_set_bool（Z3_replayer&in）{
Z3参数集布尔(
重新解释铸造（in.get_obj（0）），
重新解释铸造（在get obj（1）中），
in.get_符号（2），
in.get_bool（3））；
}

以及一个函数

void register\u z3\u replayer\u cmds（z3\u replayer&in）

，其中包含以下行：

in.register_cmd（16，exec_Z3_params_set_bool，“Z3_params_set_bool”）；

---

如果任何人熟悉此类或类似的代码，并且知道此文件如何创建

None

变量，我们将非常感谢您的帮助。

您需要进入源目录中的Makefile（无论在哪里

sbt

解包），并找到哪个变量扩展为

None

。然后

make

尝试将其作为命令执行。查看该

Makefile

的第3879行。要获得更具体的帮助，您需要咨询

python/z3

软件包的维护人员。非常感谢您的回复。我已经相应地更新了帖子。你应该做的第一件事是删除食谱上的前缀，至少是那些失败的前缀。加上这些就像在做饭前加上眼罩。。。你为什么要那样做？如果您查看输出生成打印而不是隐藏它，那么您的问题将更容易解决。我的怀疑是，在这个配方中，由于某种原因，我们无法根据这少量的makefile来确定

CXX

变量包含值

None

，而不是编译器。如果是这样的话，你必须找到这个变量的定义来解释为什么。关于<代码> @ /Cord>你可以考虑阅读一些提示来更好地处理这个问题。你需要进入源目录中的Mag文件（无论在哪里，代码> SBT< /COD>解包它），并找出哪个变量扩展到<代码> NON//C>。然后

make

尝试将其作为命令执行。查看该

Makefile

的第3879行。要获得更具体的帮助，您需要咨询

python/z3

软件包的维护人员。非常感谢您的回复。我已经相应地更新了帖子。你应该做的第一件事是删除食谱上的前缀，至少是那些失败的前缀。加上这些就像在做饭前加上眼罩。。。你为什么要那样做？如果您查看输出生成打印而不是隐藏它，那么您的问题将更容易解决。我的怀疑是，在这个配方中，由于某种原因，我们无法根据这少量的makefile来确定

CXX

变量包含值

None

，而不是编译器。如果是这样，你必须找到这个变量的定义，找出原因。关于<代码> @ /代码>，你可以考虑阅读一些技巧来更好地处理这个问题。

...

includes_65 = -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/solver -I../src/tactic -I../src/ast/proofs -I../src/sat/sat_solver -I../src/tactic/core -I../src/ast/macros -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/interp -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/lp -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/muz/spacer -I../src/tactic/nlsat_smt -I../src/tactic/ufbv -I../src/tactic/fpa -I../src/tactic/sls -I../src/math/subpaving/tactic -I../src/math/subpaving -I../src/math/interval -I../src/math/realclosure -I../src/opt -I../src
api/z3_macros.h.node: ../src/api/z3_macros.h
    @echo done > api/z3_macros.h.node
api/z3_api.h.node: ../src/api/z3_api.h
    @echo done > api/z3_api.h.node
...
api/api_ast_vector$(OBJ_EXT): ../src/api/api_ast_vector.cpp api/z3.h.node api/api_log_macros.h.node api/api_context.h.node api/api_ast_vector.h.node ast/ast_translation.h.node ast/ast_smt2_pp.h.node
    @echo src/api/api_ast_vector.cpp
    @$(CXX) $(CXXFLAGS) $(includes_65) $(CXX_OUT_FLAG)api/api_ast_vector$(OBJ_EXT) ../src/api/api_ast_vector.cpp
api/api_bv$(OBJ_EXT): ../src/api/api_bv.cpp api/z3.h.node api/api_log_macros.h.node api/api_context.h.node api/api_util.h.node ast/bv_decl_plugin.h.node
    @echo src/api/api_bv.cpp
    @$(CXX) $(CXXFLAGS) $(includes_65) $(CXX_OUT_FLAG)api/api_bv$(OBJ_EXT) ../src/api/api_bv.cpp
api/z3_replayer.h.node: ../src/api/z3_replayer.h api/z3.h.node util/z3_exception.h.node
    @echo done > api/z3_replayer.h.node
api/api_commands$(OBJ_EXT): ../src/api/api_commands.cpp api/z3.h.node api/z3_replayer.h.node
    @echo src/api/api_commands.cpp

    @$(CXX) $(CXXFLAGS) $(includes_65) $(CXX_OUT_FLAG)api/api_commands$(OBJ_EXT) ../src/api/api_commands.cpp

api/api_config_params$(OBJ_EXT): ../src/api/api_config_params.cpp api/z3.h.node 
...