How to solve this error?

15 views
Skip to first unread message

Sree Harsha

unread,
Mar 16, 2019, 10:36:46 PM3/16/19
to pySMT
getting an error while running PYSMT

Traceback (most recent call last):
  File "c:\users\donep\anaconda2\lib\runpy.py", line 174, in _run_module_as_main
    "__main__", fname, loader, pkg_name)
  File "c:\users\donep\anaconda2\lib\runpy.py", line 72, in _run_code
    exec code in run_globals
  File "C:\Users\donep\Anaconda2\Scripts\pysmt.exe\__main__.py", line 5, in <module>
  File "c:\users\donep\anaconda2\lib\site-packages\pysmt\cmd\shell.py", line 25, in <module>
    from pysmt.shortcuts import *
  File "c:\users\donep\anaconda2\lib\site-packages\pysmt\shortcuts.py", line 38, in <module>
    import pysmt.smtlib.parser
  File "c:\users\donep\anaconda2\lib\site-packages\pysmt\smtlib\parser\__init__.py", line 91, in <module>
    pyxbuild_dir=build_dir)
  File "c:\users\donep\anaconda2\lib\site-packages\pyximport\pyximport.py", line 191, in build_module
    reload_support=pyxargs.reload_support)
  File "c:\users\donep\anaconda2\lib\site-packages\pyximport\pyxbuild.py", line 102, in pyx_to_dll
    dist.run_commands()
  File "c:\users\donep\anaconda2\lib\distutils\dist.py", line 953, in run_commands
    self.run_command(cmd)
  File "c:\users\donep\anaconda2\lib\distutils\dist.py", line 972, in run_command
    cmd_obj.run()
  File "c:\users\donep\anaconda2\lib\site-packages\Cython\Distutils\old_build_ext.py", line 186, in run
    _build_ext.build_ext.run(self)
  File "c:\users\donep\anaconda2\lib\distutils\command\build_ext.py", line 340, in run
    self.build_extensions()
  File "c:\users\donep\anaconda2\lib\site-packages\Cython\Distutils\old_build_ext.py", line 194, in build_extensions
    self.build_extension(ext)
  File "c:\users\donep\anaconda2\lib\distutils\command\build_ext.py", line 499, in build_extension
    depends=ext.depends)
  File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 473, in compile
    self.initialize()
  File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 383, in initialize
    vc_env = query_vcvarsall(VERSION, plat_spec)
  File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 271, in query_vcvarsall
    raise DistutilsPlatformError("Unable to find vcvarsall.bat")

Andrea Micheli

unread,
Mar 17, 2019, 7:12:55 AM3/17/19
to Sree Harsha, pySMT
Hi!

it seems that you do not have the visual studio requirements to run cython, but for some reason cython is installed on your system.
You can work-around this issue by setting the environment variable PYSMT_CYTHON to "false" and run pysmt again. Otherwise, you can install Visual Studio for Python and try again.

HTH

Andrea

--
You received this message because you are subscribed to the Google Groups "pySMT" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pysmt+un...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pysmt/1cee7d9b-95ac-49f6-bc07-94d18b061585%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Rocky

unread,
Mar 17, 2019, 7:26:00 PM3/17/19
to pySMT
I have installed visual studio its working but getting another error:
  File "c:\users\donep\anaconda2\lib\distutils\msvc9compiler.py", line 299, in query_vcvarsall
    raise ValueError(str(list(result.keys())))
ValueError: [u'path']

Andrea Micheli

unread,
Mar 18, 2019, 4:03:12 AM3/18/19
to Rocky, pySMT
It's hard to say from just the path, but it seems a problem with the python distutil.
I know that on Windows (please, if possible use Linux with pysmt!) there is quite a complex interaction between python and visual studio.
Have a look here (https://wiki.python.org/moin/WindowsCompilers) and see if you can troubleshoot the problem.

HTH

A. 

--
You received this message because you are subscribed to the Google Groups "pySMT" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pysmt+un...@googlegroups.com.
To post to this group, send email to py...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.

--
Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente.
--
The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

Marco Gario

unread,
Mar 18, 2019, 7:05:13 AM3/18/19
to Andrea Micheli, Rocky, pySMT
Is the error still present if you disable cython? As Andrea mentioned, there seems to be a problem with the cython setup on your python distribution. 

For context, if cython is installed, we compile the smtlib parser for improved performance. This requires a compiler. It seems that in your case there are issues with VS compiler. 

Marco 

Rocky

unread,
Mar 18, 2019, 8:58:20 PM3/18/19
to pySMT
ITS WORKING IN LINUX


On Saturday, March 16, 2019 at 9:36:46 PM UTC-5, Rocky wrote:
Reply all
Reply to author
Forward
0 new messages