default.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2018, Mokshasoft AB (mokshasoft.com)

     This software may be distributed and modified according to the terms of
     the BSD 2-Clause license. Note that NO WARRANTY is provided.
     See "LICENSE_BSD2.txt" for details.
-->
<manifest>

<!-- include all the common repositories -->
<include name="common.xml"/>

<remote
    name="mokshasoft"
    fetch="https://github.com/mokshasoft/"/>

<!-- include the idris-rts -->
<project
    name="idris-rts.git"
    path="projects/libidris-rts"
    revision="master"
    remote="mokshasoft">
    <linkfile
        src="rts/seL4/CMakeLists.txt"
        dest="projects/libidris-rts/CMakeLists.txt"/>
</project>

<!-- include the libsel4-idris-ffi -->
<project
    name="libsel4-idris-ffi.git"
    path="projects/libsel4-idris-ffi"
    revision="master"
    remote="mokshasoft">
    <linkfile
        src="cmake/top-level.cmake"
        dest="CMakeLists.txt"/>
</project>

<!-- include the Idris app -->
<project
    name="sel4-idris-apps.git"
    path="projects/sel4-idris-apps"
    revision="master"
    remote="mokshasoft"/>

</manifest>