=> Bootstrap dependency digest>=20010302: found digest-20080510 => Bootstrap dependency fetch-[0-9]*: found fetch-1.7 => Checksum SHA1 OK for fricas-1.1.3-full.tar.bz2 => Checksum RMD160 OK for fricas-1.1.3-full.tar.bz2 ===> Installing dependencies for fricas-1.1.3 ========================================================================== The supported build options for fricas are: clisp ecl sbcl x11 The currently selected options are: clisp x11 You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.fricas (not defined) ========================================================================== => Build dependency noweb-[0-9]*: found noweb-2.11b => Build dependency clisp>=2.41: found clisp-2.49nb5 => Build dependency kbproto>=1.0.2: found kbproto-1.0.5 => Build dependency xproto>=7.0.9: found xproto-7.0.18 => Build dependency xcb-proto>=1.4: found xcb-proto-1.6 => Build dependency checkperms>=1.1: found checkperms-1.11 => Full dependency libX11>=1.1: found libX11-1.3.5 => Full dependency libXpm>=3.5.4.2: found libXpm-3.5.8nb1 => Full dependency libXt>=1.0.0: found libXt-1.0.8 ===> Overriding tools for fricas-1.1.3 ===> Extracting for fricas-1.1.3 ===> Patching for fricas-1.1.3 ===> Creating toolchain wrappers for fricas-1.1.3 ===> Configuring for fricas-1.1.3 => Modifying GNU configure scripts to avoid --recheck => Replacing config-guess with pkgsrc versions => Replacing config-sub with pkgsrc versions => Replacing install-sh with pkgsrc version => Checking for portability problems in extracted files checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for make... make checking for x86_64-unknown-linux-gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c -o pbulk -g pbulk checking for touch... /usr/bin/touch checking for mktemp... mktemp checking for gawk... /usr/bin/awk checking for gtar... /bin/tar checking for x86_64-unknown-linux-ranlib... no checking for ranlib... ranlib checking for ar... ar checking for latex... no checking for makeindex... no checking for notangle... notangle checking for noweave... noweave checking Lisp implementation... i i i i i i i ooooo o ooooooo ooooo ooooo I I I I I I I 8 8 8 8 8 o 8 8 I \ `+' / I 8 8 8 8 8 8 \ `-+-' / 8 8 8 ooooo 8oooo `-__|__-' 8 8 8 8 8 | 8 o 8 8 o 8 8 ------+------ ooooo 8oooooo ooo8ooo ooooo 8 Welcome to GNU CLISP 2.49 (2010-07-07) Copyright (c) Bruno Haible, Michael Stoll 1992, 1993 Copyright (c) Bruno Haible, Marcus Daniels 1994-1997 Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998 Copyright (c) Bruno Haible, Sam Steingold 1999-2000 Copyright (c) Sam Steingold, Bruno Haible 2001-2010 Type :h and hit Enter for context help. [1]> ;; Loading file /tmp/pkgsrc/math/fricas/work/fricas-1.1.3/config.lisp ... Bye. clisp checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... (cached) /bin/grep checking for egrep... (cached) /bin/egrep checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes fas checking signal.h usability... yes checking signal.h presence... yes checking for signal.h... yes checking whether sigaction is declared... yes checking for sys/stat.h... (cached) yes checking for unistd.h... (cached) yes checking whether getuid is declared... yes checking whether geteuid is declared... yes checking whether getgid is declared... yes checking whether getegid is declared... yes checking whether kill is declared... yes checking sys/socket.h usability... yes checking sys/socket.h presence... yes checking for sys/socket.h... yes checking util.h usability... no checking util.h presence... no checking for util.h... no checking pty.h usability... yes checking pty.h presence... yes checking for pty.h... yes checking whether openpty is declared... yes checking for openpty in -lc... no checking for openpty in -lutil... yes checking sys/wait.h usability... yes checking sys/wait.h presence... yes checking for sys/wait.h... yes checking whether wait is declared... yes checking whether fork is declared... yes checking for X... libraries , headers checking for gethostbyname... yes checking for connect... yes checking for remove... yes checking for shmat... yes checking for IceConnectionNumber in -lICE... yes checking for XpmReadFileToImage in -lXpm... yes checking regex.h usability... yes checking regex.h presence... yes checking for regex.h... yes configure: WARNING: Aldor interface will not be built. configure: creating ./config.status config.status: creating src/clef/Makefile config.status: creating src/sman/Makefile config.status: creating src/graph/Makefile config.status: creating src/graph/Gdraws/Makefile config.status: creating src/graph/view2D/Makefile config.status: creating src/graph/view3D/Makefile config.status: creating src/graph/viewAlone/Makefile config.status: creating src/graph/viewman/Makefile config.status: creating src/paste/Makefile config.status: creating src/hyper/Makefile config.status: creating Makefile config.status: creating src/Makefile config.status: creating src/lib/Makefile config.status: creating src/lisp/Makefile config.status: creating src/boot/Makefile config.status: creating src/interp/Makefile config.status: creating src/share/Makefile config.status: creating src/algebra/Makefile config.status: creating src/input/Makefile config.status: creating src/etc/Makefile config.status: creating src/aldor/Makefile config.status: creating src/aldor/Makefile2 config.status: creating src/aldor/Makefile3 config.status: creating contrib/emacs/Makefile config.status: creating build/scripts/document config.status: creating config/axiom-c-macros.h extracting list of SPAD type definitions Type 'make' (without quotes) to build FriCAS