Hi,
Camkes had been working fine till now. Suddenly, it stopped working. I am running it on x86 system (i7 processor), ubuntu 16.04 on qemu.
I am running the following commands: mkdir build cd build ../init --plat pc99 --tut hello-camkes-2 --solution
Following error is generated: --------------------------------------------------------------------------------------------------------------------------------- Traceback (most recent call last): File "../init", line 76, in <module> sys.exit(main()) File "../init", line 62, in main result = common.init_build_directory(args.plat, args.tut, args.solution, os.getcwd()) File "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py", line 59, in init_build_directory result = sh.cmake(args + ['..'], _cwd = directory, _out=output) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/uTraceback (most recent call last): File "../init", line 76, in <module> sys.exit(main()) File "../init", line 62, in main result = common.init_build_directory(args.plat, args.tut, args.solution, os.getcwd()) File "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py", line 59, in init_build_directory result = sh.cmake(args + ['..'], _cwd = directory, _out=output) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 774, in __init__ self.wait() File "/usr/local/lib/python2.7/dist-packages/sh.py", line 792, in wait self.handle_command_exit_code(exit_code) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 815, in handle_command_exit_code raise exc sh.ErrorReturnCode_1:
RAN: /usr/local/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL=hello-camkes-2 -DBUILD_SOLUTIONS=TRUE ..
STDOUT: -- Configuring incomplete, errors occurred!
STDERR: CMake Error at /opt/cmake-3.11.0-Linux-x86_64/share/cmake-3.11/Modules/CMakeDetermineSystem.cmake:100 (message): Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program corresponding to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage ---------------------------------------------------------------------------------------------------------------------------------
Can you please suggest a possible way out?
Hi,
Can someone please suggest a possible solution.
On Jun 17, 2019, at 11:40, Amit Goyal amitgoyal@cse.iitb.ac.in wrote:
Hi,
Can someone please suggest a possible solution.
Based purely on guess work from the error message, maybe you don’t have Ninja installed? `sudo apt install ninja-build` on Debian-like Linux.
-- Thanks and Regards, Amit Goyal
On 2019-06-14 04:19, Amit Goyal wrote:
Hi,
Camkes had been working fine till now. Suddenly, it stopped working. I am running it on x86 system (i7 processor), ubuntu 16.04 on qemu.
I am running the following commands: mkdir build cd build ../init --plat pc99 --tut hello-camkes-2 --solution
Following error is generated:
Traceback (most recent call last): File "../init", line 76, in <module> sys.exit(main()) File "../init", line 62, in main result = common.init_build_directory(args.plat, args.tut, args.solution, os.getcwd()) File "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py", line 59, in init_build_directory result = sh.cmake(args + ['..'], _cwd = directory, _out=output) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/uTraceback (most recent call last): File "../init", line 76, in <module> sys.exit(main()) File "../init", line 62, in main result = common.init_build_directory(args.plat, args.tut, args.solution, os.getcwd()) File "/home/goyal/sel4/camkes-tutorials-manifest/projects/sel4-tutorials/common.py", line 59, in init_build_directory result = sh.cmake(args + ['..'], _cwd = directory, _out=output) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 1427, in __call__ return RunningCommand(cmd, call_args, stdin, stdout, stderr) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 774, in __init__ self.wait() File "/usr/local/lib/python2.7/dist-packages/sh.py", line 792, in wait self.handle_command_exit_code(exit_code) File "/usr/local/lib/python2.7/dist-packages/sh.py", line 815, in handle_command_exit_code raise exc sh.ErrorReturnCode_1:
RAN: /usr/local/bin/cmake -DCMAKE_TOOLCHAIN_FILE=../kernel/gcc.cmake -G Ninja -DTUT_BOARD=pc -DTUT_ARCH=x86_64 -DTUTORIAL=hello-camkes-2 -DBUILD_SOLUTIONS=TRUE ..
STDOUT: -- Configuring incomplete, errors occurred!
STDERR: CMake Error at /opt/cmake-3.11.0-Linux-x86_64/share/cmake-3.11/Modules/CMakeDetermineSystem.cmake:100 (message): Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program corresponding to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
Can you please suggest a possible way out?
-- Thanks and Regards, Amit Goyal
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hi Mathew,
Ninja is already installed. I removed and reinstalled it too but I am getting the same error. Do you have any other suggestions?
Is there a kernel folder in the directory above your build directory, adjacent to the init script that you are calling? Can you instead try running ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of the project. It will create a build directory for you.
Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program corresponding to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
Earlier I was facing similar issue. But solved by updating gcc 4.8 to gcc 7.4. $ sudo apt-get install --reinstall gcc
P.S. I am also a newbie in this seL4 thing.
On Thu, Jun 20, 2019 at 5:01 AM Mcleod, Kent (Data61, Kensington NSW) Kent.Mcleod@data61.csiro.au wrote:
Is there a kernel folder in the directory above your build directory, adjacent to the init script that you are calling? Can you instead try running ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of the project. It will create a build directory for you.
Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program corresponding to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need to select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hi All,
Somehow a file named CMakeCache.txt came into my top level directory. I removed that file and ran the init script. It is working fine now. Is this file created intentionally or is it some bug?
Hello Amit,
A CMakeCache.txt file can get accidentally created quite easily. I reproduced the issue by running "ccmake .." to pull up the interactive GUI in the top level directory instead of a build folder.
chrisguikema@ubuntu ~/seL4/camkes-vm $ ls camkes_README.md CMakeLists.txt init-build.sh kernel projects README.md test tools
CMake Error: The source directory "/home/chrisguikema/seL4/" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI.
chrisguikema@ubuntu ~/seL4/camkes-vm $ ls camkes_README.md CMakeFiles kernel README.md tools CMakeCache.txt CMakeLists.txt init-build.sh projects test
The easiest solution is to just delete the file. It shouldn't just appear, except by mistake.
-----Original Message----- From: Devel devel-bounces@sel4.systems On Behalf Of Amit Goyal Sent: Monday, June 24, 2019 3:05 PM To: Aditya Upadhyay aadit0402@gmail.com Cc: devel@sel4.systems Subject: Re: [seL4] CMake Error
CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
Hi All,
Somehow a file named CMakeCache.txt came into my top level directory. I removed that file and ran the init script. It is working fine now. Is this file created intentionally or is it some bug?
-- Thanks and Regards, Amit Goyal
On 2019-06-20 10:16, Aditya Upadhyay wrote:
Earlier I was facing similar issue. But solved by updating gcc 4.8 to gcc 7.4. $ sudo apt-get install --reinstall gcc
P.S. I am also a newbie in this seL4 thing.
On Thu, Jun 20, 2019 at 5:01 AM Mcleod, Kent (Data61, Kensington NSW) Kent.Mcleod@data61.csiro.au wrote:
Is there a kernel folder in the directory above your build directory, adjacent to the init script that you are calling? Can you instead try running ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of the project. It will create a build directory for you.
Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program
corresponding
to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need
to
select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
FWIW the CMake folk actually document this [0]. Having said that, it seems numerous CMake users find this behaviour surprising [1] and I can certainly attest to having tripped over it before.
[0]: https://gitlab.kitware.com/cmake/community/wikis/FAQ#i-run-an-out-of-source-... [1]: https://stackoverflow.com/questions/9680420/looking-for-a-cmake-clean-comman...
On Jun 24, 2019, at 12:14, Chris Guikema Chris.Guikema@dornerworks.com wrote:
Hello Amit,
A CMakeCache.txt file can get accidentally created quite easily. I reproduced the issue by running "ccmake .." to pull up the interactive GUI in the top level directory instead of a build folder.
chrisguikema@ubuntu ~/seL4/camkes-vm $ ls camkes_README.md CMakeLists.txt init-build.sh kernel projects README.md test tools
CMake Error: The source directory "/home/chrisguikema/seL4/" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI.
chrisguikema@ubuntu ~/seL4/camkes-vm $ ls camkes_README.md CMakeFiles kernel README.md tools CMakeCache.txt CMakeLists.txt init-build.sh projects test
The easiest solution is to just delete the file. It shouldn't just appear, except by mistake.
-----Original Message----- From: Devel devel-bounces@sel4.systems On Behalf Of Amit Goyal Sent: Monday, June 24, 2019 3:05 PM To: Aditya Upadhyay aadit0402@gmail.com Cc: devel@sel4.systems Subject: Re: [seL4] CMake Error
CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.
Hi All,
Somehow a file named CMakeCache.txt came into my top level directory. I removed that file and ran the init script. It is working fine now. Is this file created intentionally or is it some bug?
-- Thanks and Regards, Amit Goyal
On 2019-06-20 10:16, Aditya Upadhyay wrote:
Earlier I was facing similar issue. But solved by updating gcc 4.8 to gcc 7.4. $ sudo apt-get install --reinstall gcc
P.S. I am also a newbie in this seL4 thing.
On Thu, Jun 20, 2019 at 5:01 AM Mcleod, Kent (Data61, Kensington NSW) Kent.Mcleod@data61.csiro.au wrote:
Is there a kernel folder in the directory above your build directory, adjacent to the init script that you are calling? Can you instead try running ./init --plat pc99 --tut hello-camkes-2 --solution in the top directory of the project. It will create a build directory for you.
Could not find toolchain file: ../kernel/gcc.cmake Call Stack (most recent call first): CMakeLists.txt
CMake Error: CMake was unable to find a build program
corresponding
to "Ninja". CMAKE_MAKE_PROGRAM is not set. You probably need
to
select a different build tool. CMake Error: CMAKE_C_COMPILER not set, after EnableLanguage CMake Error: CMAKE_CXX_COMPILER not set, after EnableLanguage
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-
Aditya Upadhyay -
Amit Goyal -
Chris Guikema -
Matthew Fernandez -
Mcleod, Kent (Data61, Kensington NSW)