make dist: ensure libraries are built

2019-12-09 19:13:13 -08:00
parent 9578622abf
commit a26e157579
2 changed files with 12 additions and 5 deletions
--- a/7
+++ b/7
@@ -7,7 +7,7 @@ ifneq (, $(strip $(shell git status --porcelain 2>/dev/null)))
    AMSREV := $(AMSREV)-dirty
 endif

-COMPONENTS := fusee stratosphere exosphere thermosphere troposphere
+COMPONENTS := fusee stratosphere exosphere thermosphere troposphere libraries

 all: $(COMPONENTS)

@@ -17,7 +17,7 @@ thermosphere:
 exosphere: thermosphere
 	$(MAKE) -C exosphere all

-stratosphere: exosphere
+stratosphere: exosphere libraries
 	$(MAKE) -C stratosphere all

 troposphere: stratosphere
@@ -29,6 +29,9 @@ sept: exosphere
 fusee: exosphere stratosphere sept
 	$(MAKE) -C $@ all

+libraries:
+	$(MAKE) -C libraries all
+
 clean:
 	$(MAKE) -C fusee clean
 	rm -rf out