ECLiPSeWiki | Build / Rpi

Building core system on Raspberry Pi (32 bit)

Useful settings for your .bashrc

    export LC_ALL=C.UTF-8
    export ECLIPSEARCH=armv7_linux

    export CVSROOT=:ext:jschimpf@eclipseclp.org:/home/jschimpf/pioneer/cvs/Cvsroot


    mkdir $HOME/Eclipse
    export ECLIPSETHIRDPARTY=$HOME/Eclipse/thirdparty

Required packages (usually already installed):

    gcc
    g++
    libgmp-dev
    tcl8.6-dev     (at least 8.3)
    tk8.6-dev      (at least 8.3)

Optional/Recommended

For the GLPK interface (lib(eplex_glpk))

    libglpk40
    libglpk-dev

For java-related functionality:

    default-jdk

For the GAP-based symmetry breaking library (lib(gap), lib(sym_expr),

    gap-core

For lib(dbi):

    mysql
    libmysqlclient-dev

For lib(graphviz):

    graphviz

Building the documentation

Required packages on a Ubuntu Linux. For making pdf manuals:

    texlive-base
    texlive-extra-utils
    texlive-fonts-recommended
    texlive-font-utils
    texlive-latex-base
    texlive-latex-extra
    texlive-latex-recommended
    texlive-pstricks
    texlive-science

For the html versions:

    hevea
    imagemagick

Optional In 2021, there is a hevea/ghostscript incompatibility. Manually edit hevea's /usr/bin/imagen changing

ghostscript argument -dSAFER to -dNOSAFER

Also, to be consistent with what we use for pdf, change

LATEX=latex to LATEX=pdflatex

Thirdparty

For Eplex/Coin (may require C++ recompilation)

    coinclpcbc2.9

To build this (only needed once), go to ECLIPSEDIR/Eplex and invoke

    make -f Makefile.$ECLIPSEARCH install_cbc

For Gfd (may require C++ recompilation)

    gecode-4.4.0
    gecode-6.2.0

To build this (only needed once), go to ECLIPSEDIR/Eplex and invoke

    make -f Makefile.$ECLIPSEARCH install_gecode

For Visualization tools

    grappa1.2

For CP-Viz:

    jh2.0
    batik-1.7

Other tools, only for ECLiPSe developers

    gitk
    kgnome-system-monitor
    cvs
    tkrev
    vile,xvile,vile-common,vile-filters
    autoconf
    tkdiff

Check out tests:

    CVSROOT=:ext:jschimpf@eclipseclp.org:/home/jschimpf/pioneer/cvs/Cvsroot
    cd Eclipse/Tests
    cvs co -r patches_7_0 -d Patch70 Tests
    cvs co -d Main Tests

Running build scripts (BUILD_ROTD, nightly)

set up Eclipse/scripts/{BUILD__ROTDS,nightly,site_info}
check setting in site_info, especially architectures, hostname, local paths
add own ssh key to .ssh/authorized_keys, so ssh to self works
set ARCH (needed by BUILD_ROTDS, but should be removed)