# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1477578841 0
# Node ID 8b62550cc5542173b18ddb9f0037883a2673dd4a
# Parent  06c36649ced92d5c181a96d56aa3132869a56582
Add CUDD building to makefile

diff -r 06c36649ced9 -r 8b62550cc554 Makefile
--- a/Makefile	Thu Oct 27 14:33:44 2016 +0000
+++ b/Makefile	Thu Oct 27 14:34:01 2016 +0000
@@ -1,7 +1,25 @@
-.PHONY: vendor
+.PHONY: vendor cudd clean
 
 # Vendor ----------------------------------------------------------------------
 vendor/quickutils.lisp: vendor/make-quickutils.lisp
 	cd vendor && sbcl --noinform --load make-quickutils.lisp  --eval '(quit)'
 
 vendor: vendor/quickutils.lisp
+
+# CUDD ------------------------------------------------------------------------
+build/cudd-3.0.0.tar.gz:
+	mkdir -p build
+	cd build && wget 'ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz'
+
+build/cudd-3.0.0: build/cudd-3.0.0.tar.gz
+	cd build && tar -xzf cudd-3.0.0.tar.gz
+
+build/libcudd.dylib: build/cudd-3.0.0
+	cd build/cudd-3.0.0 && ./configure --enable-shared && make
+	cp build/cudd-3.0.0/cudd/.libs/libcudd-*.dylib build/libcudd.dylib
+
+cudd: build/libcudd.dylib
+
+# Misc ------------------------------------------------------------------------
+clean:
+	rm -rf build