keshengtao@keshengtao-Vostro-3668:~/cirkit/build$ make cirkit [ 75%] Built target libabcsat [ 87%] Building CXX object cli/CMakeFiles/cirkit.dir/cirkit.cpp.o In file included from /home/keshengtao/cirkit/lib/mockturtle/include/mockturtle/io/aiger_reader.hpp:35:0, from /home/keshengtao/cirkit/cli/stores/aig.hpp:7, from /home/keshengtao/cirkit/cli/cirkit.cpp:8: /home/keshengtao/cirkit/lib/mockturtle/include/mockturtle/io/../networks/aig.hpp:37:20: fatal error: optional: 没有那个文件或目录 compilation terminated. cli/CMakeFiles/cirkit.dir/build.make:62: recipe for target 'cli/CMakeFiles/cirkit.dir/cirkit.cpp.o' failed make[3]: *** [cli/CMakeFiles/cirkit.dir/cirkit.cpp.o] Error 1 CMakeFiles/Makefile2:237: recipe for target 'cli/CMakeFiles/cirkit.dir/all' failed make[2]: *** [cli/CMakeFiles/cirkit.dir/all] Error 2 CMakeFiles/Makefile2:244: recipe for target 'cli/CMakeFiles/cirkit.dir/rule' failed make[1]: *** [cli/CMakeFiles/cirkit.dir/rule] Error 2 Makefile:131: recipe for target 'cirkit' failed make: *** [cirkit] Error 2 keshengtao@keshengtao-Vostro-3668:~/cirkit/build$