Hi Chris, > Among tons of messages, I found this warning: > > Copied executables to > /home/chris/sel4_tutorials/fault-handlers_build/capDL-tool: > - parse-capDL > > Warning: Installation path > /home/chris/sel4_tutorials/fault-handlers_build/capDL-tool > not found on the PATH environment variable. > > I hope the warning won't stop me, although I'm curious why capDL > wants to > live in (and have a path to) a tutorial build directory rather > than some > common bin dirs like /usr/bin:/snap/bin or such...
The warning shouldn't stop you, and it's probably a legacy of some old design decision that we haven't gotten rid of yet. Off the top of my head, I think it makes sense for the capDL tool to live inside a build directory as there may changes that people want to test without having those changes be visible outside that particular project. Regards, Damon _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
