Hi, so I reinstalled with i686-4.9.3-win32-dwarf-rt_v4-rev0 and used the appropriate CPPFLAGS, and this time everything went fine (i.e. make, make compiler, and make install worked fine without error)
But now if I create a "hello.ml" with the contents :
fun main () = print "Hello World\n";
and compile it with "polyc" I get the following error :
$ polyc hello.ml Exception- SysErr ... raised
Do you know what might be going wrong?
Thanks
On Thu, Aug 27, 2015 at 6:46 AM, Artella Coding < artella.coding at googlemail.com> wrote:
Is this because I have
Exception : seh
instead of :
Exception : dwarf
in my installation of g++?
Thanks
On Thu, Aug 27, 2015 at 6:30 AM, Artella Coding < artella.coding at googlemail.com> wrote:
Hi, now I am getting a new error.
To summarise I installed :
mingw : version 4.9.3 Architecture : x86_64 Threads : Win32 Exception : seh Build revision : 0
and put in path, so I get :
$ g++ --version g++.exe (x86_64-win32-seh-rev0, Built by MinGW-W64 project) 4.9.3
Then configured via :
./configure --host=i686-w32-mingw32 --bindir=... --mandir=... --libdir=... CPPFLAGS=-I/mingw64/include
After creating "libffi/doc/libffi.info", I do "make" again, at which point I get the following error message :
libtool: compile: gcc -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -I/mingw64/include -I. -I./include -Iinclude -I./src -MT src/x86/win32.lo -MD -MP -MF src/x86/.deps/win32.Tpo -c src/x86/win32.S -DDLL_EXPORT -DPIC -o src/x86/.libs/win32.o src/x86/win32.S: Assembler messages: src/x86/win32.S:486: Error: invalid instruction suffix for `push' src/x86/win32.S:497: Error: invalid instruction suffix for `push' src/x86/win32.S:498: Error: invalid instruction suffix for `push' src/x86/win32.S:643: Error: invalid instruction suffix for `pop' src/x86/win32.S:652: Error: invalid instruction suffix for `push' src/x86/win32.S:669: Error: invalid instruction suffix for `push' src/x86/win32.S:768: Error: invalid instruction suffix for `pop' src/x86/win32.S:780: Error: invalid instruction suffix for `pop' src/x86/win32.S:797: Error: invalid instruction suffix for `push' src/x86/win32.S:799: Error: invalid instruction suffix for `push' src/x86/win32.S:814: Error: invalid instruction suffix for `push' src/x86/win32.S:818: Error: invalid instruction suffix for `push' src/x86/win32.S:918: Error: invalid instruction suffix for `pop' src/x86/win32.S:919: Error: invalid instruction suffix for `pop' src/x86/win32.S:934: Error: invalid instruction suffix for `push' src/x86/win32.S:1032: Error: invalid instruction suffix for `pop' Makefile:1221: recipe for target 'src/x86/win32.lo' failed make[4]: *** [src/x86/win32.lo] Error 1 make[4]: Leaving directory '/home/monolith/polyml/libffi' Makefile:1473: recipe for target 'all-recursive' failed make[3]: *** [all-recursive] Error 1
Thanks
On Wed, Aug 26, 2015 at 10:27 PM, David Matthews < David.Matthews at prolingua.co.uk> wrote:
On 26/08/2015 22:03, Makarius wrote:
On Wed, 26 Aug 2015, Artella Coding wrote:
I tried the msys instructions and encountered an error upon running
"make".
/bin/sh: line 9: makeinfo: command not found
You need to install the texinfo package, e.g. like this:
pacman -S texinfo
libffi/doc/libffi.info used to be in the repository so there was no need to build it. I committed a change on 23rd June that removed it since it appeared to be an output, at least when built on Linux. To be honest there doesn't seem to be any reason to include the documentation in the version of libffi that we include with Poly/ML. It does seem to be overkill to have to install texinfo. I hadn't noticed the problem because I seem to have texinfo somewhere else. It may be simplest just to restore libffi.info.
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml