Hello,
I'd like to revive an old application compiled by Poly/ML 4.1.3 on a sparc
workstation, to be run in a (to be built) qemu sparc-solaris VM.
I found the database of the application, but I cannot find the corresponding
poly 4.1.3 sparc driver. So, before going forward, I would be very
I once did something similar, but not through FFI. I directly used the
terminfo database instead (also used by curses, man terminfo for details).
I guess this what you mean by ANSI terminal sequences.
But I was using only basic capabilities like moving the cursor, beeping,
or deleting characters
Does the polyml version built on your MacBook run on your other mac ?
Bernard.
On 12/02/2018 12:45, Lawrence Paulson wrote:
I'm not able to build poly/ML on my Mac, with or without libgmp, for
about a year. The funny thing is, it builds fine on my
similarly-configured MacBook Pro at home.
Hi Makarius,
I could build libgmp 6.1.2 for i386 on macOS Sierra by first setting
the shell variable ABI to 32, then proceed as usual (configure, make, ..):
file build/intel-pc/lib/libgmp.10.dylib
build/intel-pc/lib/libgmp.10.dylib: Mach-O dynamically linked
shared library i386
it. This is a fix to the compiler so
will need
make compiler
to rebuild the compiler.
It's very simple so may be a candidate for the fixes branch once it's
been tested a bit more widely.
Regards,
David
On 30/11/2017 14:11, Bernard Berthomieu wrote:
Hello David,
Many thanks for you help.
I could
Many thanks Matthew for the clarification. Subtle :-)
Since datatype declarations declare both a type operator
and constructors, I think the explanation deserves to appear
in http://mlton.org/EqualityTypeVariable, last part.
The last two declarations declare identical type operators, but
not
id
On 16/09/2016 20:59, Bernard Berthomieu wrote:
Hello,
Besides any printing/elaboration problem with polyml 5.6:
In polyml 5.5:
datatype ''a t = C of ''a;
datatype ''a t = C of ''a
C 1.0;
Error-Type error in function application.
Function: C : ''a -> ''a t
Argument: 1.0 : real
Hello,
Besides any printing/elaboration problem with polyml 5.6:
In polyml 5.5:
> datatype ''a t = C of ''a;
datatype ''a t = C of ''a
> C 1.0;
Error-Type error in function application.
Function: C : ''a -> ''a t
Argument: 1.0 : real
Reason: Can't unify ''a to real (Requires equality
Hello,
On 09/26/12 11:40, David Matthews wrote:
On 25/09/2012 20:55, Bernard Berthomieu wrote:
Same question, but symmetric, for solaris 11 (x86) 64bit: I could
successfully
build a 32 bit poly (default for gcc on that machine), but could not
build a 64 bit
version ...
I think you'll have
Hello,
I have a feeling that this needs a combination of options. Makarius
sent me a script to do this so he may be able to shed a bit more light
on it but this is what I managed to find.
--build=i686-darwin
CFLAGS='-arch i686 -O3 -I../libffi/include'
CXXFLAGS='-arch i686 -O3
On 9/26/12 3:35 PM, Makarius wrote:
My current build script for Poly/ML 5.5.0 is this
http://isabelle.in.tum.de/repos/isabelle/file/11bcea724b2c/Admin/polyml/build
Nice ! I might borrow your script :-)
I used to have the same ambition to support all possible platforms,
but gave up on
On 9/26/12 5:47 PM, David Matthews wrote:
Well, I tried, along the same lines:
--build=x86_64-solaris and --build=amd64-solaris
CFLAGS='-m64 -O3 -I../libffi/include'
CXXFLAGS='-m64 -O3 -I../libffi/include'
CCASFLAGS='-m64 -O3'
.
From the comment near the top of elfexport.cpp it seems
12 matches
Mail list logo