2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
13 lines
392 B
Plaintext
13 lines
392 B
Plaintext
$OpenBSD: patch-Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
|
|
--- Makefile.orig Mon Jan 17 23:08:19 2011
|
|
+++ Makefile Mon Jan 17 23:08:49 2011
|
|
@@ -6,7 +6,7 @@ all:
|
|
cd mace4.src && $(MAKE) all
|
|
cd provers.src && $(MAKE) all
|
|
cd apps.src && $(MAKE) all
|
|
- /bin/cp -p utilities/* bin
|
|
+ #/bin/cp -p utilities/* bin
|
|
@echo ""
|
|
@echo "**** Now try 'make test1'. ****"
|
|
@echo ""
|