On 26/08/2015 10:15, Artella Coding wrote:
Has anyone had success building via msys? I got the latest copy from github & "./configure" runs fine, but when I do "make" I eventually get errors like :
I've made many attempts to get Poly/ML to build successfully with msys/mingw. There seem to be several forks of the projects and it does appear to be a matter of getting a combination that works. I went through a clean re-installation and made some notes that I sent to Makarius. I was planning to put this on the website but I haven't quite got round to it. These are the notes, with a bit of modification as the result of feedback from Makarius.
An alternative is to use Visual Studio. I do most of my development with Visual Studio 2010 Express. I think the free Visual Studio Community 2015 will work with the project files in the Poly/ML distribution.
David Download and install Msys2 from http://sourceforge.net/projects/msys2The default install directory is C:\msys64 . It's probably best to leave this.
Certainly don't install it anywhere with a space in the path-name. Download the mingw-w64-install.exe from http://sourceforge.net/projects/mingw-w64 Run this. You will get a dialogue box with various options. You needto select win32 from the Threads option. You may need to select an older version in the Version option to find this.
Dwarf exception handling seems to be preferred so I'm running i686-4.9.2-win32-dwarf-rt_v4-rev3.Set the install directory to c:\msys64. The files will actually be installed under
c:\msys64\mingw32 and integrated into the Msys2 tree. It's probably worth installing an x86_64 compiler at the same time. Again with Win32 threads and again with the install directory as c:\msys64 . This time the files will be under c:\msys64\mingw64.Start Msys with mingw32 by running the batch file c:\msys64\mingw32_shell.bat
This runs an rxvt window with the same sort of cut-and-paste as xterm. Msys2 comes with a package manager. At the very least install "make". pacman -Sy pacman -S make For gmp install the "mingw32/mingw-w64-i686-gmp" package for 32-bit and/or "mingw64/mingw-w64-x86_64-gmp" for 64-bit. Download Poly/ML into c:\msys64\home\<your user name>\ I use TortoiseGit + "Git for Windows" but there's also a git in msys2 via pacman. cd polyml./configure --host=i686-w32-mingw32 --bindir=<installdir> --mandir=<installdir> --libdir=installdir> It appears that the extra option CPPFLAGS=-I/mingw32/include is needed to find the gmp header.
make
make compiler
make install
Copy two DLLs into the install directory:
cp /mingw32/bin/{libgcc_s_dw2-1,libstdc++-6}.dll <installdir>
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
