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
On your other question:
Next, a question on CInterface: Is is possible in PolyML to bind an ML
function to a C function found in the current executable (poly), rather
an in a shared library ? This is not essential as I can always build a
shared library that packs the required functions; it would
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, 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
On Tue, 25 Sep 2012, Mark Wright wrote:
Did you include the important libsha1.so that is
part of the regular Isabelle2012 distribution of Poly/ML?
No, thanks for letting me know I should, I guess I should
build it from the source code here:
https://bitbucket.org/makarius
This is one of the
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, 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
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 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
Makarius> In the end the main question is how to serve users best.
Makarius> There is hardly anybody missing a Debianized version of
Makarius> Isabelle, but people occasionally come to me and say I should
Makarius> bundle even more things in the one big Isabelle distribution,
Makarius> bypassing p
I feel I must echo Ian Zimmerman's sentiment!
(Although I don't use Debian or Isabelle much.)
I will be updating the Arch Linux AUR package for HOL4 when the new release
comes out, and might allocate some spare time to working on an Isabelle
package for Arch Linux if anyone expresses interest (and
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
12 matches
Mail list logo