Re: [kvm-unit-tests PATCH 0/3] Add support for external tests and litmus7 documentation

[Nikos Nikoleris <nikos.nikoleris@arm.com>]

On 14/04/2021 09:42, Andrew Jones wrote:
> On Tue, Apr 13, 2021 at 05:52:37PM +0100, Nikos Nikoleris wrote:
>> On 24/03/2021 17:13, Nikos Nikoleris wrote:
>>> This set of patches makes small changes to the build system to allow
>>> easy integration of tests not included in the repository. To this end,
>>> it adds a parameter to the configuration script `--ext-dir=DIR` which
>>> will instruct the build system to include the Makefile in
>>> DIR/Makefile. The external Makefile can then add extra tests,
>>> link object files and modify/extend flags.
>>>
>>> In addition, to demonstrate how we can use this functionality, a
>>> README file explains how to use litmus7 to generate the C code for
>>> litmus tests and link with kvm-unit-tests to produce flat files.
>>>
>>> Note that currently, litmus7 produces its own independent Makefile as
>>> an intermediate step. Once this set of changes is committed, litmus7
>>> will be modifed to make use hook to specify external tests and
>>> leverage the build system to build the external tests
>>> (https://github.com/relokin/herdtools7/commit/8f23eb39d25931c2c34f4effa096df58547a3bb4).
>>>
>>
>> Just wanted to add that if anyone's interested in trying out this series
>> with litmus7 I am very happy to help. Any feedback on this series or the way
>> we use kvm-unit-tests would be very welcome!
> 
> Hi Nikos,
> 
> It's on my TODO to play with this. I just haven't had a chance yet. I'm
> particularly slow right now because I'm in the process of handling a
> switch of my email server from one type to another, requiring rewrites
> of filters, new mail synchronization methods, and, in general, lots of
> pain... Hopefully by the end of this week all will be done. Then, I can
> start ignoring emails on purpose again, instead of due to the fact that
> I can't find them :-)
> 

No problem at all. If you run into problems with litmus7 please let me know!

Thanks,

Nikos

> Thanks,
> drew
> 
>>
>> Thanks,
>>
>> Nikos
>>
>>> Nikos Nikoleris (3):
>>>     arm/arm64: Avoid wildcard in the arm_clean recipe of the Makefile
>>>     arm/arm64: Add a way to specify an external directory with tests
>>>     README: Add a guide of how to run tests with litmus7
>>>
>>>    configure           |   7 +++
>>>    arm/Makefile.common |  11 +++-
>>>    README.litmus7.md   | 125 ++++++++++++++++++++++++++++++++++++++++++++
>>>    3 files changed, 141 insertions(+), 2 deletions(-)
>>>    create mode 100644 README.litmus7.md
>>>
>>
>