|
@@ -15,7 +15,7 @@ XENOMAI_SITE = https://xenomai.org/downloads/xenomai/stable
|
|
|
XENOMAI_SOURCE = xenomai-$(XENOMAI_VERSION).tar.bz2
|
|
|
XENOMAI_LICENSE = GPLv2+ with exception (headers), LGPLv2.1+ (libraries), GPLv2+ (kernel), GFDLv1.2+ (docs), GPLv2 (ipipe patch, can driver)
|
|
|
# GFDL is not included but refers to gnu.org
|
|
|
-XENOMAI_LICENSE_FILES = debian/copyright include/COPYING src/skins/native/COPYING ksrc/nucleus/COPYING
|
|
|
+XENOMAI_LICENSE_FILES = debian/copyright include/COPYING lib/trank/COPYING kernel/cobalt/COPYING
|
|
|
|
|
|
XENOMAI_INSTALL_STAGING = YES
|
|
|
XENOMAI_INSTALL_TARGET_OPTS = DESTDIR=$(TARGET_DIR) install-user
|