mailing-list for TeXmacs Users

[Zhang Zhen <address@hidden>]

Thanks! it works.

Bests,
Zen
> On Nov 29, 2016, at 04:46, Marc Mertens <address@hidden> wrote:
> 
> I used the commando ' svn co svn://svn.savannah.gnu.org/texmacs/trunk/src' 
> to checkout  the latest svn code in a empty directory, did then 'cd src' 
> and finally './configure',make' and 'sudo make install' as explained in 
> http://www.texmacs.org/tmweb/download/sources.en.html
>  
> Best regards
>  
> Marc 
> > Op 28 november 2016 om 23:40 schreef Zhang Zhen <address@hidden>: 
> > 
> > 
> > Could you please give the link for the source code? 
> > 
> > 
> > > On Nov 28, 2016, at 15:01, Marc Mertens <address@hidden> wrote: 
> > > 
> > > On Saturday, November 26, 2016 01:09:05 AM Zhang Zhen 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 
> > > I had the same isssue with the 1.99.5 stable source on a Open Suse 
> > > 12.2, 
> > > however when I downloaded the latest svn source code everything 
> > > compiled 
> > > without any problem. Also for your information when I looked in yast I 
> > > have 
> > > the correct gmp libraries, so I think the problem lies in the stable 
> > > source 
> > > code and not in your Ubuntu system. 
> > > 
> > > Hopes this helps 
> > > 
> > > Best regards 
> > > 
> > > Marc Mertens 
> > > 
> >