Hi,

On 2025-05-22 16:03, Tianhao Wang wrote:
On Thu May 22, 2025 at 3:51 PM CEST, Marcus Hähnel wrote:
Packages that are outside the L4Re source tree are, by default, already
excluded from the Control file consistency check since the concept of
build order doesn't make much sense for packages that are built in
isolation. So that error should not happen there. What is the error you see? Did you set the L4DIR correctly (which is required for the package
to find the L4Re buildsystem)?

So in this case the Control file should not be needed right?

Here is the Makefile:

```
PKGDIR  ?= .
L4DIR   ?= /path/to/l4re-snapshot-25.03.0/src/l4

TARGET   = myfirstprogram
SRC_C    = main.c

include $(L4DIR)/mk/prog.mk
```

build commands and error

```
# in snapshot root:
make setup
make

# in /tmp/testpkg/
make O=PATH/TO/OBJ/L4

# error (same as before)
path/to/src/l4/mk/binary.inc:396: *** /tmp/testpkg/Makefile: 'stdlibs compiler-rt' in REQUIRES_LIBS in Makefile but not in Control file requires. Stop.

make: *** [/path/to/l4re-snapshot-25.03.0/src/l4/mk/binary.inc:195: /path/to/l4re-snapshot-25.03.0/obj/l4/x86/ext-pkg/tmp/testpkg/OBJ-x86_gen-std-l4f] Error 2
```

You are of course right. Sorry for not checking this more thoroughly. I missed that the change that excludes external packages from these checks only happened after that snapshot was created. Please apply the change from GitHub [0] to get rid of the pesky check. You can download it as patch through this URL [1]

Best regards,

- Marcus

[0] https://github.com/kernkonzept/mk/commit/6bde458254693a7216adac4c91f528ff60747d27 [1] https://github.com/kernkonzept/mk/commit/6bde458254693a7216adac4c91f528ff60747d27.patch



cheers
wth
_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to