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....@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.py > > Ihor > > -- > Dr. Ihor Kuz > Senior Research Engineer | Trustworthy Systems > > DATA61 | CSIRO > E ihor....@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.dela...@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. >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
