Install pycosat failed in MSYS2

[duytrung]

Hello,

I tried to install Pycosat 0.6.3 using "pip install pycosat" but failed and result was like this:

➜  ~ pip install pycosat
Collecting pycosat
  Using cached https://files.pythonhosted.org/packages/c0/fd/e38d68774c0a345b0090d608a90f1fbf423970d812f7ec7aef9ac024e648/pycosat-0.6.3.zip
Installing collected packages: pycosat
  Running setup.py install for pycosat ... error
    ERROR: Complete output from command /usr/bin/python3.exe -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-install-4_vuj8jb/pycosat/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record /tmp/pip-record-9dxjvrzk/install-record.txt --single-version-externally-managed --compile:
    ERROR: running install
    running build
    running build_py
    creating build
    creating build/lib.msys-3.0.7-x86_64-3.7
    copying test_pycosat.py -> build/lib.msys-3.0.7-x86_64-3.7
    running build_ext
    building 'pycosat' extension
    creating build/temp.msys-3.0.7-x86_64-3.7
    x86_64-pc-msys-gcc -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O3 -Wall -march=x86-64 -mtune=generic -O2 -pipe -march=x86-64 -mtune=generic -O2 -pipe -march=x86-64 -mtune=generic -O2 -pipe -I/usr/include/python3.7m -c pycosat.c -o build/temp.msys-3.0.7-x86_64-3.7/pycosat.o
    In file included from pycosat.c:10:
    /usr/include/python3.7m/Python.h:44:10: fatal error: crypt.h: No such file or directory
       44 | #include <crypt.h>
          |          ^~~~~~~~~
    compilation terminated.
    error: command 'x86_64-pc-msys-gcc' failed with exit status 1
    ----------------------------------------
ERROR: Command "/usr/bin/python3.exe -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-install-4_vuj8jb/pycosat/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record /tmp/pip-record-9dxjvrzk/install-record.txt --single-version-externally-managed --compile" failed with error code 1 in /tmp/pip-install-4_vuj8jb/pycosat/
➜  ~

System was MSYS2

Thanks

[Sherryzhang2]

I met the same problem. Has it been solved?