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