changeset 81:377ea81b4ecf

make: fix installation
author David Demelier <markand@malikania.fr>
date Tue, 28 Feb 2023 16:21:23 +0100
parents 71cd8447e3a4
children 44713c475974
files GNUmakefile
diffstat 1 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/GNUmakefile	Wed Feb 01 13:14:46 2023 +0100
+++ b/GNUmakefile	Tue Feb 28 16:21:23 2023 +0100
@@ -202,7 +202,15 @@
 
 install:
 	mkdir -p $(DESTDIR)$(BINDIR)
-	cp scid/scid sciworkerd/sciworkerd $(DESTDIR)$(BINDIR)
+ifeq ($(WITH_SCID),yes)
+	cp scid/scid $(DESTDIR)$(BINDIR)
+endif
+ifeq ($(WITH_SCICTL),yes)
+	cp scictl/scictl $(DESTDIR)$(BINDIR)
+endif
+ifeq ($(WITH_SCIWORKERD),yes)
+	cp sciworkerd/sciworkerd $(DESTDIR)$(BINDIR)
+endif
 	mkdir -p $(DESTDIR)$(MANDIR)/man7
 	for m in $(MAN7); do \
 		sed $(SUBST) < man/$$m > $(DESTDIR)$(MANDIR)/man7/$$m; \