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 <ihor.kuz(a)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"
Ihor
On 21 Nov 2015, at 12:15 pm, Bryan Ching
<bryanching7373(a)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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel