[Bug 211903] [New Port] math/eprover : Theorem prover for full first-order logic with equality

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211903

Wen Heping <wen at FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wen at FreeBSD.org

--- Comment #1 from Wen Heping <wen at FreeBSD.org> ---
Hi,

    The build failed with the message: 

=======================<phase: configure      >============================
===>  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 LEARN 
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 
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=gnu99   -I../include    -DNDEBUG
-DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT  -DMEMORY_RESERVE_PARANOID 
-DPRINT_TSTP_STATUS  -DSTACK_SIZE=32768     -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

-- 
You are receiving this mail because:
You are the assignee for the bug.