Hi Raymond,
The issue occurs because some python scripts used to generate the manual were only python2 compatible. I've fixed this internally so that in the future the manual can be built using python3 or python2.
In the meantime, you can force the manual to be build using python2 with the following:
PYTHON=python2 make
Or alternatively, you can see the built version of the 7.0.0 manual here http://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf?
Kind regards,
Kent McLeod
________________________________
From: Devel on behalf of Raymond Jennings
Sent: Sunday, September 17, 2017 9:46 PM
To: Danis, Adrian (Data61, Kensington NSW)
Cc: devel
Subject: Re: [seL4] Problem making the manual
09ba9fc887491770af303909d4a08ac7718cf86e
On Wed, Sep 13, 2017 at 7:28 PM, mailto:Adrian.Danis@data61.csiro.au> wrote:
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.systemsmailto:Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
