代码之家 › 专栏 › 技术社区 › Bartek Wójcik

带Emacs和f的gdb*

fstar-mode fstar gdb emacs

Bartek Wójcik · 技术社区 · 6 年前

我想使用emacs fstar模式和gdb调试简单的f*程序。在fstar模式的wiki的最末端 https://github.com/FStarLang/fstar-mode.el 信息:

The fstar-gdb command (M-x) attaches GDB to the current F* process and launches Emacs' GDB-mi interface

没有进一步的解释。

在Emacs中(假设我正在编辑test.fst文件),我调用 fstar-gdb 命令并继续 gdb 我尝试使用命令的控制台 file Test 和 run . 不过,它们工作正常 break 3 (或任何其他行)说在 main.c (显然)。

如何使用 GDB 用f*?

1 回复 | 直到 6 年前

Clément 6 年前

fstar gdb命令用于调试f*编译器本身,而不是用f*编译的程序。

对于F*项目,最好的可能是:

如果使用字节编译器,则使用ocamldebug
OCAML程序的gdb调试的常规过程(参见 https://ocaml.org/meetings/ocaml/2012/slides/oud2012-paper5-slides.pdf ;这是因为大多数f*程序在编译之前都被提取到ocaml中)。
如果使用的是low*,调试C程序gdb调试的常规过程。

推荐文章

Rorschach · 如何在emacs 27、ubuntu 18上启动EmacClient

7 年前

ptb · Slime\Emacs comint在启动mpi进程时挂起

7 年前

Jiacai Liu · 在emacs(elisp)中解析unix时间戳

7 年前

Hatshepsut · 使用命令行参数使用region调用子流程

7 年前

Daniel Vartanov · 将密钥设置为不执行任何操作的最佳方法

7 年前

Louis Leung · 无法在emacs中选择文本/制作标记批注pdf工具

7 年前

Meitham · spacemacs恢复文件筛选器

7 年前

Chen Li · 与emacs相比,EmacClient有哪些缺点?

7 年前

Don Wakefield · 在Emacs中打开Qt Creator缓冲区

7 年前

Itsbananas · 汇编代码的自定义缩进函数

7 年前