From 4df73785caeef1151ead7c0061d054784d5abdd9 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 25 Feb 2013 14:28:06 +0100
Subject: [PATCH] Modified cudd's libobj Makefile to work for me.

First: added CXXFLAGS line for g++
Second: added all necessary object files to libobj.a
---
 resources/3rdparty/cudd-2.5.0/obj/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/cudd-2.5.0/obj/Makefile b/resources/3rdparty/cudd-2.5.0/obj/Makefile
index d3f62e1ad..54d0c92ce 100644
--- a/resources/3rdparty/cudd-2.5.0/obj/Makefile
+++ b/resources/3rdparty/cudd-2.5.0/obj/Makefile
@@ -18,6 +18,7 @@ ICFLAGS =
 XCFLAGS =
 #CXXFLAGS = 
 CXXFLAGS = -O3 -std=c++11 -stdlib=libc++
+#CXXFLAGS = -O3 -std=c++0x
 CFLAGS	= $(ICFLAGS) $(MFLAG) $(XCFLAGS) $(CXXFLAGS)
 DDDEBUG =
 
@@ -61,7 +62,7 @@ UBJ	= $(SRC:.cc=.u)
 #------------------------------------------------------
 
 lib$(P).a: $(POBJ)
-	ar rv $@ $?
+	ar rv $@ $? ../cudd/*.o ../dddmp/*.o ../epd/*.o ../mtr/*.o ../st/*.o ../util/*.o
 	$(RANLIB) $@
 
 .cc.o: $(PHDR)