Martin, I just checked. In fact you do install the CUDD library under the name libpboriCudd.a (and other incarnations). I've been successfully building stand alone programs using that library and the headers in in local/include/cudd.
Victor On Nov 10, 12:52 pm, Martin Albrecht <m...@informatik.uni-bremen.de> wrote: > On Tuesday 10 November 2009, VictorMiller wrote: > > > The package CUDD is part of Polybori, which uses it for some internal > > manipulation. I'm interested in accessing some CUDD functions > > directly, but I'm not sure where to find the library. More > > specifically, if I wanted to write some Cython to access these > > functions what path should I use? It's hard to find! > > I don't think that we install the CUDD library (I just checked the SConstruct > file in the PolyBoRi SPKG). Although, we do install the headers in > > $SAGE_LOCAL/include/cudd > > My guess is, that you'd have to modify the PolyBoRi SPKG to install the Cudd > library if you need the shared library for what you are doing. > > If you choose to do so, please start from this version: > > http://trac.sagemath.org/sage_trac/ticket/7271 > > Hope that helps, > Martin > > -- > name: Martin Albrecht > _pgp:http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 > _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF > _www:http://www.informatik.uni-bremen.de/~malb > _jab: martinralbre...@jabber.ccc.de --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
