Don't hardcode package name in Makefile.dist

BrickBot · Jul 13, 2024 · 68115c9 · 68115c9
1 parent 00be718
commit 68115c9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -43,6 +43,7 @@ install::
 	test -d $(DESTDIR)$(pkgdatadir) || mkdir -p $(DESTDIR)$(pkgdatadir)
 	install -m 644 Makefile.user $(DESTDIR)$(pkgdatadir)
 	sed -e '/installation paths/a \
+	PACKAGE = $(PACKAGE)\
 	BINDIR = $(bindir)\
 	DATADIR = $(pkgdatadir)\
 	LIBDIR = $(pkglibdir)\

diff --git a/Makefile.dist b/Makefile.dist
@@ -4,10 +4,11 @@
 ###  bibo - another LEGO Mindstorms OS
 ### --------------------------------------------------------------------------
 
+# IMPORTANT: Do not modify the commented placeholder line below without also updating the "install" target in the main Makefile.
 # installation paths
 
-# name for the brickOS kernel
-KERNEL = $(DATADIR)/bibo
+# name for the kernel
+KERNEL = $(DATADIR)/$(PACKAGE)
 
 SOURCES?=helloworld.c