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?


On Mon, Nov 23, 2015 at 9:06 PM, Ihor Kuz <ihor.kuz@nicta.com.au> 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"


> On 21 Nov 2015, at 12:15 pm, Bryan Ching <bryanching7373@gmail.com> 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
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel