|
From: Andrey G. G. <A.G...@in...> - 2015-10-08 14:44:32
|
On Wed, 7 Oct 2015, Rainer Schöpf wrote: > ./config.sub x86_64-pc-linux-gnu x86_64-pc-linux-gnu > ./config.sub x86_64-unknown-linux-gnu x86_64-unknown-linux-gnu > ./configure --with-psl configure: Absolute path to source directory = /home/grozin/reduce-3235 checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu configure: with_crlibm = yes in-place build attempt = yes configure: host=x86_64-pc-linux-gnu args= '--with-psl' configure: Will build in the x86_64-pc-linux-gnu subdirectory configure: +++ Will build in /home/grozin/reduce-3235/pslbuild/x86_64-pc-linux-gnu checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for cygpath... no configure: Build platform specified as x86_64-pc-linux-gnu configure: Will build this PSL using the AMD64_ext initial binaries checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile Andrey |