[PPL-devel] Compiling PPL on x86-64 architecture on windows via cygwin
Roberto Bagnara
bagnara at cs.unipr.it
Sat Feb 3 10:26:03 CET 2018
On 02/02/2018 06:32 PM, Adam Matthew wrote:
> Hello. I am having trouble compiling PPL in the stated environment. Your website (http://www.bugseng.com/parma-polyhedra-library/ppl-portability) lists the following tested environments which are related but I am not sure how much so:
>
> IA-32 running Cygwin
> IA-32 running Windows, via MinGW
>
> I am a research assistant at Boise State University and I am trying to use PPL for static analysis in combination with the Soot java library (from Sable). I freshly installed Cygwin (with all of the packages offered) on my Windows machine and ran the following commands (I have provided their respective printout files):
>
> $ ./configure --with-java=/cygdrive/c/Users/T3chma/Downloads/ppl-1.2/Java/jdk1.7.0_80 --with-cflags=-mcmodel=large --with-cxxflags=-mcmodel=large > configure_output.log
> $ make > make_output.log
>
> I used the flags:
>
> --with-cflags=-mcmodel=large
> --with-cxxflags=-mcmodel=large
>
> because I was having "relocation truncated to fit: R_X86_64_PC32 against undefined symbol `Parma_Polyhedra_Library::ppl_unreachable()'" errors. The jdk1.7 that I am pointing at is also know to work with the existing project I am wanting to integrate PPL into. At this point I am getting the following error:
>
> .libs/Linear_Expression.o:Linear_Expression.cc:
>
> (.rdata$.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv[.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv]+0x0): undefined reference to `Parma_Polyhedra_Library::ppl_unreachable()'
> collect2: error: ld returned 1 exit status
> make[3]: *** [Makefile:1299: libppl.la <http://libppl.la>] Error 1
> make[2]: *** [Makefile:1224: all] Error 2
> make[1]: *** [Makefile:553: all-recursive] Error 1
> make: *** [Makefile:482: all] Error 2
>
>
> It seems like it must be something going wrong inthe linker but I am not sure how to resolve the issue.
Hi Adam.
Please see this commit:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e3d897f08b63ac7abc55d6a3621f84cdf1a69fe
Kind regards,
Roberto Bagnara
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180203/4f48fe7c/attachment.bin>
More information about the PPL-devel
mailing list