prover9 make -j patch

patch

diff --git a/apps.src/Makefile b/apps.src/Makefile
index 35558ca..b69c41f 100644
--- a/apps.src/Makefile
+++ b/apps.src/Makefile
@@ -24,7 +24,7 @@ clean:
 realclean:
        /bin/rm -f *.o $(PROGRAMS)
 
-install:
+install: apps
        /bin/mv $(PROGRAMS) ../bin
 
 tags:
diff --git a/mace4.src/Makefile b/mace4.src/Makefile
index 017eb4c..9d9ca0f 100644
--- a/mace4.src/Makefile
+++ b/mace4.src/Makefile
@@ -43,5 +43,5 @@ clean:
 realclean:
        /bin/rm -f *.o *.a mace4
 
-install:
+install: mace4
        /bin/mv mace4 ../bin
diff --git a/provers.src/Makefile b/provers.src/Makefile
index 78c2543..a4b9bb0 100644
--- a/provers.src/Makefile
+++ b/provers.src/Makefile
@@ -40,7 +40,7 @@ libmace libmace4:
        cd ../mace4.src && $(MAKE) libmace4
        $(MAKE) clean
 
-install:
+install: $(PROGRAMS)
        /bin/cp -p $(PROGRAMS) ../bin
 
 clean: