0

这是我的 Makefile

CC = ocamlc
LIBES = str.cma
CFLAGS = -g -c
.PHONY : clean 
dpll:   
    -rm -f dpll
    $(CC) $(CFLAGS) dpll.ml 
    $(CC) -o dpll $(LIBES) dpll.cmo
    make clean
test:   
    ./dpll input.cnf
clean: 
    rm -f *.cmi *.cmo

我的 OCaml 文件是这样的（dpll 的一部分）。

let dpll_SAT  = 
  try 
    let cnf = read_cnf Sys.argv.(1) in
    let state = create_state [] cnf in
    let (result, ass) = dpll state in
    match result with 
|false -> print_string "the cnf clauses are not satisfiable\n"
|_-> print_string "The cnf clauses are satisfiable and a model is as follows:\n"; 
    print_assignment ass;;
with
|x ->   
  print_endline ("Backtrace: "^(Printexc.get_backtrace ()));
  raise x)

我收到以下错误：

 Backtrace: (Program not linked with -g, cannot print stack backtrace)

 Fatal error: exception Not_found
(Program not linked with -g, cannot print stack backtrace)

那么我该如何链接呢？

非常感谢

4

1 回答 1

8

也许使用-g错误消息建议的标志。

将-g标志添加到此行：$(CC) -o dpll $(LIBES) dpll.cmo

于 2013-08-01T12:04:33.187 回答