search

dmitry-vlasov / russell

An implementation of the Russell logical framework
GNU General Public License v3.0
8 stars 0 forks source link

Can't build under linux #1

Open arozhd opened 7 years ago

arozhd commented 7 years ago

Subject. Step to reproduce: just run ./run from project dir

Log output: ./run

COMPILING THE PROJECT ...

configure.ac:32: error: required file './config.guess' not found configure.ac:32: 'automake --add-missing' can install 'config.guess' configure.ac:32: error: required file './config.sub' not found configure.ac:32: 'automake --add-missing' can install 'config.sub' configure.ac:8: error: required file './install-sh' not found configure.ac:8: 'automake --add-missing' can install 'install-sh' configure.ac:8: error: required file './missing' not found configure.ac:8: 'automake --add-missing' can install 'missing' metamath/Makefile.am: error: required file './depcomp' not found metamath/Makefile.am: 'automake --add-missing' can install 'depcomp' configure: WARNING: unrecognized options: --disable-shared configure: error: cannot find install-sh, install.sh, or shtool in "../.." "../../.." "../../../.." make: *** No targets specified and no makefile found. Stop.

compiling the project - DONE

MM -> MM CUTTING

cut: mm -> mm COMMAND: /opt/russell/scripts/../build/release/bin/mdl "mm opts verbose" "mm cut in=uset-100000.mm out=uset-100000.smm out-root=mm" exit run_check: line 4: /opt/russell/scripts/../build/release/bin/mdl: No such file or directory

TEST FAILED.

Additionally: uname -ar Linux pc-server 4.2.3-200.el7.armv7hl #1 SMP Wed Nov 25 18:01:51 EST 2015 armv7l armv7l armv7l GNU/Linux cat /etc/redhat-release CentOS Linux release 7.3.1611 (Core)

dmitry-vlasov commented 7 years ago

Build system switched from autotools to cmake, so this problem should be fixed. Need to be tested.

arozhd commented 7 years ago

Much better but still has some warnings: In file included from /usr/include/c++/4.8.2/thread:35:0, from /opt/russell/src/../include/std.hpp:33, from /opt/russell/src/../include/timer.hpp:3, from /opt/russell/src/com/timer.cpp:13: /usr/include/c++/4.8.2/bits/c++0x_warning.h:32:2: error: #error This file requires compiler and library support for the ISO C++ 2011 standard. This support is currently experimental, and must be enabled with the -std=c++11 or -std=gnu++11 compiler options.

error This file requires compiler and library support for the \

^ [ 6%] Building C object metamath/CMakeFiles/metamath.dir/mmcmds.c.o In file included from /opt/russell/src/../include/timer.hpp:3:0, from /opt/russell/src/com/timer.cpp:13: /opt/russell/src/../include/std.hpp:88:13: error: 'std::to_string' has not been declared using std::to_string; ^ /opt/russell/src/../include/std.hpp:90:10: error: 'uint32_t' in namespace 'std' does not name a type typedef std::uint32_t uint; ^ /opt/russell/src/../include/std.hpp:101:13: error: 'std::thread' has not been declared using std::thread; ^ /opt/russell/src/../include/std.hpp:102:13: error: 'std::mutex' has not been declared using std::mutex; ^ /opt/russell/src/../include/std.hpp:103:13: error: 'std::unordered_map' has not been declared using std::unordered_map; ^ /opt/russell/src/../include/std.hpp:104:13: error: 'std::unordered_set' has not been declared using std::unordered_set; ^ /opt/russell/src/../include/std.hpp:106:13: error: 'std::unique_ptr' has not been declared using std::unique_ptr; ^ /opt/russell/src/../include/std.hpp:107:13: error: 'std::shared_ptr' has not been declared using std::shared_ptr; ^ /opt/russell/src/../include/std.hpp:108:13: error: 'std::weak_ptr' has not been declared using std::weak_ptr; ^ /opt/russell/src/../include/std.hpp:109:13: error: 'std::make_shared' has not been declared using std::make_shared; ^ /opt/russell/src/../include/std.hpp:110:13: error: 'std::make_unique' has not been declared using std::make_unique; ^ /opt/russell/src/../include/std.hpp:113:13: error: 'std::function' has not been declared using std::function;

[ 8%] Building C object metamath/CMakeFiles/metamath.dir/mmdata.c.o make[2]: [src/CMakeFiles/mdl.dir/com/timer.cpp.o] Error 1 make[1]: [src/CMakeFiles/mdl.dir/all] Error 2 make[1]: Waiting for unfinished jobs.... [ 10%] Building C object metamath/CMakeFiles/metamath.dir/mmhlpa.c.o [ 13%] Building C object metamath/CMakeFiles/metamath.dir/mmhlpb.c.o [ 15%] Building C object metamath/CMakeFiles/metamath.dir/mminou.c.o [ 17%] Building C object metamath/CMakeFiles/metamath.dir/mmmaci.c.o [ 19%] Building C object metamath/CMakeFiles/metamath.dir/mmpars.c.o [ 21%] Building C object metamath/CMakeFiles/metamath.dir/mmpfas.c.o [ 23%] Building C object metamath/CMakeFiles/metamath.dir/mmunif.c.o [ 26%] Building C object metamath/CMakeFiles/metamath.dir/mmutil.c.o [ 28%] Building C object metamath/CMakeFiles/metamath.dir/mmveri.c.o [ 30%] Building C object metamath/CMakeFiles/metamath.dir/mmvstr.c.o [ 32%] [ 34%] Building C object metamath/CMakeFiles/metamath.dir/mmword.c.o Building C object metamath/CMakeFiles/metamath.dir/mmwtex.c.o [ 36%] Building C object metamath/CMakeFiles/metamath.dir/metamath.c.o Linking C executable metamath [ 36%] Built target metamath make: [all] Error 2

building the project - DONE

MM -> MM CUTTING

cut: mm -> mm run_check: line 4: /opt/russell/scripts/../build/release/bin/mdl: No such file or directory

TEST FAILED.

Additionally: pay attention for compiler version. This is because of centos updates happen much rare