mailing-list for TeXmacs Users

[Karl Hegbloom <address@hidden>]

Ubuntu 12.04 is very old. You should probably upgrade to a newer release. That might have a lot to do with it, but I'm not sure.

karlheg@syrinx:~$ dpkg --get-selections | grep gmp
libgmp-dev:amd64                                install
libgmp10:amd64                                  install
libgmp10:i386                                   install
libgmp10-dbgsym:amd64                           install
libgmp3-dev                                     install
libgmpxx4ldbl:amd64                             install
libgmpxxv4-4:amd64                              install
python-gmpy

On Fri, Nov 25, 2016 at 11:09 PM Zhang Zhen <address@hidden> wrote:

I want to build from source code on ubuntu12.04, where I have install the build-dep using `sudo apt-get build-dep texmacs`.

And I have checked gmp is installed, here is log:

~/Documents/TeXmacs-1.99.5-src$ dpkg --get-selections |grep gmp

libgmp-dev install

libgmp10 install

libgmpxx4ldbl install

But configure procedure still cannot find it.

(The Reason choose ubuntu 12.04, ensure the build-dep can be installed from single command. Thus I will not miss the dependencies)

Here is the full `./configure` log:

checking build system type... x86_64-pc-linux-gnu

checking host system type... x86_64-pc-linux-gnu

checking current Subversion revision number... 223_232

checking for gcc... gcc

checking whether the C compiler works... yes

checking for C compiler default output file name... a.out

checking for suffix of executables... 

checking whether we are cross compiling... no

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 g++... g++

checking whether we are using the GNU C++ compiler... yes

checking whether g++ accepts -g... yes

checking for clang... no

checking for gcc... gcc

checking whether we are using the GNU Objective C compiler... no

checking whether gcc accepts -g... no

checking for clang++... no

checking for g++... g++

checking whether we are using the GNU Objective C++ compiler... no

checking whether g++ accepts -g... no

checking whether GNU C++ compiler is default... yes

checking version of gcc... 4.6

checking version of g++... 4.6

checking for C++ stack backtrace support... yes

checking how to run the C++ preprocessor... g++ -E

checking for grep that handles long lines and -e... /bin/grep

checking for egrep... /bin/grep -E

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

checking size of void *... 8

checking alignment of void *... 8

checking if we are on a 64-bits computer... yes

final adjustments for an Intel or AMD GNU/Linux host

checking for FILE... yes

checking for intptr_t... yes

checking for time_t... yes

checking pty.h usability... yes

checking pty.h presence... yes

checking for pty.h... yes

checking util.h usability... no

checking util.h presence... no

checking for util.h... no

checking for gettimeofday... yes

checking for library containing dlopen... no

checking for library containing dld_link... no

checking for library containing shl_load... no

configure: WARNING: dynamic linking using dlopen will not work

checking for iconv.h... yes

configure: iconv found in default compiler location

checking for iconv.h... (cached) yes

checking iconv linking... no

configure: WARNING: Try to force default location

checking for iconv.h... yes

configure: iconv found in /usr

checking for iconv.h... (cached) yes

checking iconv linking... no

checking toto linking... yes

./configure: command substitution: line 15570: syntax error near unexpected token `^'

./configure: command substitution: line 15570: `echo (^|[[:space:]])(ICONV|ALL)LC_SET_TRIVIAL_FLAGS($|[[:space:]]))'

checking for freetype-config... /usr/bin/freetype-config

checking for inflate in -lz... yes

checking ft2build.h usability... yes

checking ft2build.h presence... yes

checking for ft2build.h... yes

checking for FT_Init_FreeType in -lfreetype... yes

checking for FT_Get_PS_Font_Value in -lfreetype... yes

./configure: command substitution: line 18230: syntax error near unexpected token `^'

./configure: command substitution: line 18230: `echo (^|[[:space:]])(FREETYPE|ALL)LC_SET_TRIVIAL_FLAGS($|[[:space:]]))'

checking for guile18-config... no

checking for guile17-config... no

checking for guile16-config... no

checking for guile-config... guile-config

checking whether C++ compiler accepts -pthread... yes

configure: WARNING: Flag -Wl,-Bsymbolic-functions dropped for lib GUILE_TMP

checking whether C++ compiler accepts -pthread... (cached) yes

configure: GUILE_CFLAGS:

configure: GUILE_CXXFLAGS:-pthread

configure: GUILE_CPPFLAGS:-I/usr/include -I/usr/include/guile

configure: GUILE_LIBS:-lguile -lltdl -lgmp -lcrypt -lm -lintl

configure: GUILE_LDFLAGS:

configure: Guile version 1.8

configure: Guile data path: /usr/share/guile/1.8

configure: skipping presence test for the library intl

configure: skipping presence test for the library m

configure: skipping presence test for the library crypt

checking for __gmpf_init in -lgmp... no

configure: error: compulsory library gmp not found

Any suggestions?

Bests

Zen