From df56b2d6a43aa4f19a5f0d5a41f62c867bb2aa2d Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Fri, 11 Aug 2017 08:16:20 -0400
Subject: [PATCH] trigger relink after package library build through updating
the time stamp on main.cpp
---
src/Makefile | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/Makefile b/src/Makefile
index 7dfc2c312a..3b67d2284f 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -339,17 +339,18 @@ no-%:
fi;
# download/build/install a package library
+# update the timestamp on main.cpp to trigger a relink with "make machine"
lib-%:
@if [ -e ../lib/$(LIBDIR)/Install.py ]; then \
echo "Installing lib $(@:lib-%=%)"; \
- cd ../lib/$(LIBDIR); $(PYTHON) Install.py $(args); \
+ ( cd ../lib/$(LIBDIR); $(PYTHON) Install.py $(args) ); \
elif [ -e ../lib/$(LIBUSERDIR)/Install.py ]; then \
echo "Installing lib $(@:lib-user-%=%)"; \
- cd ../lib/$(LIBUSERDIR); $(PYTHON) Install.py $(args); \
+ ( cd ../lib/$(LIBUSERDIR); $(PYTHON) Install.py $(args) ); \
else \
echo "Install script for lib $(@:lib-%=%) does not exist"; \
- fi;
+ fi; touch main.cpp
# status = list src files that differ from package files
# update = replace src files with newer package files
--
GitLab