Re: [seL4] Compilation Error with version

8 Mar 2018


      Thank you so much Kent! It took me a while. I was trying to use -b 15844a5 but it does work.

Best Regards
-Daniel Wang
...
On Mar 7, 2018, at 10:11 PM,   wrote:
Hi Daniel,
To check out a particular version of default.xml you can pin it when you checkout via: 
repo init -u https://github.com/SEL4PROJ/camkes-arm-vm-manifest.git https://github.com/SEL4PROJ/camkes-arm-vm-manifest.git -b 15844a5f9ddd4a7b1a29144201e8a7431917efdb
Having initialised a repo this way, running repo sync will not update anything.
From: Devel  on behalf of Daniel Wang 
Sent: Thursday, March 8, 2018 3:53 PM
To: Danis, Adrian (Data61, Kensington NSW)
Cc: devel@sel4.systems
Subject: Re: [seL4] Compilation Error with version
I’m afraid that the new update in default.xml in camkes-arm-vm-manifest repository may cause the problem. I could not get the old commit back, the “repo sync” seems always do a git pull before fetching… Does anyone know how to make repo download based on old manifest.xml?
Best Regards
-Daniel Wang
...
On Mar 7, 2018, at 5:43 PM, Daniel Wang mailto:danielwang.ksu@gmail.com> wrote:
I saw something similar with Camkes-arm-vm-manifest repository after I sync. Will do more test make sure it is not a issue with configuration.
Best Regards
-Daniel Wang
...
On Mar 7, 2018, at 5:37 PM, mailto:Adrian.Danis@data61.csiro.au> mailto:Adrian.Danis@data61.csiro.au> wrote:
Hi Thad,
Can you please provide steps to reproduce this.
Adrian
On Thu 08-Mar-2018 4:01 AM, Thad Seeberger wrote:
...
Good day. I am getting hung up compiling the CAmkES compiles. I'm getting
following error which I believe is because the version.h.d does not exist.
Where is the version set?
thx
[camkes-accelerator] building...
-- Configuring done
-- Generating done
-- Build files have been written to:
/home/xxxx/seL4_camkes_x86_64/stage/x86/pc99/accelerator
ninja: error:
'/home/xxxx/seL4_camkes_x86_64/tools/camkes/tools/accelerator/DEPFILE',
needed by '.', missing and no known rule to make it
make: ***
[/home/xxxx/seL4_camkes_x86_64/stage/x86/pc99/accelerator/camkes-accelerator]
Error 1
ive traced it down I think to this block in the Cmakeadd_custom_command(
    OUTPUT ${CMAKE_CURRENT_BINARY_DIR}
    OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/include/version.h
    OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/version.h.d
    # Build a valid dependency file from the print-deps script, this is a
little awkward
    COMMAND echo "include/version.h: " >
"${CMAKE_CURRENT_BINARY_DIR}/version.h.d"
    COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/print-deps.py" >>
"${CMAKE_CURRENT_BINARY_DIR}/version.h.d"
    COMMAND sed -i "s/$$/\\/" "${CMAKE_CURRENT_BINARY_DIR}/version.h.d"
    COMMAND
    COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/mkversion.py"
...
"${CMAKE_CURRENT_BINARY_DIR}/include/version.h"
    DEPENDS mkversion.py
    DEPENDS print-deps.py
    DEPFILE ${CMAKE_CURRENT_BINARY_DIR}/version.h.d
    )
_______________________________________________
Devel mailing list
Devel@sel4.systems mailto:Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
Devel@sel4.systems mailto:Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel