guicho271828 / CL-CUDD

Common lisp bindings to CUDD.
Other
6 stars 1 forks source link

Failure due to ftp issue #10

Open quicklisp opened 6 years ago

quicklisp commented 6 years ago

curl ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz times out for me, and that means cl-cudd doesn't build. Is there a way to avoid depending on a university ftp site at build time?

guicho271828 commented 6 years ago

It looks like the entire VLSI CAD Research Group server is down. several options:

binghe commented 6 years ago

Or simply assume user should have built their own cudd dynamic library before loading the package.

rpgoldman commented 6 years ago

I don't see how you can put the binary into the repo without knowing if the user will be using Linux, MacOS, or Windows. Mirror of CUDD on github seems reasonable; I'd vote for that.

I have in the past installed CUDD from MacPorts, but if you let the user build their own, as @binghe recommends, you run the danger of CUDD and cl-CUDD getting out of sync. Also, this way you could potentially use asdf:system-relative-pathname to tell CFFI where to find the CUDD libraries, which is another potential problem (CFFI configuration) that the end user won't have to worry about.

guicho271828 commented 6 years ago

I got this message:

Hi Masataro, We are in the process of moving things around. It will take a few more days. As for future plans, yes, there's a 3.1.0 release coming up in the next few months.