search

cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
305 stars 55 forks source link

fail importing picosat #95

Closed mllima closed 10 years ago

mllima commented 10 years ago

Hi. Please, I can't figure out a solution for the following problem:

I've installed pyeda on windows 7, python 3.3, using pip3. When trying to import picosat (>>> from pyeda.boolalg import picosat), the following error happens: "ImportError: DLL load failed: The specified module could not be found." It is the same when trying to import espresso.

I'm using virtualenv. The file picosat.pyd is in C:.....\env33\Lib\site-packages\pyeda\boolalg.

cjdrake commented 10 years ago

I can reproduce this issue. It's due to a missing DLL from Visual Studio. Very frustrating.

You need to dowload and install the Visual C++ Redistributable package. I tried the 2012 version, but the 2013 version will probably work as well. Download vcredist_x86.exe for 32-bit or vcredist_x64.exe for 64-bit.

Let me know if that works for you.

cjdrake commented 10 years ago

@mllima, have you had a chance to try my suggestion?

cjdrake commented 10 years ago

I am going to close this now. Please send me an email if you are still experiencing problems. I really want PyEDA to work on Windows and MacOS, though I don't always have the build resources available.

mllima commented 10 years ago

Hi, Chris. Sorry my delay in responding.

My guess is that, when using pip, it attempts to install the wheel version from pypi, that, for some reason, did not work for me. But it did work for a colleague that have installed the wheel distribution without any problem. There is something in my machine that prevents it to work... or I do not know how to use it yet.

But, fortunately, I could install the pyeda, downloading it from github and using pip with mingw as compiler!!!!!

Thanks a lot. Marcelo

2014-05-29 1:08 GMT-03:00 Chris Drake notifications@github.com:

Closed #95 https://github.com/cjdrake/pyeda/issues/95.

— Reply to this email directly or view it on GitHub https://github.com/cjdrake/pyeda/issues/95#event-125854985.

cjdrake commented 10 years ago

Marcelo, that's great news! I still suspect the problem might have been related to the Visual Studio runtimes, but using cygwin is a good solution.

By the way, I would love to hear more about how you and your colleagues are using the library.

Regards, Chris

On Thu, May 29, 2014 at 4:20 AM, mllima notifications@github.com wrote:

Hi, Chris. Sorry my delay in responding.

My guess is that, when using pip, it attempts to install the wheel version from pypi, that, for some reason, did not work for me. But it did work for a colleague that have installed the wheel distribution without any problem. There is something in my machine that prevents it to work... or I do not know how to use it yet.

But, fortunately, I could install the pyeda, downloading it from github and using pip with mingw as compiler!!!!!

Thanks a lot. Marcelo

2014-05-29 1:08 GMT-03:00 Chris Drake notifications@github.com:

Closed #95 https://github.com/cjdrake/pyeda/issues/95.

— Reply to this email directly or view it on GitHub https://github.com/cjdrake/pyeda/issues/95#event-125854985.

— Reply to this email directly or view it on GitHub https://github.com/cjdrake/pyeda/issues/95#issuecomment-44522271.