Muen Make Error

[Habeeb P]

Hi,
I am trying to build muen. While doing make, it shows following errors;

Sep 03 2017 10:00:47 mucfgmerge: Merge failed, aborting
Sep 03 2017 10:00:47 mucfgmerge: XML validation error - /home/habeeb/muen15/muen/policy/../policy/obj/demo_system.xml:16:94: Unexpected element "memory": expecting "ioPort|close parent|reservedMemory|capabilities"
make[1]: *** [/home/habeeb/muen15/muen/policy/../policy/obj/demo_system.xml] Error 1
make[1]: Leaving directory `/home/habeeb/muen15/muen/policy'
make: *** [policy] Error 2


Please Help Me.

Thank You
HABEEB P

[Reto Buerki]

Hi,

On 09/03/2017 07:06 AM, Habeeb P wrote:
> I am trying to build muen. While doing *make*, it shows following errors;

>
> Sep 03 2017 10:00:47 mucfgmerge: Merge failed, aborting
> Sep 03 2017 10:00:47 mucfgmerge: XML validation error -
> /home/habeeb/muen15/muen/policy/../policy/obj/demo_system.xml:16:94:
> Unexpected element "memory": expecting "ioPort|close
> parent|reservedMemory|capabilities"
> make[1]: ***
> [/home/habeeb/muen15/muen/policy/../policy/obj/demo_system.xml] Error 1
> make[1]: Leaving directory `/home/habeeb/muen15/muen/policy'
> make: *** [policy] Error 2

Can you please post line 16 in muen/policy/../policy/obj/demo_system.xml
and some context lines so we can see how the problematic XML looks like?

Also, is this the stock demo system policy?

Kind regards,
- reto

[Habeeb P]

Attached the policy XML file.
This file is part of Muen demo system.


Thank You
HABEEB P

[Reto Buerki]

On 09/04/2017 12:56 PM, Habeeb P wrote:
>
> Attached the policy XML file.
> This file is part of Muen demo system.

Thanks. The problem is the ordering of XML device elements in our
example system. Older versions of XML/Ada did not enforce correct
ordering, newer ones do and correctly complain.

This has been fixed in the master branch (see [1]) one year ago.

Kind regards,
- reto

[1] -
https://git.codelabs.ch/?p=muen.git;a=commit;h=500bab91885e208b6d001ce4113baf19444f1a2f