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 tha
On 26/09/2012 13:28, 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 to experiment there unless someone has an answer.
I'v
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 -I../libffi/inc
On Wed, 26 Sep 2012, Bernard Berthomieu wrote:
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 :-)
You are welcome.
One detail worth notin
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 Sol
On Wed, 26 Sep 2012, David Matthews wrote:
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.
Here is a dynamic reference to the Isabelle-way of building Poly/ML. The
"tip" will change whenever there is an update on the r
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 -I../libffi/inc
Hi Bernard,
Sorry about the problems you had posting this.
On 25/09/2012 20:55, Bernard Berthomieu wrote:
To give it a serious try, I need to compile poly for various architectures,
in both 32 bit and 64 bit versions.
I could successfully compile the 64 bit version for MacOSX on my macbook
(tha
Hello,
First, congratulations to the Polyml 5.5 developpers !
To give it a serious try, I need to compile poly for various architectures,
in both 32 bit and 64 bit versions.
I could successfully compile the 64 bit version for MacOSX on my macbook
(that compiles in 64 bits by default), but I fai