-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Can't build under linux #1
Comments
Build system switched from autotools to cmake, so this problem should be fixed. Need to be tested. |
Much better but still has some warnings: [ 8%] Building C object metamath/CMakeFiles/metamath.dir/mmdata.c.o
|
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)
The text was updated successfully, but these errors were encountered: