Re: [PATCH 1/3] build: Format build items

2023-01-18 Thread Sebastian Huber
On 18.01.23 22:58, Amar Takhar wrote: On 2023-01-17 08:39 +0100, Sebastian Huber wrote: The Python modules to work with specification items are in rtems-central.git. This repository contains also a format specification of the build items. We could add an action to a Github work flow to check t

Re: [PATCH 2/3] build: Replace variant patterns with a list

2023-01-18 Thread Sebastian Huber
On 19.01.23 01:17, Chris Johns wrote: Why has this been done? The enabled-by expressions used in patch 3 do not support regular expressions. I did not pick that up. Why was that regx functionality removed? Is it related to scripting and rtems-central? The enabled-by expressions supported by t

Build error microblaze

2023-01-18 Thread Sam Price
Getting the following build error when building microblaze, and wanted to see if anyone else has run into this issue. I think I'm supposed to be using master on lib bsd and not 6-freebsd-12. [1303/1988] Compiling freebsd/sys/netinet/libalias/alias_skinny.c ../../freebsd/sys/netinet/sctp_output.c:6

Re: [PATCH 2/3] build: Replace variant patterns with a list

2023-01-18 Thread Chris Johns
On 18/1/2023 6:00 pm, Sebastian Huber wrote: > On 18.01.23 04:59, Chris Johns wrote: >> Hi Sebastian, >> >> I had not got to this part of the patch set because the other was being >> discussed. I thought a patch set was considerd as a whole rather than having >> to >> deal with the extra complexit

Re: [PATCH 1/3] build: Format build items

2023-01-18 Thread Chris Johns
On 19/1/2023 8:58 am, Amar Takhar wrote: > On 2023-01-17 08:39 +0100, Sebastian Huber wrote: > >> >> The Python modules to work with specification items are in >> rtems-central.git. This repository contains also a format specification >> of the build items. We could add an action to a Github wor

Re: [PATCH 1/3] build: Format build items

2023-01-18 Thread Amar Takhar
On 2023-01-17 08:39 +0100, Sebastian Huber wrote: > > The Python modules to work with specification items are in > rtems-central.git. This repository contains also a format specification > of the build items. We could add an action to a Github work flow to > check the build item format for pul

Re: [PATCH 00/18] Adds Formal Verification Material

2023-01-18 Thread Sebastian Huber
Hello, I checked in an updated version of the patch set. You find the new files here: https://github.com/RTEMS/rtems-central/tree/master/formal There is some work in progress to make the test code generation from the model files a bit easier. Once this work is done we could try to add it to

Re: Typo in rtems-libbsd/rtems_waf/rtems.py?

2023-01-18 Thread Heinz Junkes
ok, my "real" problem is that i can't build rtems-libbsd for rtems 5 anymore: RTEMS_BSP=beatnik RTEMS_VERSION=5 RTEMS_ROOT=/home/rtems/MVME6100_5_LIBBSD_RUN/rtems/5 RTEMS_ARCH=powerpc-rtems5 rtems@rtems-dev:~/MVME6100_5_LIBBSD_INST$ git clone https://github.com/RTEMS/rtems-libbsd.git Cloning int