Hello,
The proof of the pudding is not that it has many ingredients.
I want to use a CAS. First I used on my phone MaximaOnAndroid. It works
fine and the formulas like sqrt(2+2sqrt(2)) come out like in TeX.
I downloaded Maxima on my Debian(8) computer. It also works fine, but is
limited.
So, I read about Fricas.
First I tried Fricas for Windows10. I first had to download Cygwin. I got a
big window and a very small console with letters I could not read. Also:
Fricas did not work in that.
Removing Cygwin seems to be very difficult and I gave up.
Than I downloaded the binary for Fricas. Also, no good. After that I
downloaded the source, took care of the prerequisite packages. Not all were
available in my Debian 8 system. The ones that were available, I installed.
I got a Fricas with a console, with Hyperdoc. The graphics worked, also
from the console. But the sqrt(2+sqrt(2)) is for me ugly on the console.
MaximaOnAndroid is perfect.
I looked at the configure.log. I send it hereby but the first failure was:
=================start================
configure:4249: gcc -E conftest.cconftest.c:9:10: fatal error:
ac_nonexistent.h: No such file or directory
#include <ac_nonexistent.h>
^~~~~~~~~~~~~~~~~~compilation terminated.configure:4249: $? =
1configure: failed program was:| /* confdefs.h */
================end=================
How can this be? I have a good Debian8 system,
I have the prerequisites. And I do not know enough were to look to
improve the mistakes. I expect that it should work.
Also a very minor remark: when I study Fricas I read about Axiom. Is it
a miracle that I confuse those two?
I hope someone can help me with a working solution.
And my last remark: that is because Fricas seems to give me new
ways. But as I started with: the proof of the pudding are not its ingredients.
with friendly greetings,
Peter
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/937b3cab-f6ae-4024-a25e-f93d2c0bb0c8%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by FriCAS configure 1.3.5, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ ./configure
## --------- ##
## Platform. ##
## --------- ##
hostname = laptop
uname -m = x86_64
uname -r = 4.19.0-4-amd64
uname -s = Linux
uname -v = #1 SMP Debian 4.19.28-2 (2019-03-15)
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = unknown
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel = unknown
/bin/universe = unknown
PATH: /usr/local/bin
PATH: /usr/bin
PATH: /bin
PATH: /usr/local/games
PATH: /usr/games
## ----------- ##
## Core tests. ##
## ----------- ##
configure:2313: checking build system type
configure:2327: result: x86_64-linux-gnu
configure:2347: checking host system type
configure:2360: result: x86_64-linux-gnu
configure:2380: checking target system type
configure:2393: result: x86_64-linux-gnu
configure:2475: checking for make
configure:2491: found /usr/bin/make
configure:2502: result: make
configure:2615: checking for gcc
configure:2631: found /usr/bin/gcc
configure:2642: result: gcc
configure:2871: checking for C compiler version
configure:2880: gcc --version >&5
gcc (Debian 8.3.0-6) 8.3.0
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
configure:2891: $? = 0
configure:2880: gcc -v >&5
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/8/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 8.3.0-6'
--with-bugurl=file:///usr/share/doc/gcc-8/README.Bugs
--enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr
--with-gcc-major-version-only --program-suffix=-8
--program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-gnu-unique-object
--disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie
--with-system-zlib --with-target-system-zlib --enable-objc-gc=auto
--enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic
--enable-offload-targets=nvptx-none --without-cuda-driver
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 8.3.0 (Debian 8.3.0-6)
configure:2891: $? = 0
configure:2880: gcc -V >&5
gcc: error: unrecognized command line option '-V'
gcc: fatal error: no input files
compilation terminated.
configure:2891: $? = 1
configure:2880: gcc -qversion >&5
gcc: error: unrecognized command line option '-qversion'; did you mean
'--version'?
gcc: fatal error: no input files
compilation terminated.
configure:2891: $? = 1
configure:2911: checking whether the C compiler works
configure:2933: gcc conftest.c >&5
configure:2937: $? = 0
configure:2985: result: yes
configure:2988: checking for C compiler default output file name
configure:2990: result: a.out
configure:2996: checking for suffix of executables
configure:3003: gcc -o conftest conftest.c >&5
configure:3007: $? = 0
configure:3029: result:
configure:3051: checking whether we are cross compiling
configure:3059: gcc -o conftest conftest.c >&5
configure:3063: $? = 0
configure:3070: ./conftest
configure:3074: $? = 0
configure:3062: result: no
configure:3067: checking for suffix of object files
configure:3089: gcc -c conftest.c >&5
configure:3093: $? = 0
configure:3114: result: o
configure:3118: checking whether we are using the GNU C compiler
configure:3137: gcc -c conftest.c >&5
configure:3137: $? = 0
configure:3146: result: yes
configure:3155: checking whether gcc accepts -g
configure:3175: gcc -c -g conftest.c >&5
configure:3175: $? = 0
configure:3216: result: yes
configure:3233: checking for gcc option to accept ISO C89
configure:3296: gcc -c -g -O2 conftest.c >&5
configure:3296: $? = 0
configure:3309: result: none needed
configure:3352: checking for a BSD-compatible install
configure:3420: result: /usr/bin/install -c
configure:3434: checking for touch
configure:3450: found /usr/bin/touch
configure:3461: result: touch
configure:3474: checking for mktemp
configure:3490: found /bin/mktemp
configure:3501: result: mktemp
configure:3599: checking for gawk
configure:3615: found /usr/bin/gawk
configure:3626: result: gawk
configure:3642: checking for gtar
configure:3672: result: no
configure:3642: checking for tar
configure:3658: found /bin/tar
configure:3669: result: tar
configure:3728: checking for ranlib
configure:3744: found /usr/bin/ranlib
configure:3755: result: ranlib
configure:3779: checking for ar
configure:3795: found /usr/bin/ar
configure:3806: result: ar
configure:3818: checking for latex
configure:3836: found /usr/bin/latex
configure:3848: result: /usr/bin/latex
configure:3860: checking for makeindex
configure:3876: found /usr/bin/makeindex
configure:3887: result: makeindex
configure:3919: checking PREGENERATED
configure:3938: result: "/home/peter/Downloads/fricas-1.3.5/pre-generated"
configure:3959: checking for sbcl
configure:3977: found /usr/bin/sbcl
configure:3989: result: /usr/bin/sbcl
configure:4020: checking Lisp implementation
configure:4033: result: sbcl
configure:4204: checking how to run the C preprocessor
configure:4235: gcc -E conftest.c
configure:4235: $? = 0
configure:4249: gcc -E conftest.c
conftest.c:9:10: fatal error: ac_nonexistent.h: No such file or directory
#include <ac_nonexistent.h>
^~~~~~~~~~~~~~~~~~
compilation terminated.
configure:4249: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4274: result: gcc -E
configure:4294: gcc -E conftest.c
configure:4294: $? = 0
configure:4308: gcc -E conftest.c
conftest.c:9:10: fatal error: ac_nonexistent.h: No such file or directory
#include <ac_nonexistent.h>
^~~~~~~~~~~~~~~~~~
compilation terminated.
configure:4308: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:4337: checking for grep that handles long lines and -e
configure:4395: result: /bin/grep
configure:4400: checking for egrep
configure:4462: result: /bin/grep -E
configure:4467: checking for ANSI C header files
configure:4487: gcc -c -g -O2 conftest.c >&5
configure:4487: $? = 0
configure:4560: gcc -o conftest -g -O2 conftest.c >&5
configure:4560: $? = 0
configure:4560: ./conftest
configure:4560: $? = 0
configure:4571: result: yes
configure:4584: checking for sys/types.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for sys/stat.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for stdlib.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for string.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for memory.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for strings.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for inttypes.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for stdint.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4584: checking for unistd.h
configure:4584: gcc -c -g -O2 conftest.c >&5
configure:4584: $? = 0
configure:4584: result: yes
configure:4722: result: fasl
configure:4763: checking dirent.h usability
configure:4763: gcc -c -g -O2 conftest.c >&5
configure:4763: $? = 0
configure:4763: result: yes
configure:4763: checking dirent.h presence
configure:4763: gcc -E conftest.c
configure:4763: $? = 0
configure:4763: result: yes
configure:4763: checking for dirent.h
configure:4763: result: yes
configure:4770: checking whether closedir is declared
configure:4770: gcc -c -g -O2 conftest.c >&5
configure:4770: $? = 0
configure:4770: result: yes
configure:4788: checking whether opendir is declared
configure:4788: gcc -c -g -O2 conftest.c >&5
configure:4788: $? = 0
configure:4788: result: yes
configure:4806: checking whether readdir is declared
configure:4806: gcc -c -g -O2 conftest.c >&5
configure:4806: $? = 0
configure:4806: result: yes
configure:4826: checking whether dirfd is declared
configure:4826: gcc -c -g -O2 conftest.c >&5
configure:4826: $? = 0
configure:4826: result: yes
configure:4845: checking whether fchdir is declared
configure:4845: gcc -c -g -O2 conftest.c >&5
configure:4845: $? = 0
configure:4845: result: yes
configure:4891: checking signal.h usability
configure:4891: gcc -c -g -O2 conftest.c >&5
configure:4891: $? = 0
configure:4891: result: yes
configure:4891: checking signal.h presence
configure:4891: gcc -E conftest.c
configure:4891: $? = 0
configure:4891: result: yes
configure:4891: checking for signal.h
configure:4891: result: yes
configure:4903: checking whether sigaction is declared
configure:4903: gcc -c -g -O2 conftest.c >&5
configure:4903: $? = 0
configure:4903: result: yes
configure:4917: checking for sys/stat.h
configure:4917: result: yes
configure:4931: checking for unistd.h
configure:4931: result: yes
configure:4943: checking whether getuid is declared
configure:4943: gcc -c -g -O2 conftest.c >&5
configure:4943: $? = 0
configure:4943: result: yes
configure:4954: checking whether geteuid is declared
configure:4954: gcc -c -g -O2 conftest.c >&5
configure:4954: $? = 0
configure:4954: result: yes
configure:4965: checking whether getgid is declared
configure:4965: gcc -c -g -O2 conftest.c >&5
configure:4965: $? = 0
configure:4965: result: yes
configure:4976: checking whether getegid is declared
configure:4976: gcc -c -g -O2 conftest.c >&5
configure:4976: $? = 0
configure:4976: result: yes
configure:4989: checking whether kill is declared
configure:4989: gcc -c -g -O2 conftest.c >&5
configure:4989: $? = 0
configure:4989: result: yes
configure:5020: checking sys/socket.h usability
configure:5020: gcc -c -g -O2 conftest.c >&5
configure:5020: $? = 0
configure:5020: result: yes
configure:5020: checking sys/socket.h presence
configure:5020: gcc -E conftest.c
configure:5020: $? = 0
configure:5020: result: yes
configure:5020: checking for sys/socket.h
configure:5020: result: yes
configure:5048: gcc -c -g -O2 conftest.c >&5
configure:5048: $? = 0
configure:5071: gcc -c -g -O2 conftest.c >&5
conftest.c: In function 'main':
conftest.c:46:12: error: 'SO_NOSIGPIPE' undeclared (first use in this
function); did you mean 'SO_OOBINLINE'?
int flag = SO_NOSIGPIPE;
^~~~~~~~~~~~
SO_OOBINLINE
conftest.c:46:12: note: each undeclared identifier is reported only once for
each function it appears in
configure:5071: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DIRENT_H 1
| #define HAVE_DECL_CLOSEDIR 1
| #define HAVE_DECL_OPENDIR 1
| #define HAVE_DECL_READDIR 1
| #define HAVE_DECL_DIRFD 1
| #define HAVE_DECL_FCHDIR 1
| #define HOST_HAS_DIRECTORY_OPERATIONS 1
| #define HOST_HAS_DIRFD_FCHDIR 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_DECL_SIGACTION 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_GETUID 1
| #define HAVE_DECL_GETEUID 1
| #define HAVE_DECL_GETGID 1
| #define HAVE_DECL_GETEGID 1
| #define HAVE_DECL_KILL 1
| #define HAVE_SYS_SOCKET_H 1
| #define HAVE_MSG_NOSIGNAL 1
| /* end confdefs.h. */
|
| #include <sys/types.h>
| #include <sys/socket.h>
|
| int
| main ()
| {
|
| int flag = SO_NOSIGPIPE;
|
| ;
| return 0;
| }
configure:5094: gcc -c -g -O2 conftest.c >&5
configure:5094: $? = 0
configure:5117: gcc -c -g -O2 conftest.c >&5
configure:5117: $? = 0
configure:5241: checking util.h usability
configure:5241: gcc -c -g -O2 conftest.c >&5
conftest.c:75:10: fatal error: util.h: No such file or directory
#include <util.h>
^~~~~~~~
compilation terminated.
configure:5241: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DIRENT_H 1
| #define HAVE_DECL_CLOSEDIR 1
| #define HAVE_DECL_OPENDIR 1
| #define HAVE_DECL_READDIR 1
| #define HAVE_DECL_DIRFD 1
| #define HAVE_DECL_FCHDIR 1
| #define HOST_HAS_DIRECTORY_OPERATIONS 1
| #define HOST_HAS_DIRFD_FCHDIR 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_DECL_SIGACTION 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_GETUID 1
| #define HAVE_DECL_GETEUID 1
| #define HAVE_DECL_GETGID 1
| #define HAVE_DECL_GETEGID 1
| #define HAVE_DECL_KILL 1
| #define HAVE_SYS_SOCKET_H 1
| #define HAVE_MSG_NOSIGNAL 1
| #define HAVE_EPIPE 1
| #define HAVE_TWO_ARG_MKDIR 1
| #define HAVE_AF_LOCAL 1
| #define HAVE_AF_UNIX 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <util.h>
configure:5241: result: no
configure:5241: checking util.h presence
configure:5241: gcc -E conftest.c
conftest.c:42:10: fatal error: util.h: No such file or directory
#include <util.h>
^~~~~~~~
compilation terminated.
configure:5241: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DIRENT_H 1
| #define HAVE_DECL_CLOSEDIR 1
| #define HAVE_DECL_OPENDIR 1
| #define HAVE_DECL_READDIR 1
| #define HAVE_DECL_DIRFD 1
| #define HAVE_DECL_FCHDIR 1
| #define HOST_HAS_DIRECTORY_OPERATIONS 1
| #define HOST_HAS_DIRFD_FCHDIR 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_DECL_SIGACTION 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_GETUID 1
| #define HAVE_DECL_GETEUID 1
| #define HAVE_DECL_GETGID 1
| #define HAVE_DECL_GETEGID 1
| #define HAVE_DECL_KILL 1
| #define HAVE_SYS_SOCKET_H 1
| #define HAVE_MSG_NOSIGNAL 1
| #define HAVE_EPIPE 1
| #define HAVE_TWO_ARG_MKDIR 1
| #define HAVE_AF_LOCAL 1
| #define HAVE_AF_UNIX 1
| /* end confdefs.h. */
| #include <util.h>
configure:5241: result: no
configure:5241: checking for util.h
configure:5241: result: no
configure:5250: checking pty.h usability
configure:5250: gcc -c -g -O2 conftest.c >&5
configure:5250: $? = 0
configure:5250: result: yes
configure:5250: checking pty.h presence
configure:5250: gcc -E conftest.c
configure:5250: $? = 0
configure:5250: result: yes
configure:5250: checking for pty.h
configure:5250: result: yes
configure:5266: checking whether openpty is declared
configure:5266: gcc -c -g -O2 conftest.c >&5
configure:5266: $? = 0
configure:5266: result: yes
configure:5281: checking for openpty in -lc
configure:5306: gcc -o conftest -g -O2 conftest.c -lc >&5
/usr/bin/ld: /tmp/ccprWuNV.o: in function `main':
/home/peter/Downloads/fricas-1.3.5/conftest.c:55: undefined reference to
`openpty'
collect2: error: ld returned 1 exit status
configure:5306: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "FriCAS"
| #define PACKAGE_TARNAME "fricas"
| #define PACKAGE_VERSION "1.3.5"
| #define PACKAGE_STRING "FriCAS 1.3.5"
| #define PACKAGE_BUGREPORT "[email protected]"
| #define PACKAGE_URL ""
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DIRENT_H 1
| #define HAVE_DECL_CLOSEDIR 1
| #define HAVE_DECL_OPENDIR 1
| #define HAVE_DECL_READDIR 1
| #define HAVE_DECL_DIRFD 1
| #define HAVE_DECL_FCHDIR 1
| #define HOST_HAS_DIRECTORY_OPERATIONS 1
| #define HOST_HAS_DIRFD_FCHDIR 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_DECL_SIGACTION 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_GETUID 1
| #define HAVE_DECL_GETEUID 1
| #define HAVE_DECL_GETGID 1
| #define HAVE_DECL_GETEGID 1
| #define HAVE_DECL_KILL 1
| #define HAVE_SYS_SOCKET_H 1
| #define HAVE_MSG_NOSIGNAL 1
| #define HAVE_EPIPE 1
| #define HAVE_TWO_ARG_MKDIR 1
| #define HAVE_AF_LOCAL 1
| #define HAVE_AF_UNIX 1
| #define HAVE_PTY_H 1
| #define HAVE_OPENPTY_DECL 1
| /* end confdefs.h. */
|
| /* Override any GCC internal prototype to avoid an error.
| Use char because int might match the return type of a GCC
| builtin and then its argument prototype would still apply. */
| #ifdef __cplusplus
| extern "C"
| #endif
| char openpty ();
| int
| main ()
| {
| return openpty ();
| ;
| return 0;
| }
configure:5315: result: no
configure:5323: checking for openpty in -lutil
configure:5348: gcc -o conftest -g -O2 conftest.c -lutil >&5
configure:5348: $? = 0
configure:5357: result: yes
configure:5420: checking sys/wait.h usability
configure:5420: gcc -c -g -O2 conftest.c >&5
configure:5420: $? = 0
configure:5420: result: yes
configure:5420: checking sys/wait.h presence
configure:5420: gcc -E conftest.c
configure:5420: $? = 0
configure:5420: result: yes
configure:5420: checking for sys/wait.h
configure:5420: result: yes
configure:5432: checking whether wait is declared
configure:5432: gcc -c -g -O2 conftest.c >&5
configure:5432: $? = 0
configure:5432: result: yes
configure:5446: checking whether fork is declared
configure:5446: gcc -c -g -O2 conftest.c >&5
configure:5446: $? = 0
configure:5446: result: yes
configure:5474: checking for X
configure:5582: gcc -E conftest.c
configure:5582: $? = 0
configure:5613: gcc -o conftest -g -O2 conftest.c -lX11 >&5
configure:5613: $? = 0
configure:5663: result: libraries , headers
configure:5762: gcc -o conftest -g -O2 conftest.c -lX11 >&5
configure:5762: $? = 0
configure:5860: checking for gethostbyname
configure:5860: gcc -o conftest -g -O2 conftest.c >&5
configure:5860: $? = 0
configure:5860: result: yes
configure:5957: checking for connect
configure:5957: gcc -o conftest -g -O2 conftest.c >&5
configure:5957: $? = 0
configure:5957: result: yes
configure:6006: checking for remove
configure:6006: gcc -o conftest -g -O2 conftest.c >&5
configure:6006: $? = 0
configure:6006: result: yes
configure:6055: checking for shmat
configure:6055: gcc -o conftest -g -O2 conftest.c >&5
configure:6055: $? = 0
configure:6055: result: yes
configure:6113: checking for IceConnectionNumber in -lICE
configure:6138: gcc -o conftest -g -O2 conftest.c -lICE >&5
configure:6138: $? = 0
configure:6147: result: yes
configure:6174: checking for XpmReadFileToImage in -lXpm
configure:6199: gcc -o conftest -g -O2 conftest.c -lXpm -lX11 >&5
configure:6199: $? = 0
configure:6208: result: yes
configure:6248: checking regex.h usability
configure:6248: gcc -c -g -O2 conftest.c >&5
configure:6248: $? = 0
configure:6248: result: yes
configure:6248: checking regex.h presence
configure:6248: gcc -E conftest.c
configure:6248: $? = 0
configure:6248: result: yes
configure:6248: checking for regex.h
configure:6248: result: yes
configure:6256: checking for xvfb-run
configure:6286: result: no
configure:6298: HyperDoc graphics must be built separately.
configure:6539: WARNING: Aldor interface will not be built.
configure:6671: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by FriCAS config.status 1.3.5, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on laptop
config.status:919: creating src/clef/Makefile
config.status:919: creating src/sman/Makefile
config.status:919: creating src/graph/Makefile
config.status:919: creating src/graph/Gdraws/Makefile
config.status:919: creating src/graph/view2D/Makefile
config.status:919: creating src/graph/view3D/Makefile
config.status:919: creating src/graph/viewAlone/Makefile
config.status:919: creating src/graph/viewman/Makefile
config.status:919: creating src/hyper/Makefile
config.status:919: creating src/doc/Makefile
config.status:919: creating Makefile
config.status:919: creating src/Makefile
config.status:919: creating src/lib/Makefile
config.status:919: creating src/lisp/Makefile
config.status:919: creating src/boot/Makefile
config.status:919: creating src/interp/Makefile
config.status:919: creating src/algebra/Makefile
config.status:919: creating src/input/Makefile
config.status:919: creating src/etc/Makefile
config.status:919: creating src/aldor/Makefile
config.status:919: creating src/aldor/Makefile2
config.status:919: creating src/aldor/Makefile3
config.status:919: creating contrib/emacs/Makefile
config.status:919: creating config/fricas_c_macros.h
config.status:1094: config/fricas_c_macros.h is unchanged
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=x86_64-linux-gnu
ac_cv_c_compiler_gnu=yes
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_LIBS_set=
ac_cv_env_LIBS_value=
ac_cv_env_XMKMF_set=
ac_cv_env_XMKMF_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_func_connect=yes
ac_cv_func_gethostbyname=yes
ac_cv_func_remove=yes
ac_cv_func_shmat=yes
ac_cv_have_decl_closedir=yes
ac_cv_have_decl_dirfd=yes
ac_cv_have_decl_fchdir=yes
ac_cv_have_decl_fork=yes
ac_cv_have_decl_getegid=yes
ac_cv_have_decl_geteuid=yes
ac_cv_have_decl_getgid=yes
ac_cv_have_decl_getuid=yes
ac_cv_have_decl_kill=yes
ac_cv_have_decl_opendir=yes
ac_cv_have_decl_openpty=yes
ac_cv_have_decl_readdir=yes
ac_cv_have_decl_sigaction=yes
ac_cv_have_decl_wait=yes
ac_cv_have_x='have_x=yes ac_x_includes='\'''\'' ac_x_libraries='\'''\'''
ac_cv_header_dirent_h=yes
ac_cv_header_inttypes_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_pty_h=yes
ac_cv_header_regex_h=yes
ac_cv_header_signal_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_socket_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_sys_wait_h=yes
ac_cv_header_unistd_h=yes
ac_cv_header_util_h=no
ac_cv_host=x86_64-linux-gnu
ac_cv_lib_ICE_IceConnectionNumber=yes
ac_cv_lib_Xpm_XpmReadFileToImage=yes
ac_cv_lib_c_openpty=no
ac_cv_lib_util_openpty=yes
ac_cv_objext=o
ac_cv_path_EGREP='/bin/grep -E'
ac_cv_path_FRICAS_LISP=/usr/bin/sbcl
ac_cv_path_GREP=/bin/grep
ac_cv_path_LATEX=/usr/bin/latex
ac_cv_path_install='/usr/bin/install -c'
ac_cv_prog_AR=ar
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_MAKE=make
ac_cv_prog_MAKEINDEX=makeindex
ac_cv_prog_MKTEMP=mktemp
ac_cv_prog_TAR=tar
ac_cv_prog_TOUCH=touch
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_RANLIB=ranlib
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_target=x86_64-linux-gnu
## ----------------- ##
## Output variables. ##
## ----------------- ##
ALDOR=''
ALDOR_conditionalCast=''
ALDOR_datadir=''
ALDOR_foreignStyle=''
AR='ar'
AWK='gawk'
AWK_FOR_TARGET='/usr/bin/gawk'
AXIOM='/home/peter/Downloads/fricas-1.3.5/target/x86_64-linux-gnu'
BASE=''
BUILD_ALDOR_INTERFACE='no'
CC='gcc'
CCF='-O2 -Wall -D_GNU_SOURCE'
CFLAGS='-g -O2'
CPP='gcc -E'
CPPFLAGS=''
DEFS='-DHAVE_CONFIG_H'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
EXEEXT=''
FRICAS_LISP='/usr/bin/sbcl'
GMP_CPPFLAGS=''
GMP_EXT='so'
GMP_LDFLAGS=''
GMP_LIB=''
GMP_LIBDIR=''
GMP_WRAP_SO_TARGET=''
GREP='/bin/grep'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
LATEX='/usr/bin/latex'
LDF=''
LDFLAGS=''
LIBOBJS=''
LIBS=''
LIBSPAD_SO_TARGET='libspad_so'
LTLIBOBJS=''
MAKE='make'
MAKEINDEX='makeindex'
MAYBE_VIEWPORTS=''
MKTEMP='mktemp'
OBJEXT='o'
PACKAGE_BUGREPORT='[email protected]'
PACKAGE_NAME='FriCAS'
PACKAGE_STRING='FriCAS 1.3.5'
PACKAGE_TARNAME='fricas'
PACKAGE_URL=''
PACKAGE_VERSION='1.3.5'
PATH_SEPARATOR=':'
PREGENERATED='/home/peter/Downloads/fricas-1.3.5/pre-generated'
RANLIB='ranlib'
SHELL='/bin/bash'
SOLIB_FLAGS='-shared'
TAR='tar'
TOUCH='touch'
XMKMF=''
XVFB=''
XVFB_RUN=''
X_CFLAGS=''
X_EXTRA_LIBS=''
X_LIBS=''
X_PRE_LIBS='-lXpm -lSM -lICE'
ac_ct_CC='gcc'
bindir='${exec_prefix}/bin'
build='x86_64-linux-gnu'
build_alias=''
build_cpu='x86_64'
build_os='gnu'
build_vendor='linux'
datadir='${datarootdir}'
datarootdir='${prefix}/share'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
emacsdatadir='${exec_prefix}/lib/fricas/emacs'
exec_prefix='${prefix}'
fricas_algebra_optimization='nil'
fricas_all_prerequisites=''
fricas_build_bindir='/home/peter/Downloads/fricas-1.3.5/build/x86_64-linux-gnu/bin'
fricas_builddir='/home/peter/Downloads/fricas-1.3.5/build/x86_64-linux-gnu'
fricas_c_runtime=' terminal_io graphics'
fricas_c_runtime_extra=' -lutil'
fricas_debug_compiler='no'
fricas_fasl_type2='fasl'
fricas_fasl_type='fasl'
fricas_gcl_rsym_hack=':'
fricas_has_directory_operations='yes'
fricas_lisp_flavor='sbcl'
fricas_quiet_flags='--noinform --noprint --no-sysinit --no-userinit'
fricas_src_all='all-axiomsys all-sman all-clef all-graph all-hyper all-doc'
fricas_src_subdirs='lib lisp boot interp algebra input etc clef sman graph
hyper doc'
fricas_targetdir='/home/peter/Downloads/fricas-1.3.5/target/x86_64-linux-gnu'
fricas_top_srcdir='/home/peter/Downloads/fricas-1.3.5'
host='x86_64-linux-gnu'
host_alias=''
host_cpu='x86_64'
host_os='gnu'
host_vendor='linux'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/usr/local'
program_transform_name='s,x,x,'
psdir='${docdir}'
runstatedir='${localstatedir}/run'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sys_ALDOR=''
sysconfdir='${prefix}/etc'
target='x86_64-linux-gnu'
target_alias=''
target_cpu='x86_64'
target_os='gnu'
target_vendor='linux'
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "FriCAS"
#define PACKAGE_TARNAME "fricas"
#define PACKAGE_VERSION "1.3.5"
#define PACKAGE_STRING "FriCAS 1.3.5"
#define PACKAGE_BUGREPORT "[email protected]"
#define PACKAGE_URL ""
#define STDC_HEADERS 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_SYS_STAT_H 1
#define HAVE_STDLIB_H 1
#define HAVE_STRING_H 1
#define HAVE_MEMORY_H 1
#define HAVE_STRINGS_H 1
#define HAVE_INTTYPES_H 1
#define HAVE_STDINT_H 1
#define HAVE_UNISTD_H 1
#define HAVE_DIRENT_H 1
#define HAVE_DECL_CLOSEDIR 1
#define HAVE_DECL_OPENDIR 1
#define HAVE_DECL_READDIR 1
#define HAVE_DECL_DIRFD 1
#define HAVE_DECL_FCHDIR 1
#define HOST_HAS_DIRECTORY_OPERATIONS 1
#define HOST_HAS_DIRFD_FCHDIR 1
#define HAVE_SIGNAL_H 1
#define HAVE_DECL_SIGACTION 1
#define HAVE_SYS_STAT_H 1
#define HAVE_UNISTD_H 1
#define HAVE_DECL_GETUID 1
#define HAVE_DECL_GETEUID 1
#define HAVE_DECL_GETGID 1
#define HAVE_DECL_GETEGID 1
#define HAVE_DECL_KILL 1
#define HAVE_SYS_SOCKET_H 1
#define HAVE_MSG_NOSIGNAL 1
#define HAVE_EPIPE 1
#define HAVE_TWO_ARG_MKDIR 1
#define HAVE_AF_LOCAL 1
#define HAVE_AF_UNIX 1
#define HAVE_PTY_H 1
#define HAVE_OPENPTY_DECL 1
#define HAVE_OPENPTY 1
#define HAVE_SYS_WAIT_H 1
#define HAVE_DECL_WAIT 1
#define HAVE_DECL_FORK 1
#define LINUXplatform /**/
configure: exit 0
