Merge pull request #9 from mgudemann/feature/parallel_make

Allow for parallel make

src/Makefile

@@ -3,36 +3,36 @@ DPA_LOC = dpa
 VWN_LOC = vwn
 
 all:
-	make da
-	make re
-	make vw
+	$(MAKE) da
+	$(MAKE) re
+	$(MAKE) vw
 
 clean:
-	make dac
-	make rec
-	make vwc
+	$(MAKE) dac
+	$(MAKE) rec
+	$(MAKE) vwc
 	@echo Cleaning Complete
 
 re:
-	@cd $(REA_LOC); make
+	@cd $(REA_LOC); $(MAKE)
 	@echo
 	@echo %%% reach: Compilation Complete.
 
 da:
-	@cd $(DPA_LOC); make
+	@cd $(DPA_LOC); $(MAKE)
 	@echo
 	@echo %%% dpa: Compilation Complete.
 
 vw:
-	@cd $(VWN_LOC) ; make
+	@cd $(VWN_LOC) ; $(MAKE)
 	@echo
 	@echo %%% vwn: Compilation Complete.
-	
+
 rec:
-	@cd $(REA_LOC); make clean
+	@cd $(REA_LOC); $(MAKE) clean
 
 dac:
-	@cd $(DPA_LOC); make clean
+	@cd $(DPA_LOC); $(MAKE) clean
 
 vwc:
-	@cd $(VWN_LOC) ; make clean
+	@cd $(VWN_LOC) ; $(MAKE) clean

src/dpa/Makefile

@@ -2,7 +2,7 @@ include ../makefile.include
 
 ifeq ($(STATIC_DPA), 1)
   CXX += -static-libstdc++ -static-libgcc -static
-  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64 
+  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64
   LINK_FLAGS += $(STATIC_GMPXX) $(STATIC_GMP) -static -pthread -Wl,--whole-archive -lpthread -Wl,--no-whole-archive
 else
   LINK_FLAGS += -pthread -lgmpxx -lgmp -lrt -ldl
@@ -16,7 +16,7 @@ COMPILE.cc = $(CXX) $(DEPFLAGS) $(CFLAGS)
 POSTCOMPILE = mv -f $(DEPDIR)/$*.Td $(DEPDIR)/$*.d
 
 all:
-	make $(DPA_BIN)
+	$(MAKE) $(DPA_BIN)
 
 $(DPA_BIN):$(DPA_OBJS)
 	@mkdir -p $(@D)

src/reach/Makefile

@@ -4,7 +4,7 @@ CFLAGS += -Werror -Wreturn-type -Wunknown-pragmas -Wunused-value -Wunused-label
 
 ifeq ($(STATIC_REA), 1)
   CXX += -static-libstdc++ -static-libgcc -static
-  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64 
+  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64
   LINK_FLAGS += $(STATIC_GMPXX) $(STATIC_GMP) -pthread -Wl,--whole-archive -lpthread -Wl,--no-whole-archive
 else
   LINK_FLAGS += -pthread -lgmpxx -lgmp -lrt -ldl
@@ -52,7 +52,7 @@ COMPILE.cc = $(CXX) $(DEPFLAGS) $(CFLAGS) $(INCLUDE)
 POSTCOMPILE = mv -f $(DEPDIR)/$*.Td $(DEPDIR)/$*.d
 
 all:
-	make $(REACH_BIN)
+	$(MAKE) $(REACH_BIN)
 
 $(REACH_BIN):$(REACH_OBJS)
 	@mkdir -p $(@D)

src/vwn/Makefile

@@ -4,11 +4,11 @@ HEADERS = *.h *.hpp
 LINKTARGET = $(VWN_BIN)
 
 INCLUDE  = -I.
-LINKLIBS = 
+LINKLIBS =
 
 ifeq ($(STATIC_VWN), 1)
   CXX += -static-libstdc++ -static-libgcc -static
-  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64 
+  LINK_FLAGS += -L/usr/lib/x86_64-redhat-linux6E/lib64
   LINK_FLAGS += -static -pthread -Wl,--whole-archive -lpthread -Wl,--no-whole-archive
   LINKLIBS += $(STATIC_GMPXX) $(STATIC_GMP)
 else
@@ -39,7 +39,7 @@ COMPILE.cc = $(CXX) $(DEPFLAGS) $(CFLAGS) $(INCLUDE)
 POSTCOMPILE = mv -f $(DEPDIR)/$*.Td $(DEPDIR)/$*.d
 
 all:
-	make $(VWN_BIN)
+	$(MAKE) $(VWN_BIN)
 
 $(VWN_BIN):$(VWN_OBJS)
 	@mkdir -p $(@D)
@@ -54,7 +54,7 @@ clean:
 	rm -f *.o
 	rm -f $(VWN_BIN)
 	rm -rf .d/
-	
+
 $(DEPDIR)/%.d: ;
 .PRECIOUS: $(DEPDIR)/%.d