Compiling PPL on x86-64 architecture on windows via cygwin
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] 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 in the linker but I am not sure how to resolve the issue.
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=4e3d897f08b63... Kind regards, Roberto Bagnara -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
Hi Roberto. Thank you for such a speedy response! I downloaded the snapshot provided at the link and merged it with my original PPL1.2 folder. I made sure to used the "--with-java-=DIR" flag and checked to make sure the ./configure script found all the required Java files The configure script gave me a bunch of the following errors unfortunatly: checking for pl.exe... /usr/bin/pl.exe pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net On the off chance that those errors were not a big deal I ran make after the configure script was done. I was able to compile and install PPL but after doing so I could not find the .jar file. There were a few warnings about auto_pointer being deprecated but no errors (besides a few errors with the docs). I expect the default install directory for Cygwin to be in cygwin64/usr/local/ as that is where all the other ppl files are (libppl.a, cygppl-15.dll, ppl.h, etc.), however, I am unsure if I am looking in the wrong place at this point. Thank you for your time!
Hello, Roberto. I just wanted to follow up with you. Firstly, I wanted to apologize for my grammar in the last email. I looked into pl.exe. I do indeed have it, however, the path to it does not have "usr" in it. My path to it is just "cygwin64\bin" where "cygwin64" is the root directory for Cygwin. I also figured I would include the "make install" although They mostly seem like unrelated documentation errors: make[4]: *** [Makefile:6: refman.pdf] Error 1 make[4]: Leaving directory '/cygdrive/c/Users/T3chma/Downloads/ppl-new/doc/user-c-interface.latex-dir' make[3]: *** [Makefile:1796: ppl-user-c-interface-1.3pre1.pdf] Error 2 make[3]: Leaving directory '/cygdrive/c/Users/T3chma/Downloads/ppl-new/doc' /usr/bin/install: cannot stat './ppl-user-c-interface-1.3pre1.pdf': No such file or directory make[2]: *** [Makefile:1690: install-pdf] Error 1 make[2]: Leaving directory '/cygdrive/c/Users/T3chma/Downloads/ppl-new/doc' make[1]: *** [Makefile:1429: install-am] Error 2 make[1]: Leaving directory '/cygdrive/c/Users/T3chma/Downloads/ppl-new/doc' make: *** [Makefile:553: install-recursive] Error 1 Note: "ppl-new" is the name of the folder I used to combine my old ppl1.2 folder with the newly downloaded snapshot folder. On Mon, Feb 5, 2018 at 2:30 PM, Adam Matthew <t3chma@gmail.com> wrote:
Hi Roberto.
Thank you for such a speedy response! I downloaded the snapshot provided at the link and merged it with my original PPL1.2 folder. I made sure to used the "--with-java-=DIR" flag and checked to make sure the ./configure script found all the required Java files The configure script gave me a bunch of the following errors unfortunatly:
checking for pl.exe... /usr/bin/pl.exe pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net
pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net
pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net
pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net
pl: error 4892: warning, unrecognized argument (-dump-runtime-variables) usage: pl scriptfile [options] ...or... pl -prefab prefabname [options] ploticus 2.42-May2013 (win32). This build can produce: PS EPS SVG SVGZ X11 PNG JPEG WBMP FreeType2 Copyright 1998-2009 Steve Grubb, http://ploticus.sourceforge.net
On the off chance that those errors were not a big deal I ran make after the configure script was done. I was able to compile and install PPL but after doing so I could not find the .jar file. There were a few warnings about auto_pointer being deprecated but no errors (besides a few errors with the docs). I expect the default install directory for Cygwin to be in cygwin64/usr/local/ as that is where all the other ppl files are (libppl.a, cygppl-15.dll, ppl.h, etc.), however, I am unsure if I am looking in the wrong place at this point.
Thank you for your time!
participants (2)
-
Adam Matthew -
Roberto Bagnara