Hi Ihor,

Thanks for the response. I did check the .config file and make menuconfig
option. Both of them say the following:
CONFIG_CAMKES_IMPORT_PATH="${PWD}/projects/vm/components
${PWD}/projects/vm/interfaces".

The vm.camkes file that is being searched for is located in
$(PWD)/projects/vm/components/VM/vm.camkes.

I don't see anything wrong with the current set up. Do you think there is
an error here?

Thanks,
Bryan


On Mon, Nov 23, 2015 at 9:06 PM, Ihor Kuz <[email protected]> wrote:

> HI Bryan,
>
> The vmware configuration has not been kept up-to-date and so has
> bitrotted. It is not expected to work.
>
> With regards your error message, the relevant message is actually not “...
> camkes-gen.mk: No such file or directory”  - this is just CAmkES
> realising that it has to create that file.  It’s later on when it tries to
> creat the camkes-gen.mk file that it runs into trouble with "While
> transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4: unresolved
> reference to VM”. It looks like it can’t find the VM component.  This is
> typically because of some misconfiguration in the .config file, look at:
> CONFIG_CAMKES_IMPORT_PATH or with make menuconfig: "CAmkES Options" ->
> "Search path for components and interfaces"
>
> Ihor
>
> > On 21 Nov 2015, at 12:15 pm, Bryan Ching <[email protected]>
> wrote:
> >
> > Hi,
> >
> > I was trying to configure the CAmkES-vm to run the vmware configuration.
> However, I get the following error.
> >
> > [apps/vm] building...
> > /home/bryan/camkes-vm/tools/camkes/camkes.mk:125:
> /home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk: No such file or
> directory
> >  [GEN] camkes-gen.mk
> > While transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4:
> unresolved reference to VM
> > make[1]: *** [/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk]
> Error 255
> > make[1]: *** Deleting file `/home/bryan/camkes-vm/build/x86/pc99/vm/
> camkes-gen.mk'
> > make: *** [vm] Error 2
> >
> > I have seen this error before. This time, I used the "make menuconfig"
> command. I go to Applications --> VMM Main Application --> Configuration. I
> type in "vmware" to try and configure it. When I am back on the command
> line, I type "make vmware_defconfig" and then "make silentoldconfig" and
> finally "make". Where is the camkes-gen.mk file supposed to be located?
> >
> > Thanks,
> > Bryan
> > _______________________________________________
> > Devel mailing list
> > [email protected]
> > https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to