@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-application-on-windows 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 < [email protected]> 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
