Date: Tue, 23 Aug 2016 00:14:56 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 211903] [New Port] math/eprover : Theorem prover for full first-order logic with equality Message-ID: <bug-211903-13-47OqHVWnW0@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-211903-13@https.bugs.freebsd.org/bugzilla/> References: <bug-211903-13@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D211903 Wen Heping <wen@FreeBSD.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |wen@FreeBSD.org --- Comment #1 from Wen Heping <wen@FreeBSD.org> --- Hi, The build failed with the message:=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<phase= : configure >=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D> Configuring for eprover-1.9 Configuring with executable path /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/ /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/man/man1/ echo 'Configuring build system and tools' Configuring build system and tools make links cd include; touch does_exist.h; rm *.h cd lib; touch does_exist.a; rm *.a cd include; for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL EXTERNAL PROVER; do for file in ../$subdir/*.h; do ln -s $file .; done; done; cd lib; for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LE= ARN=20 ANALYSIS PCL2 HEURISTICS CONTROL; do ln -s ../$subdir/$subdir.a .; done; make tools cd development_tools;make tools Configuring tools ./configure_tools Using tail -n Your which command works! /usr/bin/awk configure_tools: Cannot find gawk, trying awk (untested) configure_tools: No Python available, tools unconfigured. configure_tools: Try to get Python 2.X installed in your search path. ./configure_bash_scripts configure_bash_scripts: Cannot find bash, trying /bin/sh (untested) cd PYTHON; make tools Configuring tools ../development_tools/configure_tools Using tail -n Your which command works! /usr/bin/awk configure_tools: Cannot find gawk, trying awk (untested) configure_tools: No Python available, tools unconfigured. configure_tools: Try to get Python 2.X installed in your search path. make depend for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN=20 ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do cd $subdir; touch Makefile.dependencies; make depend; cd ..; done; gcc -M -O4 -fomit-frame-pointer -Wall -std=3Dgnu99 -I../include -DNDEB= UG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID=20 -DPRINT_TSTP_STATUS -DSTACK_SIZE=3D32768 -DCLAUSE_PERM_IDENT *.c > Makefile.dependencies /bin/sh: gcc: not found *** Error code 127 Stop. make[3]: stopped in /wrkdirs/usr/ports/math/eprover/work/E/BASICS *** Error code 1 Stop. make[2]: stopped in /wrkdirs/usr/ports/math/eprover/work/E *** Error code 1 Stop. make[1]: stopped in /wrkdirs/usr/ports/math/eprover/work/E Would you test it again ? wen --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-211903-13-47OqHVWnW0>