untar TeXmacs-1.0.3.9-src.tar.gz

./configure --prefix=/home/david/00-poubelle/texmacs --enable-debug CXX='g++ -pg -fprofile-arcs'

make && make install