Hi,
I tried the msys instructions and encountered an error upon running
"make".
make --debug=b
yields the following :
make[4]: Entering directory '/home/linux/polyml/libffi'
restore=: && backupdir=".am$$" && \
am__cwd=`pwd` && CDPATH="${ZSH_VERSION+.}:" && cd . && \
rm -rf $backupdir && mkdir $backupdir && \
if (makeinfo --version) >/dev/null 2>&1; then \
for f in doc/libffi.info doc/libffi.info-[0-9] doc/libffi.info-[0-9][0-9]
doc/libffi.i[0-9] doc/libffi.i[0-9][0-9]; do \
if test -f $f; then mv $f $backupdir; restore=mv; else :; fi; \
done; \
else :; fi && \
cd "$am__cwd"; \
if makeinfo -I doc -I ./doc \
-o doc/libffi.info ./doc/libffi.texi; \
then \
rc=0; \
CDPATH="${ZSH_VERSION+.}:" && cd .; \
else \
rc=$?; \
CDPATH="${ZSH_VERSION+.}:" && cd . && \
$restore $backupdir/* `echo "./doc/libffi.info" | sed 's|[^/]*$||'`; \
fi; \
rm -rf $backupdir; exit $rc
/bin/sh: line 9: makeinfo: command not found
Makefile:1289: recipe for target 'doc/libffi.info' failed
make[4]: *** [doc/libffi.info] Error 127
make[4]: Leaving directory '/home/linux/polyml/libffi'
Makefile:1473: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory '/home/linux/polyml/libffi'
Makefile:692: recipe for target 'all' failed
make[2]: *** [all] Error 2
make[2]: Leaving directory '/home/linux/polyml/libffi'
Makefile:696: recipe for target 'all-recursive' failed
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory '/home/linux/polyml'
Makefile:460: recipe for target 'all' failed
make: *** [all] Error 2
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
