?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
modify default solver parameters
[cl-cudd.git] / Makefile
blob294c4ec824be9807097f5d35809347b42469bca7
1 SWIG=swig
2
3 all: dist cuddapi.lisp
4
5 dist:
6 make -Cdistr
7
8 cuddapi.lisp: cudd-cffi.i
9 $(SWIG) -cffi -Idistr $<
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi