From a008fb78987a4675d12f5934f3d51bbd84c3f653 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:02:31 +0000
Subject: STP: Switch build to using LLVM style Makefiles.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100395 91177308-0d34-0410-b5e6-96231b3b80d8
---
 stp/sat/Makefile | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'stp/sat/Makefile')

diff --git a/stp/sat/Makefile b/stp/sat/Makefile
index 8298e05a..074cb8af 100644
--- a/stp/sat/Makefile
+++ b/stp/sat/Makefile
@@ -1,16 +1,16 @@
-include ../Makefile.common
+#===-- stp/sat/Makefile -----------------------------------*- Makefile -*--===#
+#
+#                     The KLEE Symbolic Virtual Machine
+#
+# This file is distributed under the University of Illinois Open Source
+# License. See LICENSE.TXT for details.
+#
+#===------------------------------------------------------------------------===#
 
-SRCS = Solver.C Simplifier.C
-OBJS = $(SRCS:.C=.o)
+LEVEL=../..
 
-libsatsolver.a: $(OBJS)
-	$(AR) rc $@ $^
-	$(RANLIB) $@
+LIBRARYNAME=stp_sat
+DONT_BUILD_RELINKED=1
+BUILD_ARCHIVE=1
 
-Solver.o: Solver.C Solver.h Sort.h SolverTypes.h VarOrder.h Global.h Heap.h
-Simplifier.o: Simplifier.C Solver.h Sort.h SolverTypes.h VarOrder.h Global.h Heap.h
-
-clean:
-	rm -rf *.o *~  *.a  depend.mak .#*
-depend:
-	makedepend -- $(CFLAGS) -- $(SRCS)
+include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1