Hi Amit,
For your first error, installing the pip package enum34 may fix your error which appears to be due to an incompatible Enum library being imported (https://stackoverflow.com/a/1695250)
For your second error, if you change into the directory projects/capdl/capDL-tool and run "make" does the parse-capDL rule complete successfully? If this is the case then calling ninja again in the build directory should allow your build to continue.
Kind regards,
Kent.
________________________________________
From: Devel on behalf of Amit Goyal
Sent: Monday, October 29, 2018 6:17 AM
To: devel@sel4.systems
Subject: [seL4] Camkes x86 VM Build Error
Hi,
I am using Ubuntu 16.04 on 64 Bit, i7 machine and running the CAmkES
x86 VM instructions available at:
https://docs.sel4.systems/CAmkESVM
After running:
../init-build.sh -DCAMKES_VM_APP=minimal
I am getting the following error:
--------------------------------------------------------------------------------------------------------------------------------
camkes-gen.cmake is out of date. Regenerating...
CMake Error at tools/camkes/camkes.cmake:593 (message):
Failed to generate camkes-gen.cmake: Traceback (most recent call
last):
File "/usr/lib/python2.7/runpy.py", line 174, in
_run_module_as_main
"__main__", fname, loader, pkg_name)
File "/usr/lib/python2.7/runpy.py", line 72, in _run_code
exec code in run_globals
File
"/home/goyal/sel4/camkes_vm/tools/camkes/camkes/runner/__main__.py",
line 678, in <module>
sys.exit(main(sys.argv, sys.stdout, sys.stderr))
File
"/home/goyal/sel4/camkes_vm/tools/camkes/camkes/runner/__main__.py",
line 515, in main
instantiate_misc_templates(renderoptions)
File
"/home/goyal/sel4/camkes_vm/tools/camkes/camkes/runner/__main__.py",
line 509, in instantiate_misc_templates
outfile_name=outfile.name, imported=read, options=renderoptions)
File
"/home/goyal/sel4/camkes_vm/tools/camkes/camkes/runner/Renderer.py",
line 109, in render
self.templates, **kwargs)
File
"/home/goyal/sel4/camkes_vm/tools/camkes/camkes/runner/Context.py", line
261, in new_context
}.items()) + list(kwargs.items()))
AttributeError: type object 'ObjectType' has no attribute
'__members__'
Call Stack (most recent call first):
CMakeLists.txt:35 (GenerateCAmkESRootserver)
-- Configuring incomplete, errors occurred!
See also
"/home/goyal/sel4/camkes_vm/build_vm/CMakeFiles/CMakeOutput.log".
-------------------------------------------------------------------------------------------------------------------------------
I also tried to run the same instructions on a different machine
(Ubuntu 16.04, 64 Bit, i5 machine) on which ../init-build.sh
-DCAMKES_VM_APP=minimal is run successfully.
It gets stuck on running ninja.
I am getting the following error:
--------------------------------------------------------------------------------------------------------------------------------
ghc-8.0.2: 106.97 MiB / 107.55 MiB ( 99.47%) downloaded...
ghc-8.0.2: 107.24 MiB / 107.55 MiB ( 99.71%) downloaded...
ghc-8.0.2: 107.50 MiB / 107.55 MiB ( 99.96%) downloaded...
ghc-8.0.2: 107.55 MiB / 107.55 MiB (100.00%) downloaded...
/home/akshat/.stack/programs/x86_64-linux/ghc-8.0.2.tar.xz.tmp:
renameFile:renamePath:rename: does not exist (No such file or directory)
Makefile:45: recipe for target 'parse-capDL' failed
make: *** [parse-capDL] Error 1
ninja: build stopped: subcommand failed.
--------------------------------------------------------------------------------------------------------------------------------
Can someone suggest a way out for both the problems.
--
Thanks and Regards,
Amit Goyal
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
