I got an error log when I tried "make" in the manual directory.

I got this:

====> Generating doxygen-output/xml/group__GeneralSystemCalls.xml

====> Generating doxygen-output/xml/group__DebuggingSystemCalls.xml

====> Generating doxygen-output/xml/group__BenchmarkingSystemCalls.xml

====> Generating doxygen-output/xml/group__ObjectApiX86.xml

====> Generating doxygen-output/xml/group__ObjectApiArm.xml

====> Generating doxygen-output/xml/group__ObjectApiAarch32.xml

====> Generating doxygen-output/xml/group__ObjectApiAarch64.xml

====> Generating doxygen-output/xml/group__ObjectApiIa32.xml

====> Generating doxygen-output/xml/group__ObjectApiX64.xml

====> Generating generated/GeneralSystemCalls.tex

Traceback (most recent call last):

  File "tools/parse_doxygen_xml.py", line 327, in <module>

    sys.exit(main())

  File "tools/parse_doxygen_xml.py", line 321, in main

    output_str = generate_general_syscall_doc(args.input, args.level)

  File "tools/parse_doxygen_xml.py", line 276, in generate_general_syscall_doc

    details, params, ret = parse_detailed_desc(member, ref_dict)

  File "tools/parse_doxygen_xml.py", line 157, in parse_detailed_desc

    ret_type = types_iter.next()

AttributeError: 'list_iterator' object has no attribute 'next'

make: *** [Makefile:126: generated/GeneralSystemCalls.tex] Error 1

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel