Hello, see my reply below. On 24/01/25 14:40, wundermonk@gmail.com wrote:

Hello Federico,

Firstly, sorry for the multiple messages on the same topic. It was not clear to me if I was sending messages to the wrong email id because my message did not appear on the board and hence I tried multiple ways to get my message across. I now understand that there is possibly a moderation queue.

No problem. Yes, there is a moderation queue to eliminate spam.

Yes, now the git clone method works.

Great.

In the meantime, since git clone was not working, I ended up downloading the .tar.bz2 file to see if that would install, despite this board's recommendation to not do so. It did install.

Now that the git clone method is working, could you let me know which files I should delete from my previous .bz2 installation method so that the git clone method which I will run subsequent to that will be regarded by my system as the latest and most accurate?

In my understanding, the following are the only files that need to be removed from the old installation /usr/local/lib/libppl.a, libppl.la, libppl_c.a and libppl_c.la ?

Or is it that I should not worry about this and that the git clone method will overwrite these files and all other files in the system so that an application refers to it correctly?

I guess you did something like ./configure [...] make make install From what you write, I gather that either 1) you did specify, among the configure options, --prefix=/usr/local, or 2) you did not specify any --prefix options, so you have installed to the default directory, which is, again, /usr/local Then the easiest thing, if you still have the build directory is to do make uninstall and this will delete all and only the files installed with `make install'. In case you no longer have the build directory, then you can obtain the list of files installed by your original `make install' as follows: ../configure [...] --prefix=/tmp/blah make make install ls -R /tmp/blah Note that you should substitute the [...] above with the configure options you used in the first place, with the exception of --prefix=DIR, if case (1) above applies. Please let us know how it goes. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (https://bugseng.com) LinkedIn: https://linkedin.com/in/federico-serafini

Hello Wunder, as expained in ppl/README.configure, section 10 "Using the Git Sources", you should do an autoreconf Let us know if you encounter other problems. Regards, Federico Serafini On 28/01/25 17:27, wundermonk@gmail.com wrote:

Federico,

Thank you for your comprehensive email which covers all of my usage scenarios. I had indeed deleted the build folder from the .bz2 file situation. I reran the proceduring using the .bz2 file now installing into a temp directory. Then, from the temp directory, I am indeed able to see what all files my original .bz2 installation would have created. I sudo rm'ed them.

Now that all files from the wrong .bz2 files are off my system, I am following the correct procedure:

$git clone git://git.bugseng.com/ppl/ppl.git $cd ppl $git checkout devel (Then, following https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/INSTALL, I did) $autoconf

This however gives me the following errors:

:~/Downloads/ppl$ autoconf

configure.ac:43: error: possibly undefined macro: AM_INIT_AUTOMAKE If this token and others are legitimate, please use m4_pattern_allow. See the Autoconf documentation. configure.ac:146: error: possibly undefined macro: AM_CONDITIONAL configure.ac:809: error: possibly undefined macro: AC_CHECK_FPU_CONTROL configure.ac:818: error: possibly undefined macro: AC_CXX_PLAIN_CHAR_IS_SIGNED configure.ac:821: error: possibly undefined macro: AC_CXX_PROVIDES_PROPER_LONG_DOUBLE configure.ac:824: error: possibly undefined macro: AC_CXX_FLOAT_BINARY_FORMAT configure.ac:827: error: possibly undefined macro: AC_CXX_DOUBLE_BINARY_FORMAT configure.ac:830: error: possibly undefined macro: AC_CXX_LONG_DOUBLE_BINARY_FORMAT configure.ac:843: error: possibly undefined macro: AC_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS configure.ac:846: error: possibly undefined macro: AC_CXX_SUPPORTS_IEEE_INEXACT_FLAG configure.ac:849: error: possibly undefined macro: AC_CXX_SUPPORTS_ATTRIBUTE_WEAK configure.ac:884: error: possibly undefined macro: AC_USE_LIBTOOL configure.ac:889: error: possibly undefined macro: AC_CHECK_GMP configure.ac:1113: error: possibly undefined macro: AC_PROG_JAVAC configure.ac:1114: error: possibly undefined macro: AC_PROG_JAVA configure.ac:1115: error: possibly undefined macro: AC_PROG_JAR configure.ac:1116: error: possibly undefined macro: AC_PROG_JAVAH configure.ac:1167: error: possibly undefined macro: AC_PROG_OCAML configure.ac:1211: error: possibly undefined macro: AC_CHECK_CIAO_PROLOG configure.ac:1245: error: possibly undefined macro: AC_CHECK_SICSTUS_PROLOG configure.ac:1259: error: possibly undefined macro: AC_CHECK_SWI_PROLOG configure.ac:1276: error: possibly undefined macro: AC_CHECK_XSB_PROLOG configure.ac:1290: error: possibly undefined macro: AC_CHECK_YAP_PROLOG configure.ac:1320: error: possibly undefined macro: AC_PROG_GNU_M4 configure.ac:1531: error: possibly undefined macro: AC_TEXT_MD5SUM configure.ac:1623: error: possibly undefined macro: AC_CXX_SUPPORTS_LIMITING_MEMORY configure.ac:1657: error: possibly undefined macro: AC_CHECK_CXX11

This however does produce a configure file in /ppl/ folder.

Should I ignore these "errors" and run configure nonetheless?

Thank you. Tryer _______________________________________________ PPL-devel mailing list -- ppl-devel@bugseng.com To unsubscribe send an email to ppl-devel-leave@bugseng.com

-- Federico Serafini, M.Sc. Software Engineer, BUGSENG (https://bugseng.com) LinkedIn: https://linkedin.com/in/federico-serafini

Hi there. Does the following thread answer your question? https://support.bugseng.com/hyperkitty/list/ppl-devel@bugseng.com/thread/INB... Kind regards, Roberto On 10/08/25 21:46, anoninus wrote:

Hello,

I have the following code which reads an input of vertex points and converts to hyperplane representation.

https://godbolt.org/z/hdezerxKf

I want to be able to find the H representation of vertices where some of the vertex coordinates are represented as rational numbers.

For e.g.,

(0,0) <----first vertex (1/3,1/3) <----second vertex.

Unfortunately, the code that I have reads in vertices with the constraint that all coordinates of each vertex are restricted to be integer. Please see Points[row][col] in the godbolt link, where Points is an std::vector<std::vector<int>>. Points[0] is the first vertex and it has as coordinates Points[0][0], Points[0][1],...etc. each of which is an integer.

How can I specify vertices where some of the coordinates can be like so: 1/4, 1/9, 1/11, etc.

Thank you. _______________________________________________ PPL-devel mailing list -- ppl-devel@bugseng.com To unsubscribe send an email to ppl-devel-leave@bugseng.com