dedanddwb的博客

目标推荐做法项目中需要多个程序入口每个 main.go 放入独立目录（如 cmd/xxx/）测试函数中使用 main()保证整个模块中只有一个 func main()重复使用逻辑拆出到 internal/ 或 pkg/，用作库模块快速测试多个模块用一个 test.go 主控入口，调用不同功能函数非 main 包只能写辅助函数，不能包含 func main()

在 GoLand 中，api/tls.go 文件中引用了 api/type.go 中定义的结构体 Options，但 GoLand 把 Options 标红显示为未定义（undefined symbol），尽管程序实际可以正常编译和运行（go build / go run 都通过）。

easycrypt: https://github.com/EasyCrypt/easycrypt.git ,main分支ProofGeneral: https://github.com/ProofGeneral/PG.git， main分支Cvc4: https://github.com/CVC4/CVC4-archived.git 1.8分支Cvc5: https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8 1.0.8分支。

我有三个工具A，B，C，其中A，B是原先MakeFile编译的工具，C是原先GNU Auto tools自动编译的工具。对于最外层根目录的CMakeList，我们引入AB的目录，并引入C自由编译的插件。就能生成A， B，C的可执行文件，并安装到/usr/local/bin中。B目录下的CMakeList.txt同理。

到这里我反应过来应该是缺少了某个库导致一致无法识别宏，这里如果再次用m4_pattern_allow也能解决问题，但后续可能还会有其他宏，直接安装autoconf-archive可以直接解决宏无法识别的问题。这块如果有依赖库没有安装，会报杂七杂八的错，但不会告诉你是哪个依赖库少了。以上依赖库是我尝试我自己需要安装的，但是可能不全面，需要安装报错过程中自己排查。我到这里的时候，没有反应是依赖库缺失，选择了在autoconf脚本（也就是configure.ac）中添加。确认所有数据合法后，更新AIDE数据库。

如果没有启用可分离编译,CUDA 编译器在生成目标文件时,会将所有的 device 代码和 host 代码全部打包到一个目标文件中。在链接阶段,如果有某些 CUDA 内核的符号没有被正确解析,就会出现 undefined reference to 的错误。当启用可分离编译时，CUDA 编译器会为每个 CUDA 内核生成单独的目标文件。这些目标文件可以独立链接,提高编译和链接的效率。CUDA 程序通常需要链接 CUDA 运行时库,比如 cudart。如果没有正确设置这些依赖库,同样会导致链接错误。

CLion远程时发现会出现中文乱码，看网上有三种方法，结论先写在前面，第一种第二种方法对我无效，第三种亲测可行。