Skip to content

Instantly share code, notes, and snippets.

@bwesterb
Created December 25, 2019 11:26
Show Gist options
  • Save bwesterb/32361eb82e15db8691d6bf880caf4da8 to your computer and use it in GitHub Desktop.
Save bwesterb/32361eb82e15db8691d6bf880caf4da8 to your computer and use it in GitHub Desktop.
prover9 make -j 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:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment