Dear Spot maintainers,
I was wondering if there had been some work on compiling Spot with the python bindings on windows?
I have been able to create windows binaries for libspot.so using a cross-compilation environment and mingw with the option `--disable-python`, and I saw that there was a similar example in the continuous integration configuration on gitlab. However I would be interested in having the python bindings as well.
* Do you think it is possible for one to get the python bindings for windows? * Do you have any hints on how one could proceed? In the cross-compilation environment I had an error in the `./configure` step, related to not being able to find `python.h` on the target (windows 64bits) and was not able to make much progress in that direction.
Thanks for your help, Maxime
On Wed, Jul 3, 2019 at 2:10 PM Maxime Bouton boutonm@stanford.edu wrote:
Dear Spot maintainers,
I was wondering if there had been some work on compiling Spot with the python bindings on windows?
Hi Maxime,
My understanding is that the Python distributions for Windows are built with MSVC, and that any third-party module should be built with the same version of MSVC to work. However I have never used MSVC, and the latest version of Windows I used is Win95, so I cannot help with this.
In the cross-compilation environment I had an error in the `./configure` step, related to not being able to find `python.h` on the target (windows 64bits) and was not able to make much progress in that direction.
I'd expect that if you want to cross-compile the Python bindings, you need to build a cross-compiled version of Python as well, but it's not clear to me if Python supports MinGW as a target today.
(Are you still using Python as an intermediate between Julia and C++? If so, wouldn't it be better to simply get rid of this middleman?)
Hi Alexandre,
Thanks for your answer,
Yes the ideal would be to get rid of python. In fact I was able to wrap the c++ directly in linux using https://github.com/JuliaInterop/Cxx.jl.
On windows it is a bit buggy right now unfortunately. If there are no easy way to make the python bindings works I guess I can wait for the Julia/C++ wrapper to be fixed. I have been told that I could use something called `extern c` and use a C wrapper instead but this is a bit out of my league for now.
Best, Maxime
-----Original Message----- From: Alexandre Duret-Lutz adl@lrde.epita.fr Sent: Thursday, July 4, 2019 11:25 AM To: Maxime Bouton boutonm@stanford.edu Cc: spot@lrde.epita.fr Subject: Re: [Spot] Compiling Spot on windows
On Wed, Jul 3, 2019 at 2:10 PM Maxime Bouton boutonm@stanford.edu wrote:
Dear Spot maintainers,
I was wondering if there had been some work on compiling Spot with the python bindings on windows?
Hi Maxime,
My understanding is that the Python distributions for Windows are built with MSVC, and that any third-party module should be built with the same version of MSVC to work. However I have never used MSVC, and the latest version of Windows I used is Win95, so I cannot help with this.
In the cross-compilation environment I had an error in the `./configure` step, related to not being able to find `python.h` on the target (windows 64bits) and was not able to make much progress in that direction.
I'd expect that if you want to cross-compile the Python bindings, you need to build a cross-compiled version of Python as well, but it's not clear to me if Python supports MinGW as a target today.
(Are you still using Python as an intermediate between Julia and C++? If so, wouldn't it be better to simply get rid of this middleman?) -- Alexandre Duret-Lutz
-
Alexandre Duret-Lutz -
Maxime Bouton