2019-10-20T04:38:15 Created temporary directory: /tmp/pip-ephem-wheel-cache-bxphoout 2019-10-20T04:38:15 Created temporary directory: /tmp/pip-req-tracker-7cxe_2c5 2019-10-20T04:38:15 Created requirements tracker '/tmp/pip-req-tracker-7cxe_2c5' 2019-10-20T04:38:15 Created temporary directory: /tmp/pip-wheel-njqiygk9 2019-10-20T04:38:15 Collecting provers==0.1.3 2019-10-20T04:38:15 1 location(s) to search for versions of provers: 2019-10-20T04:38:15 * https://pypi.org/simple/provers/ 2019-10-20T04:38:15 Getting page https://pypi.org/simple/provers/ 2019-10-20T04:38:15 Analyzing links from page https://pypi.org/simple/provers/ 2019-10-20T04:38:16 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz#sha256=5c364393f3307a69967f9b674535b9970a4f3e971f9be6e70d6719919c874201 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2019-10-20T04:38:16 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz#sha256=8e363ff54aad4188f10b7d5c1815a88a00522af206f3033a514e3d7d3a5d1510 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2019-10-20T04:38:16 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz#sha256=32dee5d680e6bd6450fac8a50fdc673088594ccf98c74693a7713b35ab9eba28 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2019-10-20T04:38:16 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2019-10-20T04:38:16 Using version 0.1.3 (newest of versions: 0.1.3) 2019-10-20T04:38:16 Created temporary directory: /tmp/pip-unpack-illl64m5 2019-10-20T04:38:16 Downloading https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz 2019-10-20T04:38:16 Downloading from URL https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 (from https://pypi.org/simple/provers/) (requires-python:>=3.5) 2019-10-20T04:38:16 Added provers==0.1.3 from https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 to build tracker '/tmp/pip-req-tracker-7cxe_2c5' 2019-10-20T04:38:16 Running setup.py (path:/tmp/pip-wheel-njqiygk9/provers/setup.py) egg_info for package provers 2019-10-20T04:38:16 Running command python setup.py egg_info 2019-10-20T04:38:23 running egg_info 2019-10-20T04:38:23 creating pip-egg-info/provers.egg-info 2019-10-20T04:38:23 writing entry points to pip-egg-info/provers.egg-info/entry_points.txt 2019-10-20T04:38:23 writing dependency_links to pip-egg-info/provers.egg-info/dependency_links.txt 2019-10-20T04:38:23 writing top-level names to pip-egg-info/provers.egg-info/top_level.txt 2019-10-20T04:38:23 writing pip-egg-info/provers.egg-info/PKG-INFO 2019-10-20T04:38:23 writing manifest file 'pip-egg-info/provers.egg-info/SOURCES.txt' 2019-10-20T04:38:23 reading manifest file 'pip-egg-info/provers.egg-info/SOURCES.txt' 2019-10-20T04:38:23 reading manifest template 'MANIFEST.in' 2019-10-20T04:38:23 writing manifest file 'pip-egg-info/provers.egg-info/SOURCES.txt' 2019-10-20T04:38:23 Source in /tmp/pip-wheel-njqiygk9/provers has version 0.1.3, which satisfies requirement provers==0.1.3 from https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 2019-10-20T04:38:23 Removed provers==0.1.3 from https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 from build tracker '/tmp/pip-req-tracker-7cxe_2c5' 2019-10-20T04:38:23 Building wheels for collected packages: provers 2019-10-20T04:38:23 Created temporary directory: /tmp/pip-wheel-q2kwkdot 2019-10-20T04:38:23 Building wheel for provers (setup.py): started 2019-10-20T04:38:23 Destination directory: /tmp/pip-wheel-q2kwkdot 2019-10-20T04:38:23 Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-njqiygk9/provers/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-q2kwkdot 2019-10-20T04:38:26 running bdist_wheel 2019-10-20T04:38:26 running build 2019-10-20T04:38:26 running build_py 2019-10-20T04:38:26 mkdir tmp || true 2019-10-20T04:38:26 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2019-10-20T04:38:27 --2019-10-20 04:38:27-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2019-10-20T04:38:27 Resolving www.cs.unm.edu (www.cs.unm.edu)... 2a00:1098:0:80:1000:3a:406a:144c, 64.106.20.76 2019-10-20T04:38:27 Connecting to www.cs.unm.edu (www.cs.unm.edu)|2a00:1098:0:80:1000:3a:406a:144c|:443... connected. 2019-10-20T04:38:29 HTTP request sent, awaiting response... 200 OK 2019-10-20T04:38:29 Length: 1795750 (1.7M) [application/x-gzip] 2019-10-20T04:38:29 Saving to: 'LADR-2009-11A.tar.gz' 2019-10-20T04:38:30 0K .......... .......... .......... .......... .......... 2% 180K 9s 2019-10-20T04:38:30 50K .......... .......... .......... .......... .......... 5% 347K 7s 2019-10-20T04:38:30 100K .......... .......... .......... .......... .......... 8% 11.3M 5s 2019-10-20T04:38:30 150K .......... .......... .......... .......... .......... 11% 11.5M 3s 2019-10-20T04:38:30 200K .......... .......... .......... .......... .......... 14% 360K 3s 2019-10-20T04:38:30 250K .......... .......... .......... .......... .......... 17% 11.7M 3s 2019-10-20T04:38:30 300K .......... .......... .......... .......... .......... 19% 11.7M 2s 2019-10-20T04:38:30 350K .......... .......... .......... .......... .......... 22% 11.3M 2s 2019-10-20T04:38:30 400K .......... .......... .......... .......... .......... 25% 384K 2s 2019-10-20T04:38:30 450K .......... .......... .......... .......... .......... 28% 11.7M 2s 2019-10-20T04:38:30 500K .......... .......... .......... .......... .......... 31% 11.3M 2s 2019-10-20T04:38:30 550K .......... .......... .......... .......... .......... 34% 11.7M 1s 2019-10-20T04:38:30 600K .......... .......... .......... .......... .......... 37% 11.2M 1s 2019-10-20T04:38:30 650K .......... .......... .......... .......... .......... 39% 11.7M 1s 2019-10-20T04:38:30 700K .......... .......... .......... .......... .......... 42% 11.3M 1s 2019-10-20T04:38:30 750K .......... .......... .......... .......... .......... 45% 11.7M 1s 2019-10-20T04:38:30 800K .......... .......... .......... .......... .......... 48% 8.71M 1s 2019-10-20T04:38:30 850K .......... .......... .......... .......... .......... 51% 456K 1s 2019-10-20T04:38:30 900K .......... .......... .......... .......... .......... 54% 11.7M 1s 2019-10-20T04:38:30 950K .......... .......... .......... .......... .......... 57% 11.5M 1s 2019-10-20T04:38:30 1000K .......... .......... .......... .......... .......... 59% 11.4M 1s 2019-10-20T04:38:30 1050K .......... .......... .......... .......... .......... 62% 11.7M 1s 2019-10-20T04:38:30 1100K .......... .......... .......... .......... .......... 65% 11.3M 0s 2019-10-20T04:38:30 1150K .......... .......... .......... .......... .......... 68% 11.7M 0s 2019-10-20T04:38:30 1200K .......... .......... .......... .......... .......... 71% 8.73M 0s 2019-10-20T04:38:30 1250K .......... .......... .......... .......... .......... 74% 335K 0s 2019-10-20T04:38:31 1300K .......... .......... .......... .......... .......... 76% 8.90M 0s 2019-10-20T04:38:31 1350K .......... .......... .......... .......... .......... 79% 29.3M 0s 2019-10-20T04:38:31 1400K .......... .......... .......... .......... .......... 82% 28.7M 0s 2019-10-20T04:38:31 1450K .......... .......... .......... .......... .......... 85% 13.2M 0s 2019-10-20T04:38:31 1500K .......... .......... .......... .......... .......... 88% 13.3M 0s 2019-10-20T04:38:31 1550K .......... .......... .......... .......... .......... 91% 8.91M 0s 2019-10-20T04:38:31 1600K .......... .......... .......... .......... .......... 94% 11.8M 0s 2019-10-20T04:38:31 1650K .......... .......... .......... .......... .......... 96% 428K 0s 2019-10-20T04:38:31 1700K .......... .......... .......... .......... .......... 99% 11.8M 0s 2019-10-20T04:38:31 1750K ... 100% 3.07M=1.2s 2019-10-20T04:38:31 2019-10-20 04:38:31 (1.45 MB/s) - 'LADR-2009-11A.tar.gz' saved [1795750/1795750] 2019-10-20T04:38:31 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2019-10-20T04:38:33 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2019-10-20T04:38:33 cd tmp/LADR-2009-11A && make all 2019-10-20T04:38:33 make[1]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A' 2019-10-20T04:38:33 cd ladr && make lib 2019-10-20T04:38:33 make[2]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:38:33 make libladr.a 2019-10-20T04:38:33 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:38:33 gcc -O -Wall -c -o order.o order.c 2019-10-20T04:38:33 gcc -O -Wall -c -o clock.o clock.c 2019-10-20T04:38:34 gcc -O -Wall -c -o nonport.o nonport.c 2019-10-20T04:38:34 gcc -O -Wall -c -o fatal.o fatal.c 2019-10-20T04:38:34 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2019-10-20T04:38:35 gcc -O -Wall -c -o memory.o memory.c 2019-10-20T04:38:35 gcc -O -Wall -c -o hash.o hash.c 2019-10-20T04:38:35 gcc -O -Wall -c -o string.o string.c 2019-10-20T04:38:36 gcc -O -Wall -c -o strbuf.o strbuf.c 2019-10-20T04:38:36 gcc -O -Wall -c -o glist.o glist.c 2019-10-20T04:38:37 gcc -O -Wall -c -o options.o options.c 2019-10-20T04:38:38 gcc -O -Wall -c -o symbols.o symbols.c 2019-10-20T04:38:38 symbols.c: In function 'declare_base_symbols': 2019-10-20T04:38:38 symbols.c:1304:7: warning: variable 'sn' set but not used [-Wunused-but-set-variable] 2019-10-20T04:38:38 int sn; 2019-10-20T04:38:38 ^~ 2019-10-20T04:38:39 gcc -O -Wall -c -o avltree.o avltree.c 2019-10-20T04:38:40 gcc -O -Wall -c -o term.o term.c 2019-10-20T04:38:41 gcc -O -Wall -c -o termflag.o termflag.c 2019-10-20T04:38:42 gcc -O -Wall -c -o listterm.o listterm.c 2019-10-20T04:38:42 gcc -O -Wall -c -o tlist.o tlist.c 2019-10-20T04:38:42 gcc -O -Wall -c -o flatterm.o flatterm.c 2019-10-20T04:38:43 gcc -O -Wall -c -o multiset.o multiset.c 2019-10-20T04:38:43 gcc -O -Wall -c -o termorder.o termorder.c 2019-10-20T04:38:43 gcc -O -Wall -c -o parse.o parse.c 2019-10-20T04:38:45 gcc -O -Wall -c -o accanon.o accanon.c 2019-10-20T04:38:45 gcc -O -Wall -c -o unify.o unify.c 2019-10-20T04:38:46 gcc -O -Wall -c -o fpalist.o fpalist.c 2019-10-20T04:38:46 gcc -O -Wall -c -o fpa.o fpa.c 2019-10-20T04:38:47 gcc -O -Wall -c -o discrim.o discrim.c 2019-10-20T04:38:47 gcc -O -Wall -c -o discrimb.o discrimb.c 2019-10-20T04:38:47 discrimb.c:487:7: warning: 'check_flat2' defined but not used [-Wunused-function] 2019-10-20T04:38:47 Flat2 check_flat2(Flat2 f) 2019-10-20T04:38:47 ^~~~~~~~~~~ 2019-10-20T04:38:48 gcc -O -Wall -c -o discrimw.o discrimw.c 2019-10-20T04:38:48 discrimw.c:146:6: warning: 'check_flat' defined but not used [-Wunused-function] 2019-10-20T04:38:48 Flat check_flat(Flat f) 2019-10-20T04:38:48 ^~~~~~~~~~ 2019-10-20T04:38:48 gcc -O -Wall -c -o dioph.o dioph.c 2019-10-20T04:38:49 gcc -O -Wall -c -o btu.o btu.c 2019-10-20T04:38:50 gcc -O -Wall -c -o btm.o btm.c 2019-10-20T04:38:51 gcc -O -Wall -c -o mindex.o mindex.c 2019-10-20T04:38:52 mindex.c: In function 'mindex_retrieve_next': 2019-10-20T04:38:52 mindex.c:650:11: warning: variable 'tr' set but not used [-Wunused-but-set-variable] 2019-10-20T04:38:52 Trail tr; 2019-10-20T04:38:52 ^~ 2019-10-20T04:38:52 gcc -O -Wall -c -o basic.o basic.c 2019-10-20T04:38:52 gcc -O -Wall -c -o attrib.o attrib.c 2019-10-20T04:38:53 gcc -O -Wall -c -o formula.o formula.c 2019-10-20T04:38:54 gcc -O -Wall -c -o definitions.o definitions.c 2019-10-20T04:38:55 gcc -O -Wall -c -o literals.o literals.c 2019-10-20T04:38:55 gcc -O -Wall -c -o topform.o topform.c 2019-10-20T04:38:56 gcc -O -Wall -c -o clist.o clist.c 2019-10-20T04:38:57 gcc -O -Wall -c -o clauseid.o clauseid.c 2019-10-20T04:38:57 gcc -O -Wall -c -o clauses.o clauses.c 2019-10-20T04:38:57 gcc -O -Wall -c -o just.o just.c 2019-10-20T04:38:59 gcc -O -Wall -c -o cnf.o cnf.c 2019-10-20T04:38:59 gcc -O -Wall -c -o clausify.o clausify.c 2019-10-20T04:39:00 gcc -O -Wall -c -o parautil.o parautil.c 2019-10-20T04:39:00 gcc -O -Wall -c -o pindex.o pindex.c 2019-10-20T04:39:01 gcc -O -Wall -c -o compress.o compress.c 2019-10-20T04:39:01 gcc -O -Wall -c -o maximal.o maximal.c 2019-10-20T04:39:02 gcc -O -Wall -c -o lindex.o lindex.c 2019-10-20T04:39:02 gcc -O -Wall -c -o weight.o weight.c 2019-10-20T04:39:02 gcc -O -Wall -c -o weight2.o weight2.c 2019-10-20T04:39:03 gcc -O -Wall -c -o int_code.o int_code.c 2019-10-20T04:39:03 gcc -O -Wall -c -o features.o features.c 2019-10-20T04:39:03 gcc -O -Wall -c -o di_tree.o di_tree.c 2019-10-20T04:39:04 gcc -O -Wall -c -o fastparse.o fastparse.c 2019-10-20T04:39:04 gcc -O -Wall -c -o random.o random.c 2019-10-20T04:39:05 gcc -O -Wall -c -o subsume.o subsume.c 2019-10-20T04:39:05 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2019-10-20T04:39:06 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2019-10-20T04:39:06 gcc -O -Wall -c -o complex.o complex.c 2019-10-20T04:39:06 complex.c: In function 'complex4_p1': 2019-10-20T04:39:06 complex.c:275:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:06 BOOL dummy; 2019-10-20T04:39:06 ^~~~~ 2019-10-20T04:39:06 gcc -O -Wall -c -o dollar.o dollar.c 2019-10-20T04:39:07 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2019-10-20T04:39:07 flatdemod.c: In function 'discrim_flat_retrieve_leaf': 2019-10-20T04:39:07 flatdemod.c:122:16: warning: comparison between 'BOOL {aka enum }' and 'enum ' [-Wenum-compare] 2019-10-20T04:39:07 if (status == BACKTRACK) { 2019-10-20T04:39:07 ^~ 2019-10-20T04:39:07 flatdemod.c:158:15: warning: variable 'dd' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:07 Discrim dd = NULL; 2019-10-20T04:39:07 ^~ 2019-10-20T04:39:07 flatdemod.c:167:16: warning: comparison between 'BOOL {aka enum }' and 'enum ' [-Wenum-compare] 2019-10-20T04:39:07 if (status == GO) { 2019-10-20T04:39:07 ^~ 2019-10-20T04:39:07 gcc -O -Wall -c -o demod.o demod.c 2019-10-20T04:39:08 demod.c: In function 'demod1': 2019-10-20T04:39:08 demod.c:376:8: warning: variable 'result' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:08 Term result; 2019-10-20T04:39:08 ^~~~~~ 2019-10-20T04:39:08 gcc -O -Wall -c -o clash.o clash.c 2019-10-20T04:39:08 clash.c: In function 'clash_recurse': 2019-10-20T04:39:08 clash.c:283:12: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] 2019-10-20T04:39:08 else if (!p->clashable | p->clashed) 2019-10-20T04:39:08 ^~~~~~~~~~~~~ 2019-10-20T04:39:08 gcc -O -Wall -c -o resolve.o resolve.c 2019-10-20T04:39:09 gcc -O -Wall -c -o paramod.o paramod.c 2019-10-20T04:39:09 paramod.c: In function 'para_into': 2019-10-20T04:39:09 paramod.c:347:8: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] 2019-10-20T04:39:09 if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2019-10-20T04:39:10 gcc -O -Wall -c -o backdemod.o backdemod.c 2019-10-20T04:39:10 gcc -O -Wall -c -o hints.o hints.c 2019-10-20T04:39:11 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2019-10-20T04:39:11 gcc -O -Wall -c -o xproofs.o xproofs.c 2019-10-20T04:39:12 gcc -O -Wall -c -o ivy.o ivy.c 2019-10-20T04:39:12 ivy.c: In function 'factor2_instances': 2019-10-20T04:39:12 ivy.c:633:14: warning: variable 'l1i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:12 Literals l1i, l2i, lit; 2019-10-20T04:39:12 ^~~ 2019-10-20T04:39:13 gcc -O -Wall -c -o interp.o interp.c 2019-10-20T04:39:13 interp.c: In function 'transpose_binary': 2019-10-20T04:39:13 interp.c:358:10: warning: variable 'rc' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:13 int i, rc; 2019-10-20T04:39:13 ^~ 2019-10-20T04:39:15 gcc -O -Wall -c -o std_options.o std_options.c 2019-10-20T04:39:16 gcc -O -Wall -c -o banner.o banner.c 2019-10-20T04:39:16 gcc -O -Wall -c -o ioutil.o ioutil.c 2019-10-20T04:39:16 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2019-10-20T04:39:17 gcc -O -Wall -c -o top_input.o top_input.c 2019-10-20T04:39:18 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2019-10-20T04:39:18 ar: creating libladr.a 2019-10-20T04:39:18 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:18 make[2]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:18 cd mace4.src && make all 2019-10-20T04:39:18 make[2]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:18 cd ../ladr && make libladr.a 2019-10-20T04:39:18 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:18 make[3]: 'libladr.a' is up to date. 2019-10-20T04:39:18 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:18 make clean 2019-10-20T04:39:18 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:18 /bin/rm -f *.o 2019-10-20T04:39:19 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:19 make libmace4.a 2019-10-20T04:39:19 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:19 gcc -O -Wall -c -o estack.o estack.c 2019-10-20T04:39:19 gcc -O -Wall -c -o util.o util.c 2019-10-20T04:39:19 gcc -O -Wall -c -o print.o print.c 2019-10-20T04:39:20 gcc -O -Wall -c -o syms.o syms.c 2019-10-20T04:39:20 gcc -O -Wall -c -o ground.o ground.c 2019-10-20T04:39:21 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2019-10-20T04:39:21 gcc -O -Wall -c -o select.o select.c 2019-10-20T04:39:22 select.c: In function 'select_concentric_band': 2019-10-20T04:39:22 select.c:236:5: warning: type of 'min_id' defaults to 'int' [-Wimplicit-int] 2019-10-20T04:39:22 int select_concentric_band(min_id, max_id, max_constrained) 2019-10-20T04:39:22 ^~~~~~~~~~~~~~~~~~~~~~ 2019-10-20T04:39:22 select.c:236:5: warning: type of 'max_id' defaults to 'int' [-Wimplicit-int] 2019-10-20T04:39:22 select.c:236:5: warning: type of 'max_constrained' defaults to 'int' [-Wimplicit-int] 2019-10-20T04:39:22 gcc -O -Wall -c -o propagate.o propagate.c 2019-10-20T04:39:22 gcc -O -Wall -c -o mstate.o mstate.c 2019-10-20T04:39:23 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2019-10-20T04:39:23 gcc -O -Wall -c -o negprop.o negprop.c 2019-10-20T04:39:24 gcc -O -Wall -c -o ordercells.o ordercells.c 2019-10-20T04:39:24 gcc -O -Wall -c -o commandline.o commandline.c 2019-10-20T04:39:25 gcc -O -Wall -c -o msearch.o msearch.c 2019-10-20T04:39:25 msearch.c: In function 'next_domain_size': 2019-10-20T04:39:25 msearch.c:850:5: warning: type of 'n' defaults to 'int' [-Wimplicit-int] 2019-10-20T04:39:25 int next_domain_size(n) 2019-10-20T04:39:25 ^~~~~~~~~~~~~~~~ 2019-10-20T04:39:26 ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o 2019-10-20T04:39:26 ar: creating libmace4.a 2019-10-20T04:39:26 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:26 gcc -O -Wall -c -o mace4.o mace4.c 2019-10-20T04:39:26 mace4.c: In function 'init_attrs': 2019-10-20T04:39:26 mace4.c:36:7: warning: variable 'id' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:26 int id; 2019-10-20T04:39:26 ^~ 2019-10-20T04:39:26 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2019-10-20T04:39:27 /bin/mv mace4 ../bin 2019-10-20T04:39:27 make[2]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:27 cd provers.src && make all 2019-10-20T04:39:27 make[2]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:27 cd ../ladr && make libladr 2019-10-20T04:39:27 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:27 make libladr.a 2019-10-20T04:39:27 make[4]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:27 make[4]: 'libladr.a' is up to date. 2019-10-20T04:39:27 make[4]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:27 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:27 make clean 2019-10-20T04:39:27 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:27 /bin/rm -f *.o 2019-10-20T04:39:27 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:27 cd ../mace4.src && make libmace4 2019-10-20T04:39:27 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:27 make libmace4.a 2019-10-20T04:39:27 make[4]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:27 make[4]: 'libmace4.a' is up to date. 2019-10-20T04:39:27 make[4]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:27 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2019-10-20T04:39:27 make clean 2019-10-20T04:39:27 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:27 /bin/rm -f *.o 2019-10-20T04:39:27 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:27 gcc -O -Wall -c -o prover9.o prover9.c 2019-10-20T04:39:27 gcc -O -Wall -c -o index_lits.o index_lits.c 2019-10-20T04:39:27 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2019-10-20T04:39:28 gcc -O -Wall -c -o demodulate.o demodulate.c 2019-10-20T04:39:28 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2019-10-20T04:39:29 gcc -O -Wall -c -o unfold.o unfold.c 2019-10-20T04:39:29 gcc -O -Wall -c -o semantics.o semantics.c 2019-10-20T04:39:29 gcc -O -Wall -c -o giv_select.o giv_select.c 2019-10-20T04:39:30 gcc -O -Wall -c -o white_black.o white_black.c 2019-10-20T04:39:30 gcc -O -Wall -c -o actions.o actions.c 2019-10-20T04:39:31 gcc -O -Wall -c -o search.o search.c 2019-10-20T04:39:34 gcc -O -Wall -c -o utilities.o utilities.c 2019-10-20T04:39:35 gcc -O -Wall -c -o provers.o provers.c 2019-10-20T04:39:35 gcc -O -Wall -c -o foffer.o foffer.c 2019-10-20T04:39:35 gcc -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:36 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2019-10-20T04:39:36 gcc -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:36 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2019-10-20T04:39:37 gcc -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:37 gcc -O -Wall -c -o newauto.o newauto.c 2019-10-20T04:39:38 gcc -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:38 gcc -O -Wall -c -o newsax.o newsax.c 2019-10-20T04:39:38 gcc -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:39 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2019-10-20T04:39:39 gcc -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:39 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2019-10-20T04:39:40 tptp_to_ladr.c: In function 'main': 2019-10-20T04:39:40 tptp_to_ladr.c:84:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:40 int i; 2019-10-20T04:39:40 ^ 2019-10-20T04:39:40 gcc -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2019-10-20T04:39:40 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2019-10-20T04:39:40 /bin/rm -f *.o 2019-10-20T04:39:40 make[2]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/provers.src' 2019-10-20T04:39:40 cd apps.src && make all 2019-10-20T04:39:40 make[2]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/apps.src' 2019-10-20T04:39:40 cd ../ladr && make libladr.a 2019-10-20T04:39:41 make[3]: Entering directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:41 make[3]: 'libladr.a' is up to date. 2019-10-20T04:39:41 make[3]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/ladr' 2019-10-20T04:39:41 gcc -O -Wall -c -o latfilter.o latfilter.c 2019-10-20T04:39:41 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2019-10-20T04:39:41 gcc -O -Wall -c -o olfilter.o olfilter.c 2019-10-20T04:39:42 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2019-10-20T04:39:42 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2019-10-20T04:39:42 clausefilter.c: In function 'main': 2019-10-20T04:39:42 clausefilter.c:109:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:42 int i; 2019-10-20T04:39:42 ^ 2019-10-20T04:39:42 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2019-10-20T04:39:43 gcc -O -Wall -c -o idfilter.o idfilter.c 2019-10-20T04:39:43 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2019-10-20T04:39:43 gcc -O -Wall -c -o renamer.o renamer.c 2019-10-20T04:39:44 renamer.c: In function 'main': 2019-10-20T04:39:44 renamer.c:54:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:44 int i; 2019-10-20T04:39:44 ^ 2019-10-20T04:39:44 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2019-10-20T04:39:44 gcc -O -Wall -c -o unfast.o unfast.c 2019-10-20T04:39:44 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2019-10-20T04:39:45 gcc -O -Wall -c -o clausetester.o clausetester.c 2019-10-20T04:39:45 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2019-10-20T04:39:45 gcc -O -Wall -c -o rewriter.o rewriter.c 2019-10-20T04:39:46 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2019-10-20T04:39:46 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2019-10-20T04:39:46 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2019-10-20T04:39:46 gcc -O -Wall -c -o isofilter.o isofilter.c 2019-10-20T04:39:47 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2019-10-20T04:39:47 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2019-10-20T04:39:47 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2019-10-20T04:39:48 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2019-10-20T04:39:48 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2019-10-20T04:39:48 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2019-10-20T04:39:49 interpfilter.c: In function 'main': 2019-10-20T04:39:49 interpfilter.c:66:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:49 int i; 2019-10-20T04:39:49 ^ 2019-10-20T04:39:49 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2019-10-20T04:39:49 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2019-10-20T04:39:49 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2019-10-20T04:39:50 gcc -O -Wall -c -o miniscope.o miniscope.c 2019-10-20T04:39:50 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2019-10-20T04:39:50 gcc -O -Wall -c -o interpformat.o interpformat.c 2019-10-20T04:39:51 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2019-10-20T04:39:51 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2019-10-20T04:39:51 prooftrans.c: In function 'main': 2019-10-20T04:39:51 prooftrans.c:225:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:51 int label_attr, answer_attr, props_attr; 2019-10-20T04:39:51 ^~~~~~~~~~ 2019-10-20T04:39:51 prooftrans.c:222:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:51 int rc, n, number_of_proofs; 2019-10-20T04:39:51 ^~ 2019-10-20T04:39:52 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2019-10-20T04:39:52 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2019-10-20T04:39:52 mirror-flip.c: In function 'main': 2019-10-20T04:39:52 mirror-flip.c:129:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:52 int i; 2019-10-20T04:39:52 ^ 2019-10-20T04:39:52 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2019-10-20T04:39:52 gcc -O -Wall -c -o perm3.o perm3.c 2019-10-20T04:39:53 perm3.c: In function 'main': 2019-10-20T04:39:53 perm3.c:120:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:53 int i; 2019-10-20T04:39:53 ^ 2019-10-20T04:39:53 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2019-10-20T04:39:53 gcc -O -Wall -c -o sigtest.o sigtest.c 2019-10-20T04:39:53 sigtest.c: In function 'main': 2019-10-20T04:39:53 sigtest.c:33:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:53 int i; 2019-10-20T04:39:53 ^ 2019-10-20T04:39:53 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2019-10-20T04:39:54 gcc -O -Wall -c -o directproof.o directproof.c 2019-10-20T04:39:54 directproof.c: In function 'main': 2019-10-20T04:39:54 directproof.c:645:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:54 int label_attr, answer_attr, props_attr; 2019-10-20T04:39:54 ^~~~~~~~~~ 2019-10-20T04:39:54 directproof.c:645:7: warning: variable 'label_attr' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:54 int label_attr, answer_attr, props_attr; 2019-10-20T04:39:54 ^~~~~~~~~~ 2019-10-20T04:39:54 directproof.c:642:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:54 int rc, n, number_of_proofs; 2019-10-20T04:39:54 ^~ 2019-10-20T04:39:55 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2019-10-20T04:39:55 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2019-10-20T04:39:55 test_clause_eval.c: In function 'main': 2019-10-20T04:39:55 test_clause_eval.c:31:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:55 int i; 2019-10-20T04:39:55 ^ 2019-10-20T04:39:55 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2019-10-20T04:39:55 gcc -O -Wall -c -o test_complex.o test_complex.c 2019-10-20T04:39:56 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2019-10-20T04:39:56 gcc -O -Wall -c -o complex.o complex.c 2019-10-20T04:39:56 complex.c: In function 'complex4_p1': 2019-10-20T04:39:56 complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:56 BOOL dummy; 2019-10-20T04:39:56 ^~~~~ 2019-10-20T04:39:56 complex.c: In function 'main': 2019-10-20T04:39:56 complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable] 2019-10-20T04:39:56 double d; 2019-10-20T04:39:56 ^ 2019-10-20T04:39:56 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2019-10-20T04:39:57 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2019-10-20T04:39:57 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2019-10-20T04:39:57 /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin 2019-10-20T04:39:57 /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs 2019-10-20T04:39:57 make[2]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A/apps.src' 2019-10-20T04:39:57 /bin/cp -p utilities/* bin 2019-10-20T04:39:58 **** Now try 'make test1'. **** 2019-10-20T04:39:58 make[1]: Leaving directory '/tmp/pip-wheel-njqiygk9/provers/bin/tmp/LADR-2009-11A' 2019-10-20T04:39:58 cp tmp/LADR-2009-11A/bin/mace4 . 2019-10-20T04:39:58 cp tmp/LADR-2009-11A/bin/prover9 . 2019-10-20T04:39:58 rm -rf tmp 2019-10-20T04:39:58 creating build 2019-10-20T04:39:58 creating build/lib 2019-10-20T04:39:58 creating build/lib/provers 2019-10-20T04:39:58 copying provers/__main__.py -> build/lib/provers 2019-10-20T04:39:58 copying provers/__init__.py -> build/lib/provers 2019-10-20T04:39:58 installing to build/bdist.linux-armv7l/wheel 2019-10-20T04:39:58 running install 2019-10-20T04:39:58 running install_lib 2019-10-20T04:39:58 creating build/bdist.linux-armv7l 2019-10-20T04:39:58 creating build/bdist.linux-armv7l/wheel 2019-10-20T04:39:58 creating build/bdist.linux-armv7l/wheel/provers 2019-10-20T04:39:58 copying build/lib/provers/__main__.py -> build/bdist.linux-armv7l/wheel/provers 2019-10-20T04:39:58 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2019-10-20T04:39:58 running install_egg_info 2019-10-20T04:39:58 running egg_info 2019-10-20T04:39:58 writing provers.egg-info/PKG-INFO 2019-10-20T04:39:58 writing entry points to provers.egg-info/entry_points.txt 2019-10-20T04:39:58 writing top-level names to provers.egg-info/top_level.txt 2019-10-20T04:39:58 writing dependency_links to provers.egg-info/dependency_links.txt 2019-10-20T04:39:58 reading manifest file 'provers.egg-info/SOURCES.txt' 2019-10-20T04:39:58 reading manifest template 'MANIFEST.in' 2019-10-20T04:39:58 writing manifest file 'provers.egg-info/SOURCES.txt' 2019-10-20T04:39:58 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.3-py3.5.egg-info 2019-10-20T04:39:58 running install_scripts 2019-10-20T04:39:58 creating build/bdist.linux-armv7l/wheel/provers-0.1.3.dist-info/WHEEL 2019-10-20T04:39:59 Building wheel for provers (setup.py): finished with status 'done' 2019-10-20T04:39:59 Stored in directory: /tmp/tmptfneqp8z 2019-10-20T04:39:59 Successfully built provers 2019-10-20T04:39:59 Cleaning up... 2019-10-20T04:39:59 Removing source in /tmp/pip-wheel-njqiygk9/provers 2019-10-20T04:39:59 Removed build tracker '/tmp/pip-req-tracker-7cxe_2c5'