mailing-list for TeXmacs Users

[François Poulain <address@hidden>]

Hi,

You may follow this.

Best regards.
François

Le Wed, 27 Jun 2012 17:08:52 +0200,
François Poulain <address@hidden> a écrit :

> Hi,
> 
> I recently compiled TeXmacs on a (fresh) Ubuntu distribution. I took
> the opportunity to write a mini howto, I share it with you.
> 
> Best regards.
> François
> 
> = HowTo compile TeXmacs under Ubuntu =
> 
> Tested on a fresh install.
> 
> == Getting the sources ==
> 
> You can get the latest version or stable version on 
> http://www.texmacs.org/tmweb/download/sources.en.html (section 2) or
> get the current development version.
> 
> If you want the latest version or stable version, copy the link on
> the above web page, then
> $ wget <link_to_source_archive>
> $ tar xvf TeXmacs-<version>-src.tar.gz
> $ cd TeXmacs-<version>-src
> 
> Else, if you prefer the current development version, you have to 
> install subversion, using
> $ sudo apt-get install subversion
> then, you can download the current SVN version of TeXmacs in
> read-only mode, using
> $ svn co svn://svn.savannah.gnu.org/texmacs/trunk/src
> 
> == Getting the dependencies ==
> 
> The default TeXmacs configuration depends on Guile and Qt4. To get 
> them, just do
> $ sudo apt-get install libqt4-dev guile-1.8-dev
> 
> You will also need a basic compiling environment, so
> $ sudo apt-get install build-essential
> 
> Finally, you will need some TeX related tools for fonts building.
> $ sudo apt-get install texlive-latex-recommended
> 
> Note: installing texlive-binaries should be sufficient, but there is
> an integration bug which makes mktexpk unable to find TeXmacs fonts.
> So we reinstall them via TeXlive.
> 
> == Compiling and installing ==
> 
> $ cd src
> $ ./configure && make && sudo make install
> 
> Now, enjoy:
> $ texmacs
> 
> See section 3 and 4 of 
> http://www.texmacs.org/tmweb/download/sources.en.html for more
> details.
> 


-- 
François Poulain <address@hidden>

au lieu de tuer et mourir pour produire l'être que nous ne sommes pas,
nous avons à vivre et faire vivre pour créer ce que nous sommes.
-+- Albert Camus, L'homme révolté -+-