ECLiPSeWiki | Build / Cygwin

Building on Windows with Cygwin

Tip: Windows Defender slows down the configure and build process dramatically. Temporarily turning off "real time protection", or excluding the build directory helps.

Build minimal ECLiPSe

Build on Cygwin 64-bit

Assumptions

we are on a machine running 64-bit Windows 10 or similar
cygwin is installed
we want to build native (cygwin-independent) Windows 64-bit executables

Install the following additional cygwin packages:

git
make
mingw64-x86_64-binutils
mingw64-x86_64-gcc-g++
mingw64-x86_64-gmp
mingw64-x86_64-tcl
mingw64-x86_64-tk

Prepare a directory for third-party software (we'll refer to this as $ECLIPSETHIRDPARTY) with the following structure:

---$ECLIPSETHIRDPARTY
   |
   +---gmp
   |   |
   |   +---x86_64_nt ---> /usr/x86_64-w64-mingw32/sys-root/mingw
   |
   +---tcltk8.6
       |
       +---x86_64_nt ---> /usr/x86_64-w64-mingw32/sys-root/mingw

e.g. using

    $ export ECLIPSETHIRDPARTY=...
    $ mkdir $ECLIPSETHIRDPARTY
    $ mkdir $ECLIPSETHIRDPARTY/gmp
    $ ln -s /usr/x86_64-w64-mingw32/sys-root/mingw $ECLIPSETHIRDPARTY/gmp/x86_64_nt

    $ mkdir $ECLIPSETHIRDPARTY/tcltk8.6
    $ ln -s /usr/x86_64-w64-mingw32/sys-root/mingw $ECLIPSETHIRDPARTY/tcltk8.6/x86_64_nt

Prepare a source directory (we'll refer to this as $ECLIPSEDIR) and unpack the ECLiPSe sources there (or clone a git repository):

    $ ECLIPSEDIR=...
    $ mkdir $ECLIPSEDIR
    $ cd $ECLIPSEDIR
    $ tar xfz eclipse_src.tgz

Configure

    $ ./configure --host=x86_64-w64-mingw32

Make

    $ make -f Makefile.x86_64_nt

Check if you can get an eclipse prompt:

    $ lib/x86_64_nt/eclipse -D .
    ECLiPSe Constraint Logic Programming System [kernel threads]
    ...

Build on Cygwin 32-bit

Similar, replace

x86_64-w64-mingw32 with i686-w64-mingw32
x86_64_nt with i386_nt

Required packages are

mingw64-i686-binutils
mingw64-i686-gcc-g++
mingw64-i686-gmp
mingw64-i686-tcl
mingw64-i686-tk

Background Notes

Cygwin tools

There are 4 versions of the gcc toolchain available under Cygwin (assuming we are running on a 64-bit cygwin):

64-bit cygwin (will build applications that depend on cygin.dll): packages binutils, gcc-g++ (tools are just called gcc, ld, etc)
32-bit cyginw (will build 32-bit applications that depend on cygwin.dll): packages cygwin32-binutils, cygwin32-gcc-g++
64-bit MINGW (will build native 64-bit Windows applications): packages mingw64-x86_64-binutils, mingw64-x86_64-gcc-g++ (provides tools called x86_64-w64-mingw32-XXX)
32-bit MINGW (will build native 32-bit Windows applications): packages mingw64-i686-binutils, mingw64-i686-gcc-g++ (provides tools called i686-w64-mingw32-XXX)

Building GMP from sources

Instead of using the cygwin packages for GMP (mingw64-x86_64-gmp,mingw64-i686-gmp), GMP can be built from sources. Download sources from gmplib.org, then

    tar --xz -xf gmp-6.2.1.tar.xz

64-bit version

    % ./configure --host=x86_64-w64-mingw32 --disable-static --enable-shared --prefix=$ECLIPSETHIRDPARTY/gmp/x86_64_nt
    % make install

32-bit version

    % ./configure --host=i686-w64-mingw32 --disable-static --enable-shared --prefix=$ECLIPSETHIRDPARTY/gmp/i386_nt --disable-assembly
    % make install

(omitting --disable-assembly leads to a build error in version 6.2)

GMP 6.2 generates libgmp-10.dll

Optional components

Interface to LP/MIP solvers (eplex)

See Eplex

Java

Install Java JDK. Configure will find it in "Program Files/Java/jdk*".

Visualisation libraries

Require Java.

Also unpack Grappa:

---$ECLIPSETHIRDPARTY
   |
   +---grappa1.2
       |
       +---grappa_1_2.jar

CP-Viz

CP-Viz requires Java, Batik and Javahelp:

---$ECLIPSETHIRDPARTY
   |
   +---jh2.0
   |
   +---batik-1.7

GAP interface

The gap interface always gets built, but lib(gap) it will only work if Gap is installed.

On UNIX, lib(gap) expects 'gap' to be in the PATH.

On Windows, the Gap installer places the relevant executable (plus its own cygwin runtime and various wrappers) in

    C:/Program Files/GAP-version/runtime/opt/gap-version/gap.exe

This seems to work with exec/3. Unfortunately lib(gap) uses named pipes (probably not necessary) and mkfifo, which doesn't work. Until this is removed, no lib(gap) on windows.