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..
12 lines
314 B
Plaintext
12 lines
314 B
Plaintext
$OpenBSD: patch-provers_src_Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
|
|
--- provers.src/Makefile.orig Mon Jan 17 23:11:16 2011
|
|
+++ provers.src/Makefile Mon Jan 17 23:11:20 2011
|
|
@@ -1,6 +1,6 @@
|
|
# LADR/prover9.src
|
|
|
|
-CC = gcc
|
|
+CC ?= gcc
|
|
|
|
# XFLAGS can be specified on the command line (see XFLAGS below)
|
|
|