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/constantbv/Makefile | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

(limited to 'stp/constantbv')

diff --git a/stp/constantbv/Makefile b/stp/constantbv/Makefile
index cd94ad94..ee8155cf 100644
--- a/stp/constantbv/Makefile
+++ b/stp/constantbv/Makefile
@@ -1,13 +1,16 @@
-include ../Makefile.common
+#===-- stp/constantbv/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 = constantbv.cpp
-OBJS = $(SRCS:.cpp=.o)
+LEVEL=../..
 
-libconstantbv.a: $(OBJS)
-	$(AR) rc $@ $^
-	$(RANLIB) $@
+LIBRARYNAME=stp_constantbv
+DONT_BUILD_RELINKED=1
+BUILD_ARCHIVE=1
 
-clean:	
-	rm -rf *.o *~ *.a .#*
-
-constantbv.o: constantbv.h
+include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1