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
