Grant,
> First, is there a way to add a dependency to a CAmkES component?
> Normally I would use the CMake function `add_dependencies`, but
> this requires a target name, and I don't believe that the
> `DeclareCAmkESComponent` function exposes any such target name.
> If the function deliberately obscures the target name, perhaps
> a `DEPENDENCIES` argument could be added to the function?
The target name for a CAmkES component target name is
`CAmkESComponent_${name}`, so you should be able to add
dependencies using this.
Adding a `DEPENDENCY` in the parameters seems doable. I have created
https://github.com/seL4/seL4_tools/issues/101 for this. Can you add a
comment there that descibes your use case?
> Second, does the `INCLUDES` argument to `DeclareCAmkESComponent`
> ignore / filter out certain include paths? My compilation was
> failing because it could not find the proper headers packaged
> with my compiler. Even if I added the path explicitly by passing
> it to the `INCLUDES` argument, it was seemingly ignored. It
> wasn't until I copied the headers to a new directory, and
> explicitly passed that directory to `INCLUDES` that my
> compilation succeeded. Any ideas what's going on here?
`INCLUDES` are processed via `get_absolute_list_source_or_binary()`,
maybe this causes a problem. You can add some debug messages to
CMake with `message("hello world")` that might helps debugging this?
Is your project avaialble somewhere to see the CMake code?
Axel
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
