@Makarius : thanks. I tried the build script that you provided but I still got the same error message.
@David : I will try the installation instructions you provided later. But in the meantime I managed to build polyml using Visual Studio 2010 express, with the settings on "Release" & "Win32". For some reason "Release" and "x64" dont seem to work. Anyway "Win32" creates a PolyML.exe which I can then run.
I exported a hello.obj file as outlined in http://www.polyml.org/documentation/ReleaseNotes.html#Version5_0
However I am not sure how to then create an executable file with this. I tried the instructions given at :
http://polyml.inf.ed.ac.narkive.com/Gx6CbeV3/building-a-console-polyml-appli...
Namely :
link /OUT:hello.exe /SUBSYSTEM:WINDOWS hello.obj PolyLib.lib PolyMainLib.lib libcmtd.lib
but I end up with a
"LINK : fatal error LNK1104: cannot open file 'kernel32.lib'"
and I am not sure how to solve this. Do you know how I might make an executable?
Thanks
On Wed, Aug 26, 2015 at 11:34 AM, David Matthews < David.Matthews at prolingua.co.uk> wrote:
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/msys2 The 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 need to 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml