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

これはファズに関連する非常に具体的な質問である可能性があることを知っているので、助けてくれてありがとう. ファイルのリストは次のとおりです (zparse.c、zparse.h、absyn.h) https://github.com/Spivoxity/fuzz/tree/master/src

4

0 に答える 0