Dear all,
First of all, sorry if this question has been asked several times already. I am currently trying to use sel4 & camkes on a debian stable. I installed all the dependencies but I am facing an error message when trying to build the tool (see below). My version of cabal is 1.20, so, version should not be an issue.
After searching, it seemed that the version of ghc might be the root cause so I upgraded to testing and/or unstable but faced other issues then.
My question is then what is the best development environment to use sel4 and camkes? Any special recommendation? I would like to keep my existing debian/stable as much as possible.
Thanks for any help or suggestion,
Julien.
[parse-capDL] building... export CONFIG_CAPDL_LOADER_MAX_IRQS=256 && cabal configure && cabal build && cp dist/build/parse-capDL/parse-capDL . Resolving dependencies... cabal: The package 'capDL-tool' requires Cabal library version -any &&
=1.18
but no suitable version is installed. Makefile:45: recipe for target 'parse-capDL' failed make[1]: *** [parse-capDL] Error 1 Makefile:49: recipe for target '/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL' failed make: *** [/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL] Error 2
Hi Julien,
It looks like that the build system is still using an older version of cabal/ghc. Try to run the following commands to check which version you're using, $ cabal --version $ ghc --version
The CapDL tool requires cabal >= 1.18 and ghc >= 7.8.4 [1]. Unfortunately, they don't exist in Debain jessie(stable). You'll need to upgrade to stretch(testing) or sid(unstable). Otherwise, you'll have to install haskell manually.
As far as I know, there is no "best" and/or "recommended" development environment for seL4, although a lot of people in the group use Debian sid(unstable). You can find instructions for installing toolchains and prerequisites at [2] and [3].
- Siwei
[1]: $(camkes-root)/tools/capDL/capDL-tool.cabal [2]: http://sel4.systems/Info/GettingStarted/ [3]: http://sel4.systems/Info/GettingStarted/DebianToolChain.pml
On Tue, Dec 22, 2015 at 07:18:26AM -0500, Julien Delange wrote: #Dear all, # #First of all, sorry if this question has been asked several times already. I #am currently trying to use sel4 & camkes on a debian stable. I installed all #the dependencies but I am facing an error message when trying to build the tool #(see below). My version of cabal is 1.20, so, version should not be an issue. # #After searching, it seemed that the version of ghc might be the root cause so I #upgraded to testing and/or unstable but faced other issues then. # #My question is then what is the best development environment to use sel4 and #camkes? Any special recommendation? I would like to keep my existing debian/ #stable as much as possible. # #Thanks for any help or suggestion, # #Julien. # # #[parse-capDL] building... # export CONFIG_CAPDL_LOADER_MAX_IRQS=256 && cabal configure && cabal build && #cp dist/build/parse-capDL/parse-capDL . # Resolving dependencies... # cabal: The package 'capDL-tool' requires Cabal library version -any && >=1.18 # but no suitable version is installed. # Makefile:45: recipe for target 'parse-capDL' failed # make[1]: *** [parse-capDL] Error 1 #Makefile:49: recipe for target '/home/julien/tmp/camkes/stage/arm/imx31/ #parse-capDL/parse-capDL' failed #make: *** [/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL] #Error 2 #
#_______________________________________________ #Devel mailing list #Devel@sel4.systems #https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
With regards to the "best development environment”, personally I try to avoid installing the prerequisites into an existing working installation of Linux - every time I try I get dependency and version conflicts.
Instead I just make a dedicated virtual machine and install the dependencies in that - this avoids having to deal with multiple versions of tools for different projects, etc.
Of course not everyone likes working in a VM, so many people do install the prereqs natively, and it is possible. But it’s not for the faint of heart since you will inevitably have to deal with conflicts with tools already installed.
Another option is to look at using containers (like Docker) as a lighter weight option than a full VM.
In any case, for me, in a fresh Lubuntu 15.04 installation in VirtualBox, following the instructions on
https://github.com/seL4-projects/sel4-tutorials/blob/master/Prerequisites.md
gives a working set of tools to build and run the latest seL4/CAmkES.
Note, CAmkES also provides a dependency checker tool. Try running:
tools/camkes/tools/check_deps.py
Ihor
-- Dr. Ihor Kuz Senior Research Engineer | Trustworthy Systems
DATA61 | CSIRO E ihor.kuz@nicta.com.au T + 61 2 8306 0582 Locked Bag 6016, UNSW, Sydney NSW 1466, Australia www.data61.csiro.au
CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
On 22 Dec 2015, at 11:18 pm, Julien Delange julien.delange@gmail.com wrote:
Dear all,
First of all, sorry if this question has been asked several times already. I am currently trying to use sel4 & camkes on a debian stable. I installed all the dependencies but I am facing an error message when trying to build the tool (see below). My version of cabal is 1.20, so, version should not be an issue.
After searching, it seemed that the version of ghc might be the root cause so I upgraded to testing and/or unstable but faced other issues then.
My question is then what is the best development environment to use sel4 and camkes? Any special recommendation? I would like to keep my existing debian/stable as much as possible.
Thanks for any help or suggestion,
Julien.
[parse-capDL] building... export CONFIG_CAPDL_LOADER_MAX_IRQS=256 && cabal configure && cabal build && cp dist/build/parse-capDL/parse-capDL . Resolving dependencies... cabal: The package 'capDL-tool' requires Cabal library version -any && >=1.18 but no suitable version is installed. Makefile:45: recipe for target 'parse-capDL' failed make[1]: *** [parse-capDL] Error 1 Makefile:49: recipe for target '/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL' failed make: *** [/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL] Error 2
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Thanks you all. In fact, this is ghc >= 7.8.4 that I am missing. Will try to update to testing then.
Thanks and happy Christmas!
On Tue, Dec 22, 2015 at 7:59 PM, Ihor Kuz ihor.kuz@nicta.com.au wrote:
With regards to the "best development environment”, personally I try to avoid installing the prerequisites into an existing working installation of Linux - every time I try I get dependency and version conflicts.
Instead I just make a dedicated virtual machine and install the dependencies in that - this avoids having to deal with multiple versions of tools for different projects, etc.
Of course not everyone likes working in a VM, so many people do install the prereqs natively, and it is possible. But it’s not for the faint of heart since you will inevitably have to deal with conflicts with tools already installed.
Another option is to look at using containers (like Docker) as a lighter weight option than a full VM.
In any case, for me, in a fresh Lubuntu 15.04 installation in VirtualBox, following the instructions on
https://github.com/seL4-projects/sel4-tutorials/blob/master/Prerequisites.md
gives a working set of tools to build and run the latest seL4/CAmkES.
Note, CAmkES also provides a dependency checker tool. Try running:
tools/camkes/tools/check_deps.pyIhor
-- Dr. Ihor Kuz Senior Research Engineer | Trustworthy Systems
DATA61 | CSIRO E ihor.kuz@nicta.com.au T + 61 2 8306 0582 Locked Bag 6016, UNSW, Sydney NSW 1466, Australia www.data61.csiro.au
CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
On 22 Dec 2015, at 11:18 pm, Julien Delange julien.delange@gmail.com
wrote:
Dear all,
First of all, sorry if this question has been asked several times
already. I am currently trying to use sel4 & camkes on a debian stable. I installed all the dependencies but I am facing an error message when trying to build the tool (see below). My version of cabal is 1.20, so, version should not be an issue.
After searching, it seemed that the version of ghc might be the root
cause so I upgraded to testing and/or unstable but faced other issues then.
My question is then what is the best development environment to use sel4
and camkes? Any special recommendation? I would like to keep my existing debian/stable as much as possible.
Thanks for any help or suggestion,
Julien.
[parse-capDL] building... export CONFIG_CAPDL_LOADER_MAX_IRQS=256 && cabal configure && cabal
build && cp dist/build/parse-capDL/parse-capDL .
Resolving dependencies... cabal: The package 'capDL-tool' requires Cabal library version -any && =1.18 but no suitable version is installed. Makefile:45: recipe for target 'parse-capDL' failed make[1]: *** [parse-capDL] Error 1 Makefile:49: recipe for target
'/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL' failed
make: ***
[/home/julien/tmp/camkes/stage/arm/imx31/parse-capDL/parse-capDL] Error 2
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-
Ihor Kuz -
Julien Delange -
Siwei Zhuang