Hi Raymond,

Can you please say what commit of the seL4 repository you are using.

Adrian

On Wed 13-Sep-2017 2:48 PM, Raymond Jennings wrote:
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