On 27/08/2015 13:37, David Matthews wrote:
This was something else I discovered and mentioned in a private email to
Makarius. There's a problem, hopefully temporary, with compiling and
linking in a single step. The "polyc" script creates the name of a
temporary file and passes it to "poly" as t
On 27/08/2015 06:30, Artella Coding 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
On 27/08/2015 07:33, Artella Coding wrote:
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 :
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 c
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.cod...@googlemail.com> wrote:
> Hi, now I am getting a new error.
>
> To summarise I installed :
>
> mingw :
> version 4.9.3
> Arc
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 :
./con
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/
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
Makarius
__
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 $
@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
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
On Wed, 26 Aug 2015, Artella Coding wrote:
Has anyone had success building via msys?
I managed after three rounds of private explanations by David Matthews.
The result is formalized (in a rather terse manner) here:
http://isabelle.in.tum.de/repos/isabelle/file/7b7f01afab71/Admin/polyml/INST
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 :
C:\Temp\sml\make: invalid option -- a
C:\Temp\sml\make: invalid option -- c
C:\Temp\sml\make: invalid option -- =
C:\Temp\sml\make: invalid opt
13 matches
Mail list logo
