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. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
