0

我正在 Ubuntu 20.04 https://spivey.oriel.ox.ac.uk/corner/Fuzz_typechecker_for_Z中安装“Fuzz typechecker Z”

但是，当我这样做时，make会出现以下错误。知道我应该从哪里开始吗？

make -C src all
make[1]: Entering directory '/home/evochecker/Downloads/fuzz/src'
gcc  -Wall -c -DDEBUG -DANSI -DASSUME zparse.c
In file included from zparse.y:88:
absyn.h:4:1: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘x_slot’
absyn.h:51: warning: "x_params" redefined
absyn.h:19: note: this is the location of the previous definition
absyn.h:76: warning: "x_arg" redefined
absyn.h:64: note: this is the location of the previous definition
zparse.y: In function ‘sexp_fix’:
zparse.y:721:14: error: expected identifier before ‘=’ token
  721 |    a->x_body = sexp_fix(a->x_body);
      |              ^
zparse.y:728:19: error: expected identifier before ‘;’ token
  728 |    return a->x_arg;
      |                   ^
zparse.y:732:13: error: expected identifier before ‘=’ token
  732 |    a->x_arg = sexp_fix(a->x_arg);
      |             ^
zparse.y:739:14: error: expected identifier before ‘=’ token
  739 |    a->x_arg2 = sexp_fix(a->x_arg2);
      |              ^
zparse.y: In function ‘pred_fix’:
zparse.y:760:14: error: expected identifier before ‘=’ token
  760 |    a->x_body = pred_fix(a->x_body);
      |              ^
zparse.y:766:14: error: expected identifier before ‘=’ token
  766 |    a->x_body = pred_fix(a->x_body);
      |              ^
zparse.y:778:16: error: expected identifier before ‘->’ token
  778 |    if (a->x_arg->x_kind == SEXPR)
      |                ^~
zparse.y:779:18: error: expected identifier before ‘=’ token
  779 |         a->x_arg = a->x_arg->x_arg;
      |                  ^
zparse.y:781:16: error: expected identifier before ‘->’ token
  781 |    if (a->x_arg->x_kind != SREF) {
      |                ^~
zparse.y:791:13: error: expected identifier before ‘=’ token
  791 |    a->x_arg = pred_fix(a->x_arg);
      |             ^
zparse.y:796:14: error: expected identifier before ‘=’ token
  796 |    a->x_arg2 = pred_fix(a->x_arg2);
      |              ^
make[1]: *** [Makefile:75: zparse.o] Error 1
make[1]: Leaving directory '/home/evochecker/Downloads/fuzz/src'
make: *** [Makefile:55: src] Error 2

我知道这可能是一个与 Fuzz 相关的非常具体的问题，因此感谢您的帮助。以下是文件列表（zparse.c、zparse.h、absyn.h） https://github.com/Spivoxity/fuzz/tree/master/src

4

0 回答 0