These days I build Poly/ML with all combinations of yes/no for the
following configure options for testing purposes:
--enable-shared
--enable-compact32bit
--enable-intinf-as-int
I've just built ProofPower with each such variant of Poly/ML 5.9 on my
Linux x86_64 system and get the fo
David,
Thanks. That all makes sense. The ProofPower read-eval-print loop lives in this
executable:
-rwxr-xr-x 1 rda staff 9975056 Jul 25 14:00 /usr/local/pp/latest/bin/pp-ml
and when you add its size to the size of the saved state you get about the same
size
as the executable. Fortunately,
Rob,
On 25/11/2021 19:26, Rob Arthan wrote:
-rw-r--r-- 1 rda staff 44217560 Nov 25 19:06 main1.o
-rwxr-xr-x 1 rda staff 33928480 Nov 25 19:07 main1
-rw-r--r-- 1 rda staff 24260472 Nov 25 19:10 saved_state
Here main1.o is the result of calling PolyML.export, main1 is the executable
and
David,
Thanks for your reply to my post about linking errors. You were quite right.
I have now rebuilt everything on 5.8.2 and have reproduced the problem
I was trying to investigate. My user was trying to create an executable
to run a specific function in an extension of ProofPower as a stand-alo
