Failed to build PolymakeInterface

[olexandr-konovalov]

PolymakeInterface can not be built in this container: https://hub.docker.com/r/gapsystem/gap-docker-stable-4.9/builds/bssnedustjahztwhuurcpe/

==== Checking PolymakeInterface

Running './configure' '/home/gap/inst/gap-stable-4.9' 

Running 'make' 
mkdir -p bin/x86_64-pc-linux-gnu-default64
cp /home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/config.h bin/x86_64-pc-linux-gnu-default64/
g++ -fPIC -march=native -ftemplate-depth-200 -Wall -Wno-strict-aliasing -Wno-parentheses -fwrapv -fopenmp -O3 -DPOLYMAKE_DEBUG=0 -I/usr/local/include -Isystem/include -fPIC -Wall -O0 -g -pipe -m64 -o bin/x86_64-pc-linux-gnu-default64/polymake_fktn.o -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/extern/gmp/include -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/../.. -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64 -DCONFIG_H -c src/polymake_fktn.cpp	

cp /home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/config.h bin/x86_64-pc-linux-gnu-default64/

g++ -fPIC -march=native -ftemplate-depth-200 -Wall -Wno-strict-aliasing -Wno-parentheses -fwrapv -fopenmp -O3 -DPOLYMAKE_DEBUG=0 -I/usr/local/include -Isystem/include -fPIC -Wall -O0 -g -pipe -m64 -o bin/x86_64-pc-linux-gnu-default64/polymake_main.o -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/extern/gmp/include -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64/../.. -I/home/gap/inst/gap-stable-4.9/bin/x86_64-pc-linux-gnu-default64 -DCONFIG_H -c src/polymake_main.cpp

src/polymake_main.cpp: In function 'Int InitKernel(StructInitInfo*)':
src/polymake_main.cpp:767:14: error: 'T_POLYMAKE' was not declared in this scope
InfoBags[T_POLYMAKE].name = "ExternalPolymakeObject";
^

make: *** [bin/x86_64-pc-linux-gnu-default64/polymake_main.o] Error 1

WARNING: Failed to build PolymakeInterface

Sun Jan 28 06:01:18 UTC 2018

Need to check containers for other branches.