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/simplifier/Makefile | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

(limited to 'stp/simplifier')

diff --git a/stp/simplifier/Makefile b/stp/simplifier/Makefile
index aba07e1b..fb6be7e1 100644
--- a/stp/simplifier/Makefile
+++ b/stp/simplifier/Makefile
@@ -1,11 +1,16 @@
-include ../Makefile.common
+#===-- stp/simplifier/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 = simplifier.cpp bvsolver.cpp
-OBJS = $(SRCS:.cpp=.o)
+LEVEL=../..
 
-libsimplifier.a: $(OBJS)
-	$(AR) rc $@ $^
-	$(RANLIB) $@
+LIBRARYNAME=stp_simplifier
+DONT_BUILD_RELINKED=1
+BUILD_ARCHIVE=1
 
-clean:	
-	rm -rf *.o *~ *.a .#*
+include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1