eclipse-clp-users — ECLiPSe Users List

[eclipse-clp-users] Logtalk 3.50.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.50.0 is now available for downloading at:

https://logtalk.org/

This release focus on improved documentation, developer tools, and test suites. The Handbook includes improved sections on documenting and testing applications, directives, and multi-threaded features. The testing automation script have been updated with support for passing base URLs to generate reports that link to the tests source code. The documenting and diagrams include more versatile helper scripts with new options. A significant number of new tests have been added to the Prolog standards compliance suite for better coverage. This release also includes fixes and updates to libraries and examples plus portability updates for JIProlog, LVM, and SICStus Prolog. For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

Re: [eclipse-clp-users] Unclear how to make http calls

[Joachim S. <jsc...@co...>]

Hi Jeshan,

You are right, this doesn't work.  The library is old and unmaintained
and doesn't seem to cope with modern headers in the http response.
The underlying socket functionality is fine though.

Until someone finds the time to update the library, please use
other ways of interfacing with ECLiPSe.

Regards,
Joachim


On 03/08/2021 19:58, Jeshan Babooa via ECLiPSe-CLP-Users wrote:
> Hello,
> I'm trying to hit some simple http endpoint but to no avail.
> What's the right way to do so?
> I've tried the following:
> lib(http).
> http_open("http://127.0.0.1:12345 <http://127.0.0.1:12345/aceql>", R). (this 
> returns No)
> 
> http_client("GET", "http://127.0.0.1:7379/GET/hello 
> <http://127.0.0.1:7379/GET/hello>", "", [], S, P, R). (this works fine in 
> Chrome/Curl but returns S= error(400, "Bad Request ") and does not populate the 
> response)
> 
> I also tried the sockets library but that didn't work neither.
> 
> I also saw this very old thread with the same issue but it was never answered:
> https://sourceforge.net/p/eclipse-clp/mailman/eclipse-clp-users/thread/1170255106.45c0ad02b43df%40imp.free.fr/#msg19014682 
> <https://sourceforge.net/p/eclipse-clp/mailman/eclipse-clp-users/thread/1170255106.45c0ad02b43df%40imp.free.fr/#msg19014682>
> 
> Jeshan

[eclipse-clp-users] Unclear how to make http calls

[Jeshan B. <j...@je...>]

Hello,
I'm trying to hit some simple http endpoint but to no avail.
What's the right way to do so?
I've tried the following:
lib(http).
http_open("[http://127.0.0.1:12345](http://127.0.0.1:12345/aceql)", R). (this returns No)

http_client("GET", "http://127.0.0.1:7379/GET/hello", "", [], S, P, R). (this works fine in Chrome/Curl but returns S= error(400, "Bad Request ") and does not populate the response)

I also tried the sockets library but that didn't work neither.

I also saw this very old thread with the same issue but it was never answered:
https://sourceforge.net/p/eclipse-clp/mailman/eclipse-clp-users/thread/1170255106.45c0ad02b43df%40imp.free.fr/#msg19014682

Jeshan

Re: [eclipse-clp-users] Error after build -- 7_0_55 -- Win10 + CYGWIN + Eclipse 7 0 55

[Joachim S. <jsc...@co...>]

On 01/08/2021 15:37, Manu goswami wrote:
> Hi Eclipse Team,
> 
> 7.0.55 reports another error after successful build ( Win 10 + CYGWIN + Eclipse 7 0 55)
> 
> $ ./eclipse
> 
> Aborting: Can't find boot file! Please check either
> 
> a) your program's setting for eclipsedir in ec_set_option(), or
> 
> b) your setting for ECLIPSEDIR environment variable.
> 
> Kindly confirm how to remove this error.


The eclipse executable must be told where to find its support files,
libraries, etc.  This location is the directory where you have built
or installed ECLiPSe.  There are 3 alternative ways to do this:

1. on Windows, set the registry entry Computer\HKEY_LOCAL_MACHINE\SOFTWARE\IC-Parc\Eclipse\7.0

2. set and export the environment variable ECLIPSEDIR

3. via the -D command line option

As you are on Windows, the path name must be given in Windows
syntax, even when you are running from cygwin.


Cheers,
Joachim

[eclipse-clp-users] Error after build -- 7_0_55 -- Win10 + CYGWIN + Eclipse 7 0 55

[Manu g. <man...@ho...>]

Hi Eclipse Team,

7.0.55 reports another error after successful build ( Win 10 + CYGWIN + Eclipse 7 0 55)

$ ./eclipse
Aborting: Can't find boot file! Please check either
a) your program's setting for eclipsedir in ec_set_option(), or
b) your setting for ECLIPSEDIR environment variable.

Kindly confirm how to remove this error.

Warm Regards,

Manu
Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows 10

Re: [eclipse-clp-users] Segmentation fault — Cygwin + win10

[Manu g. <man...@ho...>]

Hi Mr Schimpf,

Many thanks for the reply.

I could resolve this problem through your advice. Got a scare when things started to fall apart.

Thanks again !

Warm regards
Manu

Get Outlook for iOS<https://aka.ms/o0ukef>
________________________________
From: Joachim Schimpf <jsc...@co...>
Sent: Friday, July 30, 2021 9:59:49 PM
To: ecl...@li... <ecl...@li...>
Subject: Re: [eclipse-clp-users] Segmentation fault — Cygwin + win10

On 29/07/2021 11:51, Manu goswami wrote:
> Hi developers,
>
> I have been building and using eclipse clp in Cygwin win 10 but suddenly
> eclipse.exe has started to return ‘segmentation fault’
>
> On checking with gdb error is at ec_mark_did (d=0xffffffff00000000) at
> /src//dict.c:1088
>
> This is extremely surprising and came from nowhere. There was no change in code
> or the Cygwin environment. Also build is successful each time but execution fails.


Hi, this looks like a bug that was fixed recently.  If you are building
ECLiPSe yourself, change in Kernel/src/database.h the old line

extern vmcode   *allocate_code_block();

to

Extern vmcode *allocate_code_block(word size, uword btablepos, uword link, uword
bid, uword fid, uword btype, uword cid);


Cheers,
Joachim


>
>
> Kindly help to resolve most urgently.
>
>
> Warm regards,
>
> Manu
>
> Get Outlook for iOS <https://aka.ms/o0ukef>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>



_______________________________________________
ECLiPSe-CLP-Users mailing list
ECL...@li...
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] Segmentation fault — Cygwin + win10

[Joachim S. <jsc...@co...>]

On 29/07/2021 11:51, Manu goswami wrote:
> Hi developers,
> 
> I have been building and using eclipse clp in Cygwin win 10 but suddenly 
> eclipse.exe has started to return ‘segmentation fault’
> 
> On checking with gdb error is at ec_mark_did (d=0xffffffff00000000) at 
> /src//dict.c:1088
> 
> This is extremely surprising and came from nowhere. There was no change in code 
> or the Cygwin environment. Also build is successful each time but execution fails.


Hi, this looks like a bug that was fixed recently.  If you are building
ECLiPSe yourself, change in Kernel/src/database.h the old line

extern vmcode	*allocate_code_block();

to

Extern vmcode *allocate_code_block(word size, uword btablepos, uword link, uword 
bid, uword fid, uword btype, uword cid);


Cheers,
Joachim


> 
> 
> Kindly help to resolve most urgently.
> 
> 
> Warm regards,
> 
> Manu
> 
> Get Outlook for iOS <https://aka.ms/o0ukef>
> 
> 
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> 

[eclipse-clp-users] Segmentation fault — Cygwin + win10

[Manu g. <man...@ho...>]

Hi developers,

I have been building and using eclipse clp in Cygwin win 10 but suddenly eclipse.exe has started to return ‘segmentation fault’

On checking with gdb error is at ec_mark_did (d=0xffffffff00000000) at /src//dict.c:1088

This is extremely surprising and came from nowhere. There was no change in code or the Cygwin environment. Also build is successful each time but execution fails.


Kindly help to resolve most urgently.


Warm regards,

Manu

Get Outlook for iOS<https://aka.ms/o0ukef>

Re: [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Vasily K. <in...@ka...>]

Hi Kish,

Thanks for your help, the base image now builds successfully. Is there a simple way of checking that both GMP / CBC were linked properly and are working?

For your reference, here’s the code so far:

FROM debian:bullseye AS builder

RUN apt update \
    && apt install -y \
        build-essential \
        m4 \
        gfortran \
        tcl-dev \
        tk-dev \
        git \
        subversion \
        wget

ENV GMP_VERSION 4.2.4
WORKDIR /gmp
RUN wget https://ftp.gnu.org/gnu/gmp/gmp-${GMP_VERSION}.tar.gz \
    && tar -xvf gmp-${GMP_VERSION}.tar.gz \
    && cd gmp-${GMP_VERSION} \
    && ./configure --prefix=/usr --enable-cxx --enable-mpbsd \
    && make \
    && make install

WORKDIR /eclipse
RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
RUN ./configure --with-osi

WORKDIR /eclipse/Eplex
RUN make -f Makefile.x86_64_linux install_cbc
RUN ln -s /vol/Eclipse/thirdparty/coinclpcbc2.9 /vol/Eclipse/thirdparty/coinclpcbc

WORKDIR /eclipse
RUN ./configure --with-osi
RUN make -f Makefile.x86_64_linux install
RUN make -f Makefile.x86_64_linux install_documents




> On 17 Jul 2021, at 12:03 am, Kish Shen <kis...@gm...> wrote:
> 
> Hi Vasily,
> 
> I don't know about Debian Dockerfile, so I don''t know if it requires
> anythingextra.
> 
> When configure is run, it will look for COIN-OR related files in the
> third part directory set ECLIPSETHIRDPARTY environment variable.
> 
> You probably don't have COIN-OR installed there, but after running
> configure, you can build and install COIN-OR solvers from the Eplex
> directory. Go into the Eplex directory, and run this
> 
> make -f Makefile.<platform> install_cbc
> (<platform> is your platform, e.g. x86_64_linux)
> 
> and this should download, build, and install CBC/CLP into the third
> party directory.
> 
> You can now run configure again, and it should find CBC/CLP.
> 
> CBC/CLP is far the best supported COIN-OR solver in eplex, but eplex
> also support other solvers via the generic OSI interface, and there
> are Makefile rules to build SYMPHONY as well. Look at the Makefile if
> you are interested.
> 
> Cheers,
> 
> Kish
> 
> 
> 
> 
> 
> 
> 
> 
> 
> On Fri, Jul 16, 2021 at 12:19 PM Vasily Kartashov <in...@ka...> wrote:
>> 
>> Hello,
>> 
>> Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but
>> 
>> 1) it’s not clear which coinor packages are required
>> 2) how to make eclipse aware of them
>> 
>> Currently the Dockerfile looks like this
>> 
>> FROM debian:bullseye AS builder
>> 
>> RUN apt update && \
>> apt install -y \
>> build-essential \
>> libgmp-dev \
>> tcl-dev \
>> tk-dev \
>> git \
>> coinor-libcbc-dev \
>> coinor-libcgl-dev \
>> coinor-libclp-dev \
>> coinor-libdylp-dev \
>> coinor-libvol-dev
>> 
>> WORKDIR /eclipse
>> 
>> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
>> 
>> RUN ./configure \
>> --with-osi \
>> --without-cplex \
>> --without-xpress \
>> --without-gurobi \
>> --without-gfd \
>> --without-java \
>> --without-flexlm \
>> --without-graphviz \
>> --without-mysql \
>> --without-cpviz
>> RUN make -f Makefile.x86_64_linux install
>> RUN make -f Makefile.x86_64_linux install_documents
>> 
>> FROM debian:bullseye-slim
>> 
>> COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
>> COPY --from=builder /eclipse/lib /eclipse/lib
>> COPY --from=builder /eclipse/lib_public /eclipse/lib_public
>> 
>> ENTRYPOINT [ "eclipse” ]
>> 
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECL...@li...
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Kish S. <kis...@gm...>]

Sorry, I think I pressed the wrong key which sent the message earrly....

What I was trying to say is that the symclp interface is out-of-date,
as it has not been developed or compiled for recently. CLPCBC gave the
best performance when we first developed the interface, and it has
received extensive development since then to allow itt to support more
of eplex's features, and to give better performance.

We have not biuilt the symclp interface recemtly, so there may be
issues with it. However, you seem to have more basic problems:

>#18 99.82 /usr/bin/ld: cannot find -lOsiSym
>#18 99.82 /usr/bin/ld: cannot find -lSym

Check your /vol/Eclipse/thirdparty/coinsymclp/x86_64_linux/lib
directory, are the needed .a files in there?

If not, something went wrong building SYMPONY. If the .a files are
there, then I don't understand your problem.

Cheers,

Kish

On Sun, Jul 18, 2021 at 4:03 PM Kish Shen <kis...@gm...> wrote:
>
> Hi,
>
> I think I should say that almost all the eplex development efforts for
> the OSI solvers have been for CLP/CBC. There are extensive CBC
> specific code to make it more efficient and support more features of
> eplex.W
>
> The other solvers only use the generic OSI, which has only very basic
> MIP support.
>
> On Sun, Jul 18, 2021 at 9:39 AM Vasily Kartashov <in...@ka...> wrote:
> >
> > Hi Kish,
> >
> > Thanks, I am getting further this time:
> >
> > #17 8.457 configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
> > #17 8.457 checking for __gmpz_import in -lgmp... yes
> > #17 8.502 configure: Using OSI clpcbc in /vol/Eclipse/thirdparty/coinclpcbc
> > #17 8.504 configure: Using OSI symclp in /vol/Eclipse/thirdparty/coinsymclp
> > #17 8.506 configure: Will build OSI interfaces for versions  clpcbc symclp
> > #17 8.507 configure: Not building CPLEX interface
> >
> > But it stops during the build here:
> >
> > #18 99.81 g++ -shared  eplex.o coinplex.o -L/vol/Eclipse/thirdparty/coinsymclp/x86_64_linux/lib -lOsiSym -lSym -lOsiClp -lCgl -lClp  -lOsi -lCoinUtils -static-libstdc++ -static-libgcc -L../lib/x86_64_linux -leclipse -L.  -lgmp -lpthread -lnsl -ldl -lm   -o x86_64_linux/seosisymclp.so
> > #18 99.82 /usr/bin/ld: cannot find -lOsiSym
> > #18 99.82 /usr/bin/ld: cannot find -lSym
> > #18 99.82 /usr/bin/ld: cannot find -lOsiClp
> > #18 99.82 /usr/bin/ld: cannot find -lCgl
> > #18 99.82 /usr/bin/ld: cannot find -lClp
> > #18 99.82 /usr/bin/ld: cannot find -lOsi
> > #18 99.82 /usr/bin/ld: cannot find -lCoinUtils
> >
> > Here’s my complete dockerfile:
> >
> > FROM debian:bullseye AS builder
> >
> > RUN apt update \
> > && apt install -y \
> > build-essential \
> > m4 \
> > gfortran \
> > tcl-dev \
> > tk-dev \
> > git \
> > subversion \
> > wget
> >
> > ENV GMP_VERSION 4.2.4
> > WORKDIR /gmp
> > RUN wget https://ftp.gnu.org/gnu/gmp/gmp-${GMP_VERSION}.tar.gz \
> > && tar -xvf gmp-${GMP_VERSION}.tar.gz \
> > && cd gmp-${GMP_VERSION} \
> > && ./configure --prefix=/usr --enable-cxx --enable-mpbsd \
> > && make \
> > && make install
> >
> > WORKDIR /eclipse
> > RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
> > RUN ./configure --with-osi
> >
> > WORKDIR /eclipse/Eplex
> > RUN make -f Makefile.x86_64_linux install_cbc install_sym
> > RUN ln -s /vol/Eclipse/thirdparty/coinclpcbc2.9 /vol/Eclipse/thirdparty/coinclpcbc
> > RUN ln -s /vol/Eclipse/thirdparty/coinsymclp5.3 /vol/Eclipse/thirdparty/coinsymclp
> >
> > WORKDIR /eclipse
> > RUN ./configure --with-osi
> > RUN make -f Makefile.x86_64_linux install
> >
> > Best,
> > Vasily
> >
> > On 18 Jul 2021, at 1:29 pm, Kish Shen <kis...@gm...> wrote:
> >
> > Hi Vasily,
> >
> > Looking at your log:
> >
> > 14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
> >
> >
> > the files are copied to coinstmclp5.3, a version specific (5.3) directory.
> >
> > While the configure is looking for symclp in:
> >
> > #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
> >
> > symclp, without the version.
> >
> > The same applies to clpcbc. I normally create a symbolic link from
> > clpcbc to clpcbc<version>. It looks like you need to do this yourself,
> > as the Makefile rule for installing the OSI solvers don't seem to do
> > this.
> >
> > P.S. Also surprised that configure cannot see GMP.
> >
> >
> > this seems to be because configure requires GMP versions 4.1 or 4.2 -
> > these are very old versions of GMP. I don't know if newer versions of
> > GMPare not looked for,and I have asked Joachim Schimpf about this.
> >
> > You can download the source for GMP 4.1 from:
> >
> > https://eclipseclp.org/Distribution/thirdparty/
> >
> >
> > and build this version of GMP. You should always build ECLiPSe with
> > GMP since the new compiler was introduced (I think in 6.0), as this
> > ECLiPSe compiler is not fully unfctional without GMP.
> >
> > BTW, you can find some detailed instructions on building ECLiPSe in:
> >
> > http://eclipseclp.org/reports/SetupGuide.pdf
> >
> > and the .doc version of this is available in the ECLiPSe source, under
> > documents/internal
> >
> > unfortunately, it has not been systematically updated, and parts of it
> > is very out of date.
> >
> > Cheers,
> >
> > Kish
> >
> > the .doc (i.e. MS word) version of this is available in the ECLiPSe
> > source, in documents/internal
> >
> > On Sat, Jul 17, 2021 at 3:46 AM Vasily Kartashov <in...@ka...> wrote:
> >
> >
> > Hi Kish,
> >
> > I am now getting this:
> >
> > #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
> > #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/lib/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/lib
> >
> > …
> >
> > #16 8.015 checking for __gmpz_import in -lgmp... configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
> > #16 8.059 yes
> > #16 8.061 configure: WARNING: Could not find x86_64_linux support for clpcbc in /vol/Eclipse/thirdparty/coinclpcbcamd /vol/Eclipse/thirdparty/coinclpcbc
> > #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
> >
> >
> > The dockerfile looks like following:
> >
> >
> > FROM debian:bullseye AS builder
> >
> > RUN apt update && \
> >    apt install -y \
> >        build-essential \
> >        libgmp-dev \
> >        tcl-dev \
> >        tk-dev \
> >        git \
> >        subversion
> >
> > WORKDIR /eclipse
> > RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
> > RUN ./configure --with-osi
> >
> > WORKDIR /eclipse/Eplex
> > RUN make -f Makefile.x86_64_linux install_cbc
> > RUN make -f Makefile.x86_64_linux install_sym
> >
> > WORKDIR /eclipse
> > RUN ./configure --with-osi
> > RUN make -f Makefile.x86_64_linux install
> > RUN make -f Makefile.x86_64_linux install_documents
> >
> >
> >
> > To trigger the build run the following command from the folder with Dockerfile:
> >
> >
> > docker build --progress=plain -t eclipse:latest .
> >
> >
> > Kind regards,
> > Vasily
> >
> > P.S. Also surprised that configure cannot see GMP.
> >
> >
> > On 17 Jul 2021, at 12:03 am, Kish Shen <kis...@gm...> wrote:
> >
> > Hi Vasily,
> >
> > I don't know about Debian Dockerfile, so I don''t know if it requires
> > anythingextra.
> >
> > When configure is run, it will look for COIN-OR related files in the
> > third part directory set ECLIPSETHIRDPARTY environment variable.
> >
> > You probably don't have COIN-OR installed there, but after running
> > configure, you can build and install COIN-OR solvers from the Eplex
> > directory. Go into the Eplex directory, and run this
> >
> > make -f Makefile.<platform> install_cbc
> > (<platform> is your platform, e.g. x86_64_linux)
> >
> > and this should download, build, and install CBC/CLP into the third
> > party directory.
> >
> > You can now run configure again, and it should find CBC/CLP.
> >
> > CBC/CLP is far the best supported COIN-OR solver in eplex, but eplex
> > also support other solvers via the generic OSI interface, and there
> > are Makefile rules to build SYMPHONY as well. Look at the Makefile if
> > you are interested.
> >
> > Cheers,
> >
> > Kish
> >
> >
> >
> >
> >
> >
> >
> >
> >
> > On Fri, Jul 16, 2021 at 12:19 PM Vasily Kartashov <in...@ka...> wrote:
> >
> >
> > Hello,
> >
> > Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but
> >
> > 1) it’s not clear which coinor packages are required
> > 2) how to make eclipse aware of them
> >
> > Currently the Dockerfile looks like this
> >
> > FROM debian:bullseye AS builder
> >
> > RUN apt update && \
> > apt install -y \
> > build-essential \
> > libgmp-dev \
> > tcl-dev \
> > tk-dev \
> > git \
> > coinor-libcbc-dev \
> > coinor-libcgl-dev \
> > coinor-libclp-dev \
> > coinor-libdylp-dev \
> > coinor-libvol-dev
> >
> > WORKDIR /eclipse
> >
> > RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
> >
> > RUN ./configure \
> > --with-osi \
> > --without-cplex \
> > --without-xpress \
> > --without-gurobi \
> > --without-gfd \
> > --without-java \
> > --without-flexlm \
> > --without-graphviz \
> > --without-mysql \
> > --without-cpviz
> > RUN make -f Makefile.x86_64_linux install
> > RUN make -f Makefile.x86_64_linux install_documents
> >
> > FROM debian:bullseye-slim
> >
> > COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
> > COPY --from=builder /eclipse/lib /eclipse/lib
> > COPY --from=builder /eclipse/lib_public /eclipse/lib_public
> >
> > ENTRYPOINT [ "eclipse” ]
> >
> > _______________________________________________
> > ECLiPSe-CLP-Users mailing list
> > ECL...@li...
> > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> >
> >
> >

Re: [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Kish S. <kis...@gm...>]

Hi,

I think I should say that almost all the eplex development efforts for
the OSI solvers have been for CLP/CBC. There are extensive CBC
specific code to make it more efficient and support more features of
eplex.W

The other solvers only use the generic OSI, which has only very basic
MIP support.

On Sun, Jul 18, 2021 at 9:39 AM Vasily Kartashov <in...@ka...> wrote:
>
> Hi Kish,
>
> Thanks, I am getting further this time:
>
> #17 8.457 configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
> #17 8.457 checking for __gmpz_import in -lgmp... yes
> #17 8.502 configure: Using OSI clpcbc in /vol/Eclipse/thirdparty/coinclpcbc
> #17 8.504 configure: Using OSI symclp in /vol/Eclipse/thirdparty/coinsymclp
> #17 8.506 configure: Will build OSI interfaces for versions  clpcbc symclp
> #17 8.507 configure: Not building CPLEX interface
>
> But it stops during the build here:
>
> #18 99.81 g++ -shared  eplex.o coinplex.o -L/vol/Eclipse/thirdparty/coinsymclp/x86_64_linux/lib -lOsiSym -lSym -lOsiClp -lCgl -lClp  -lOsi -lCoinUtils -static-libstdc++ -static-libgcc -L../lib/x86_64_linux -leclipse -L.  -lgmp -lpthread -lnsl -ldl -lm   -o x86_64_linux/seosisymclp.so
> #18 99.82 /usr/bin/ld: cannot find -lOsiSym
> #18 99.82 /usr/bin/ld: cannot find -lSym
> #18 99.82 /usr/bin/ld: cannot find -lOsiClp
> #18 99.82 /usr/bin/ld: cannot find -lCgl
> #18 99.82 /usr/bin/ld: cannot find -lClp
> #18 99.82 /usr/bin/ld: cannot find -lOsi
> #18 99.82 /usr/bin/ld: cannot find -lCoinUtils
>
> Here’s my complete dockerfile:
>
> FROM debian:bullseye AS builder
>
> RUN apt update \
> && apt install -y \
> build-essential \
> m4 \
> gfortran \
> tcl-dev \
> tk-dev \
> git \
> subversion \
> wget
>
> ENV GMP_VERSION 4.2.4
> WORKDIR /gmp
> RUN wget https://ftp.gnu.org/gnu/gmp/gmp-${GMP_VERSION}.tar.gz \
> && tar -xvf gmp-${GMP_VERSION}.tar.gz \
> && cd gmp-${GMP_VERSION} \
> && ./configure --prefix=/usr --enable-cxx --enable-mpbsd \
> && make \
> && make install
>
> WORKDIR /eclipse
> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
> RUN ./configure --with-osi
>
> WORKDIR /eclipse/Eplex
> RUN make -f Makefile.x86_64_linux install_cbc install_sym
> RUN ln -s /vol/Eclipse/thirdparty/coinclpcbc2.9 /vol/Eclipse/thirdparty/coinclpcbc
> RUN ln -s /vol/Eclipse/thirdparty/coinsymclp5.3 /vol/Eclipse/thirdparty/coinsymclp
>
> WORKDIR /eclipse
> RUN ./configure --with-osi
> RUN make -f Makefile.x86_64_linux install
>
> Best,
> Vasily
>
> On 18 Jul 2021, at 1:29 pm, Kish Shen <kis...@gm...> wrote:
>
> Hi Vasily,
>
> Looking at your log:
>
> 14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
>
>
> the files are copied to coinstmclp5.3, a version specific (5.3) directory.
>
> While the configure is looking for symclp in:
>
> #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
>
> symclp, without the version.
>
> The same applies to clpcbc. I normally create a symbolic link from
> clpcbc to clpcbc<version>. It looks like you need to do this yourself,
> as the Makefile rule for installing the OSI solvers don't seem to do
> this.
>
> P.S. Also surprised that configure cannot see GMP.
>
>
> this seems to be because configure requires GMP versions 4.1 or 4.2 -
> these are very old versions of GMP. I don't know if newer versions of
> GMPare not looked for,and I have asked Joachim Schimpf about this.
>
> You can download the source for GMP 4.1 from:
>
> https://eclipseclp.org/Distribution/thirdparty/
>
>
> and build this version of GMP. You should always build ECLiPSe with
> GMP since the new compiler was introduced (I think in 6.0), as this
> ECLiPSe compiler is not fully unfctional without GMP.
>
> BTW, you can find some detailed instructions on building ECLiPSe in:
>
> http://eclipseclp.org/reports/SetupGuide.pdf
>
> and the .doc version of this is available in the ECLiPSe source, under
> documents/internal
>
> unfortunately, it has not been systematically updated, and parts of it
> is very out of date.
>
> Cheers,
>
> Kish
>
> the .doc (i.e. MS word) version of this is available in the ECLiPSe
> source, in documents/internal
>
> On Sat, Jul 17, 2021 at 3:46 AM Vasily Kartashov <in...@ka...> wrote:
>
>
> Hi Kish,
>
> I am now getting this:
>
> #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
> #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/lib/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/lib
>
> …
>
> #16 8.015 checking for __gmpz_import in -lgmp... configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
> #16 8.059 yes
> #16 8.061 configure: WARNING: Could not find x86_64_linux support for clpcbc in /vol/Eclipse/thirdparty/coinclpcbcamd /vol/Eclipse/thirdparty/coinclpcbc
> #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
>
>
> The dockerfile looks like following:
>
>
> FROM debian:bullseye AS builder
>
> RUN apt update && \
>    apt install -y \
>        build-essential \
>        libgmp-dev \
>        tcl-dev \
>        tk-dev \
>        git \
>        subversion
>
> WORKDIR /eclipse
> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
> RUN ./configure --with-osi
>
> WORKDIR /eclipse/Eplex
> RUN make -f Makefile.x86_64_linux install_cbc
> RUN make -f Makefile.x86_64_linux install_sym
>
> WORKDIR /eclipse
> RUN ./configure --with-osi
> RUN make -f Makefile.x86_64_linux install
> RUN make -f Makefile.x86_64_linux install_documents
>
>
>
> To trigger the build run the following command from the folder with Dockerfile:
>
>
> docker build --progress=plain -t eclipse:latest .
>
>
> Kind regards,
> Vasily
>
> P.S. Also surprised that configure cannot see GMP.
>
>
> On 17 Jul 2021, at 12:03 am, Kish Shen <kis...@gm...> wrote:
>
> Hi Vasily,
>
> I don't know about Debian Dockerfile, so I don''t know if it requires
> anythingextra.
>
> When configure is run, it will look for COIN-OR related files in the
> third part directory set ECLIPSETHIRDPARTY environment variable.
>
> You probably don't have COIN-OR installed there, but after running
> configure, you can build and install COIN-OR solvers from the Eplex
> directory. Go into the Eplex directory, and run this
>
> make -f Makefile.<platform> install_cbc
> (<platform> is your platform, e.g. x86_64_linux)
>
> and this should download, build, and install CBC/CLP into the third
> party directory.
>
> You can now run configure again, and it should find CBC/CLP.
>
> CBC/CLP is far the best supported COIN-OR solver in eplex, but eplex
> also support other solvers via the generic OSI interface, and there
> are Makefile rules to build SYMPHONY as well. Look at the Makefile if
> you are interested.
>
> Cheers,
>
> Kish
>
>
>
>
>
>
>
>
>
> On Fri, Jul 16, 2021 at 12:19 PM Vasily Kartashov <in...@ka...> wrote:
>
>
> Hello,
>
> Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but
>
> 1) it’s not clear which coinor packages are required
> 2) how to make eclipse aware of them
>
> Currently the Dockerfile looks like this
>
> FROM debian:bullseye AS builder
>
> RUN apt update && \
> apt install -y \
> build-essential \
> libgmp-dev \
> tcl-dev \
> tk-dev \
> git \
> coinor-libcbc-dev \
> coinor-libcgl-dev \
> coinor-libclp-dev \
> coinor-libdylp-dev \
> coinor-libvol-dev
>
> WORKDIR /eclipse
>
> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
>
> RUN ./configure \
> --with-osi \
> --without-cplex \
> --without-xpress \
> --without-gurobi \
> --without-gfd \
> --without-java \
> --without-flexlm \
> --without-graphviz \
> --without-mysql \
> --without-cpviz
> RUN make -f Makefile.x86_64_linux install
> RUN make -f Makefile.x86_64_linux install_documents
>
> FROM debian:bullseye-slim
>
> COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
> COPY --from=builder /eclipse/lib /eclipse/lib
> COPY --from=builder /eclipse/lib_public /eclipse/lib_public
>
> ENTRYPOINT [ "eclipse” ]
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>
>

Re: [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Vasily K. <in...@ka...>]

Hi Kish,

Thanks, I am getting further this time:

#17 8.457 configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
#17 8.457 checking for __gmpz_import in -lgmp... yes
#17 8.502 configure: Using OSI clpcbc in /vol/Eclipse/thirdparty/coinclpcbc
#17 8.504 configure: Using OSI symclp in /vol/Eclipse/thirdparty/coinsymclp
#17 8.506 configure: Will build OSI interfaces for versions  clpcbc symclp
#17 8.507 configure: Not building CPLEX interface

But it stops during the build here:

#18 99.81 g++ -shared  eplex.o coinplex.o -L/vol/Eclipse/thirdparty/coinsymclp/x86_64_linux/lib -lOsiSym -lSym -lOsiClp -lCgl -lClp  -lOsi -lCoinUtils -static-libstdc++ -static-libgcc -L../lib/x86_64_linux -leclipse -L.  -lgmp -lpthread -lnsl -ldl -lm   -o x86_64_linux/seosisymclp.so
#18 99.82 /usr/bin/ld: cannot find -lOsiSym
#18 99.82 /usr/bin/ld: cannot find -lSym
#18 99.82 /usr/bin/ld: cannot find -lOsiClp
#18 99.82 /usr/bin/ld: cannot find -lCgl
#18 99.82 /usr/bin/ld: cannot find -lClp
#18 99.82 /usr/bin/ld: cannot find -lOsi
#18 99.82 /usr/bin/ld: cannot find -lCoinUtils

Here’s my complete dockerfile:

FROM debian:bullseye AS builder

RUN apt update \
    && apt install -y \
        build-essential \
        m4 \
        gfortran \
        tcl-dev \
        tk-dev \
        git \
        subversion \
        wget

ENV GMP_VERSION 4.2.4
WORKDIR /gmp
RUN wget https://ftp.gnu.org/gnu/gmp/gmp-${GMP_VERSION}.tar.gz \
    && tar -xvf gmp-${GMP_VERSION}.tar.gz \
    && cd gmp-${GMP_VERSION} \
    && ./configure --prefix=/usr --enable-cxx --enable-mpbsd \
    && make \
    && make install

WORKDIR /eclipse
RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
RUN ./configure --with-osi

WORKDIR /eclipse/Eplex
RUN make -f Makefile.x86_64_linux install_cbc install_sym
RUN ln -s /vol/Eclipse/thirdparty/coinclpcbc2.9 /vol/Eclipse/thirdparty/coinclpcbc
RUN ln -s /vol/Eclipse/thirdparty/coinsymclp5.3 /vol/Eclipse/thirdparty/coinsymclp

WORKDIR /eclipse
RUN ./configure --with-osi
RUN make -f Makefile.x86_64_linux install

Best,
Vasily

> On 18 Jul 2021, at 1:29 pm, Kish Shen <kis...@gm...> wrote:
> 
> Hi Vasily,
> 
> Looking at your log:
>> 14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
> 
> the files are copied to coinstmclp5.3, a version specific (5.3) directory.
> 
> While the configure is looking for symclp in:
> 
>> #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
> symclp, without the version.
> 
> The same applies to clpcbc. I normally create a symbolic link from
> clpcbc to clpcbc<version>. It looks like you need to do this yourself,
> as the Makefile rule for installing the OSI solvers don't seem to do
> this.
> 
>> P.S. Also surprised that configure cannot see GMP.
> 
> this seems to be because configure requires GMP versions 4.1 or 4.2 -
> these are very old versions of GMP. I don't know if newer versions of
> GMPare not looked for,and I have asked Joachim Schimpf about this.
> 
> You can download the source for GMP 4.1 from:
> 
> https://eclipseclp.org/Distribution/thirdparty/
> 
> 
> and build this version of GMP. You should always build ECLiPSe with
> GMP since the new compiler was introduced (I think in 6.0), as this
> ECLiPSe compiler is not fully unfctional without GMP.
> 
> BTW, you can find some detailed instructions on building ECLiPSe in:
> 
> http://eclipseclp.org/reports/SetupGuide.pdf
> 
> and the .doc version of this is available in the ECLiPSe source, under
> documents/internal
> 
> unfortunately, it has not been systematically updated, and parts of it
> is very out of date.
> 
> Cheers,
> 
> Kish
> 
> the .doc (i.e. MS word) version of this is available in the ECLiPSe
> source, in documents/internal
> 
> On Sat, Jul 17, 2021 at 3:46 AM Vasily Kartashov <in...@ka...> wrote:
>> 
>> Hi Kish,
>> 
>> I am now getting this:
>> 
>> #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/include/coin/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/include
>> #14 336.0 /bin/cp -pr SYMPHONY/x86_64_linux/lib/* /vol/Eclipse/thirdparty/coinsymclp5.3/x86_64_linux/lib
>> 
>> …
>> 
>> #16 8.015 checking for __gmpz_import in -lgmp... configure: WARNING: Could not find Gmp (4.2 4.1) in /vol/Eclipse/thirdparty
>> #16 8.059 yes
>> #16 8.061 configure: WARNING: Could not find x86_64_linux support for clpcbc in /vol/Eclipse/thirdparty/coinclpcbcamd /vol/Eclipse/thirdparty/coinclpcbc
>> #16 8.061 configure: WARNING: Could not find x86_64_linux support for symclp in /vol/Eclipse/thirdparty/coinsymclpamd /vol/Eclipse/thirdparty/coinsymclp
>> 
>> 
>> The dockerfile looks like following:
>> 
>> 
>> FROM debian:bullseye AS builder
>> 
>> RUN apt update && \
>>    apt install -y \
>>        build-essential \
>>        libgmp-dev \
>>        tcl-dev \
>>        tk-dev \
>>        git \
>>        subversion
>> 
>> WORKDIR /eclipse
>> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
>> RUN ./configure --with-osi
>> 
>> WORKDIR /eclipse/Eplex
>> RUN make -f Makefile.x86_64_linux install_cbc
>> RUN make -f Makefile.x86_64_linux install_sym
>> 
>> WORKDIR /eclipse
>> RUN ./configure --with-osi
>> RUN make -f Makefile.x86_64_linux install
>> RUN make -f Makefile.x86_64_linux install_documents
>> 
>> 
>> 
>> To trigger the build run the following command from the folder with Dockerfile:
>> 
>> 
>> docker build --progress=plain -t eclipse:latest .
>> 
>> 
>> Kind regards,
>> Vasily
>> 
>> P.S. Also surprised that configure cannot see GMP.
>> 
>> 
>>> On 17 Jul 2021, at 12:03 am, Kish Shen <kis...@gm...> wrote:
>>> 
>>> Hi Vasily,
>>> 
>>> I don't know about Debian Dockerfile, so I don''t know if it requires
>>> anythingextra.
>>> 
>>> When configure is run, it will look for COIN-OR related files in the
>>> third part directory set ECLIPSETHIRDPARTY environment variable.
>>> 
>>> You probably don't have COIN-OR installed there, but after running
>>> configure, you can build and install COIN-OR solvers from the Eplex
>>> directory. Go into the Eplex directory, and run this
>>> 
>>> make -f Makefile.<platform> install_cbc
>>> (<platform> is your platform, e.g. x86_64_linux)
>>> 
>>> and this should download, build, and install CBC/CLP into the third
>>> party directory.
>>> 
>>> You can now run configure again, and it should find CBC/CLP.
>>> 
>>> CBC/CLP is far the best supported COIN-OR solver in eplex, but eplex
>>> also support other solvers via the generic OSI interface, and there
>>> are Makefile rules to build SYMPHONY as well. Look at the Makefile if
>>> you are interested.
>>> 
>>> Cheers,
>>> 
>>> Kish
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> On Fri, Jul 16, 2021 at 12:19 PM Vasily Kartashov <in...@ka...> wrote:
>>>> 
>>>> Hello,
>>>> 
>>>> Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but
>>>> 
>>>> 1) it’s not clear which coinor packages are required
>>>> 2) how to make eclipse aware of them
>>>> 
>>>> Currently the Dockerfile looks like this
>>>> 
>>>> FROM debian:bullseye AS builder
>>>> 
>>>> RUN apt update && \
>>>> apt install -y \
>>>> build-essential \
>>>> libgmp-dev \
>>>> tcl-dev \
>>>> tk-dev \
>>>> git \
>>>> coinor-libcbc-dev \
>>>> coinor-libcgl-dev \
>>>> coinor-libclp-dev \
>>>> coinor-libdylp-dev \
>>>> coinor-libvol-dev
>>>> 
>>>> WORKDIR /eclipse
>>>> 
>>>> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
>>>> 
>>>> RUN ./configure \
>>>> --with-osi \
>>>> --without-cplex \
>>>> --without-xpress \
>>>> --without-gurobi \
>>>> --without-gfd \
>>>> --without-java \
>>>> --without-flexlm \
>>>> --without-graphviz \
>>>> --without-mysql \
>>>> --without-cpviz
>>>> RUN make -f Makefile.x86_64_linux install
>>>> RUN make -f Makefile.x86_64_linux install_documents
>>>> 
>>>> FROM debian:bullseye-slim
>>>> 
>>>> COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
>>>> COPY --from=builder /eclipse/lib /eclipse/lib
>>>> COPY --from=builder /eclipse/lib_public /eclipse/lib_public
>>>> 
>>>> ENTRYPOINT [ "eclipse” ]
>>>> 
>>>> _______________________________________________
>>>> ECLiPSe-CLP-Users mailing list
>>>> ECL...@li...
>>>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>> 

Re: [eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Kish S. <kis...@gm...>]

Hi Vasily,

I don't know about Debian Dockerfile, so I don''t know if it requires
anythingextra.

When configure is run, it will look for COIN-OR related files in the
third part directory set ECLIPSETHIRDPARTY environment variable.

You probably don't have COIN-OR installed there, but after running
configure, you can build and install COIN-OR solvers from the Eplex
directory. Go into the Eplex directory, and run this

make -f Makefile.<platform> install_cbc
(<platform> is your platform, e.g. x86_64_linux)

and this should download, build, and install CBC/CLP into the third
party directory.

You can now run configure again, and it should find CBC/CLP.

 CBC/CLP is far the best supported COIN-OR solver in eplex, but eplex
also support other solvers via the generic OSI interface, and there
are Makefile rules to build SYMPHONY as well. Look at the Makefile if
you are interested.

Cheers,

Kish









On Fri, Jul 16, 2021 at 12:19 PM Vasily Kartashov <in...@ka...> wrote:
>
> Hello,
>
> Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but
>
> 1) it’s not clear which coinor packages are required
> 2) how to make eclipse aware of them
>
> Currently the Dockerfile looks like this
>
> FROM debian:bullseye AS builder
>
> RUN apt update && \
> apt install -y \
> build-essential \
> libgmp-dev \
> tcl-dev \
> tk-dev \
> git \
> coinor-libcbc-dev \
> coinor-libcgl-dev \
> coinor-libclp-dev \
> coinor-libdylp-dev \
> coinor-libvol-dev
>
> WORKDIR /eclipse
>
> RUN git clone https://git.code.sf.net/p/eclipse-clp/git .
>
> RUN ./configure \
> --with-osi \
> --without-cplex \
> --without-xpress \
> --without-gurobi \
> --without-gfd \
> --without-java \
> --without-flexlm \
> --without-graphviz \
> --without-mysql \
> --without-cpviz
> RUN make -f Makefile.x86_64_linux install
> RUN make -f Makefile.x86_64_linux install_documents
>
> FROM debian:bullseye-slim
>
> COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
> COPY --from=builder /eclipse/lib /eclipse/lib
> COPY --from=builder /eclipse/lib_public /eclipse/lib_public
>
> ENTRYPOINT [ "eclipse” ]
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

[eclipse-clp-users] How to compile eclipse under Debian:bullseye with Coin-OR

[Vasily K. <in...@ka...>]

Hello,

Do you have detailed step by step instructions for compiling eclipse + eplex under debian. I am working on a `Dockerfile`, but

1) it’s not clear which coinor packages are required
2) how to make eclipse aware of them

Currently the Dockerfile looks like this

FROM debian:bullseye AS builder

RUN apt update && \
    apt install -y \
        build-essential \
        libgmp-dev \
        tcl-dev \
        tk-dev \
        git \
        coinor-libcbc-dev \
        coinor-libcgl-dev \
        coinor-libclp-dev \
        coinor-libdylp-dev \
        coinor-libvol-dev

WORKDIR /eclipse

RUN git clone https://git.code.sf.net/p/eclipse-clp/git .

RUN ./configure \
    --with-osi \
    --without-cplex \
    --without-xpress \
    --without-gurobi \
    --without-gfd \
    --without-java \
    --without-flexlm \
    --without-graphviz \
    --without-mysql \
    --without-cpviz
RUN make -f Makefile.x86_64_linux install
RUN make -f Makefile.x86_64_linux install_documents

FROM debian:bullseye-slim

COPY --from=builder /eclipse/bin/x86_64_linux/eclipse /usr/local/bin/eclipse
COPY --from=builder /eclipse/lib /eclipse/lib
COPY --from=builder /eclipse/lib_public /eclipse/lib_public

ENTRYPOINT [ "eclipse” ]

[eclipse-clp-users] Logtalk 3.48.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.48.0 is now available for downloading at:

https://logtalk.org/

This release provides out of the box support for running parallel Logtalk processes; updates support for Ciao Prolog, CxProlog, GNU Prolog, LVM, SWI-Prolog, and Trealla Prolog; adds new Handbook sections on running parallel processes and on different stages of the multi-pass compiler; improves several Handbook sections; improves documentation of the "lgtunit" tool; improves tests for the "cbor" and "random" libraries; updates the "logtalk_tester" script to print the run time in seconds for each test set; adds a new example contributed by Paul Brown on adding portable application GUIs using Tcl and Tk; improves tests for multiple examples; includes new and improve standards compliance tests; and improves support for the Sublime Text editor. For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

Re: [eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so

[Kish S. <kis...@gm...>]

>If you don't mind, I can try to fix this for contribution.
>May I do this?
Yes, please - we welcome any contributions.

Cheers,

KIsh

On Wed, Jun 23, 2021 at 7:18 PM koyahata <koy...@ko...> wrote:
>
> Sorry for late reply,
>
>  > Change this line in configure:
>  >
>  >      TCL_REQUIRED="8.5 8.4 8.3"
>  >
>  > to
>  >
>  >      TCL_REQUIRED="8.6 8.5 8.4 8.3"
>  >
>  > and run configure and install ECLiPSe again. ILet us know if this
>
> I had already done that and it didn't work.
>
> After "make -f Makefile.$ECLIPSEARCH",
> I got compile error like below:
> (I needed to install tcl8.6-dev for building)
>
> gcc -O2 -fomit-frame-pointer  -D_REENTRANT -fPIC -fno-strict-overflow
> -Wno-logical-op-parentheses -Wno-bitwise-op-parentheses
> -Wno-pointer-sign -DD_LOAD -DTHREADED -I. -I../src -I../../sys_include
> -I"/usr/include/tcl8.6" -INONE  -c ../src/tkeclipse.c
> ../src/tkeclipse.c: In function ‘EcQueueRead’:
> ../src/tkeclipse.c:456:8: error: ‘Tcl_Interp’ {aka ‘struct Tcl_Interp’}
> has no member named ‘result’
>    interp->result = "ec_queue_read: cannot read from ECLiPSe stream";
>          ^~
> ../src/tkeclipse.c: At top level:
> cc1: warning: unrecognized command line option ‘-Wno-bitwise-op-parentheses’
> cc1: warning: unrecognized command line option ‘-Wno-logical-op-parentheses’
> make[1]: *** [Makefile:207: tkeclipse.o] エラー 1
> make[1]: ディレクトリ '/usr/local/src/Eclipse_7.0_54/Kernel
> /x86_64_linux' から出ます
> make: *** [Makefile.x86_64_linux:46: make_kernel] エラー 2
>
> If you don't mind, I can try to fix this for contribution.
> May I do this?
>
> Regards,
> Taku Koyahata
>
> On 2021/06/22 4:21, Kish Shen wrote:
> >> Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
> >
> > I suspect that 8.6 will probably work with ECLiPSe. The reason it is
> > not in the configure is because we developed the Tcl/Tk interface a
> > long time ago, and have not tested it with 8.6, However, unless 8.6
> > made some drastic and incompatible changes from previous versions, it
> > should work.
> >
> > So I suggest that instead of putting 8.5 into ECLiPSETHIRDPARTY, you
> > could just modify configure to include 8.6:
> >
> > Change this line in configure:
> >
> >      TCL_REQUIRED="8.5 8.4 8.3"
> >
> > to
> >
> >      TCL_REQUIRED="8.6 8.5 8.4 8.3"
> >
> > and run configure and install ECLiPSe again. ILet us know if this
> > works, and we can either add 8.6 to  configure, pr if you do run into
> > problems, we can try to fix them so that ECLiPSe will work with 8.6.
> >
> >
> > Cheers,
> >
> > Kish
> >
> >>
> >>
> >> Thanks for replying,
> >>
> >> Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
> >> Because it seems difficult to downgrade my tcl8.6, I tried the
> >> procedures below:
> >> 1)make directory named /vol/Eclipse/thirdparty/
> >> 2)download
> >> https://eclipseclp.org/Distribution/Builds/7.0_54/x86_64_linux/tcltk.tgz
> >> into this directory
> >> 3)uncompressed it and rename this folder to tcltk8.5
> >> 4)do "export ECLIPSTHIRDPARTY=/vol/Eclipse/thirdparty/"
> >> 5)./configure can find proper tcltk library
> >>
> >> I posted whole of my building procedures into my blog
> >> http://www2.koyahatataku.com/blog/2021/06/22/debianlinux%e3%81%a7eclipse-clp%e3%82%92%e3%83%93%e3%83%ab%e3%83%89%e3%81%99%e3%82%8b/
> >>
> >> Regards,
> >> Taku Koyahata
> >>
> >> On 2021/06/17 22:37, Kish Shen wrote:
> >>>> Are there any special procedure for building
> >>>> "tkeclipse.so" and "tkexdr.so"?
> >>>
> >>> I suspect the reason tkeclipse was not built is because Tcl/Tk was not
> >>> found during configure.
> >>> Search the output produce during figure for 'Tcl' - if Tcl/Tk was
> >>> found, you should see something like:
> >>>
> >>> configure: Using Tcl 8.5 in /usr/local
> >>>
> >>> if configure did not find Tcl/Tk, this can be because you don't have
> >>> it installed on your system, or there can be other reasons.
> >>>
> >>> You can check if you have Tcl/Tk installed by running Tk with the wish
> >>> command from your shell:
> >>>
> >>> bash-3.2$ wish
> >>> % echo $tcl_version
> >>> 8.5
> >>> % exit
> >>> bash-3.2$
> >>>
> >>> if you are able to run Tcl, print the Tcl version as I did above - it
> >>> may be your Tcl version is not one that configure looks for.
> >>>
> >>> Cheers,
> >>>
> >>> Kish
> >>>
> >>>
> >>> _______________________________________________
> >>> ECLiPSe-CLP-Users mailing list
> >>> ECL...@li...
> >>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> >>>
> >>
> >>
> >>
> >> _______________________________________________
> >> ECLiPSe-CLP-Users mailing list
> >> ECL...@li...
> >> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>

Re: [eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so

[koyahata <koy...@ko...>]

Sorry for late reply,

 > Change this line in configure:
 >
 >      TCL_REQUIRED="8.5 8.4 8.3"
 >
 > to
 >
 >      TCL_REQUIRED="8.6 8.5 8.4 8.3"
 >
 > and run configure and install ECLiPSe again. ILet us know if this

I had already done that and it didn't work.

After "make -f Makefile.$ECLIPSEARCH",
I got compile error like below:
(I needed to install tcl8.6-dev for building)

gcc -O2 -fomit-frame-pointer  -D_REENTRANT -fPIC -fno-strict-overflow 
-Wno-logical-op-parentheses -Wno-bitwise-op-parentheses 
-Wno-pointer-sign -DD_LOAD -DTHREADED -I. -I../src -I../../sys_include 
-I"/usr/include/tcl8.6" -INONE  -c ../src/tkeclipse.c
../src/tkeclipse.c: In function ‘EcQueueRead’:
../src/tkeclipse.c:456:8: error: ‘Tcl_Interp’ {aka ‘struct Tcl_Interp’} 
has no member named ‘result’
   interp->result = "ec_queue_read: cannot read from ECLiPSe stream";
         ^~
../src/tkeclipse.c: At top level:
cc1: warning: unrecognized command line option ‘-Wno-bitwise-op-parentheses’
cc1: warning: unrecognized command line option ‘-Wno-logical-op-parentheses’
make[1]: *** [Makefile:207: tkeclipse.o] エラー 1
make[1]: ディレクトリ '/usr/local/src/Eclipse_7.0_54/Kernel 
/x86_64_linux' から出ます
make: *** [Makefile.x86_64_linux:46: make_kernel] エラー 2

If you don't mind, I can try to fix this for contribution.
May I do this?

Regards,
Taku Koyahata

On 2021/06/22 4:21, Kish Shen wrote:
>> Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
> 
> I suspect that 8.6 will probably work with ECLiPSe. The reason it is
> not in the configure is because we developed the Tcl/Tk interface a
> long time ago, and have not tested it with 8.6, However, unless 8.6
> made some drastic and incompatible changes from previous versions, it
> should work.
> 
> So I suggest that instead of putting 8.5 into ECLiPSETHIRDPARTY, you
> could just modify configure to include 8.6:
> 
> Change this line in configure:
> 
>      TCL_REQUIRED="8.5 8.4 8.3"
> 
> to
> 
>      TCL_REQUIRED="8.6 8.5 8.4 8.3"
> 
> and run configure and install ECLiPSe again. ILet us know if this
> works, and we can either add 8.6 to  configure, pr if you do run into
> problems, we can try to fix them so that ECLiPSe will work with 8.6.
> 
> 
> Cheers,
> 
> Kish
> 
>>
>>
>> Thanks for replying,
>>
>> Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
>> Because it seems difficult to downgrade my tcl8.6, I tried the
>> procedures below:
>> 1)make directory named /vol/Eclipse/thirdparty/
>> 2)download
>> https://eclipseclp.org/Distribution/Builds/7.0_54/x86_64_linux/tcltk.tgz
>> into this directory
>> 3)uncompressed it and rename this folder to tcltk8.5
>> 4)do "export ECLIPSTHIRDPARTY=/vol/Eclipse/thirdparty/"
>> 5)./configure can find proper tcltk library
>>
>> I posted whole of my building procedures into my blog
>> http://www2.koyahatataku.com/blog/2021/06/22/debianlinux%e3%81%a7eclipse-clp%e3%82%92%e3%83%93%e3%83%ab%e3%83%89%e3%81%99%e3%82%8b/
>>
>> Regards,
>> Taku Koyahata
>>
>> On 2021/06/17 22:37, Kish Shen wrote:
>>>> Are there any special procedure for building
>>>> "tkeclipse.so" and "tkexdr.so"?
>>>
>>> I suspect the reason tkeclipse was not built is because Tcl/Tk was not
>>> found during configure.
>>> Search the output produce during figure for 'Tcl' - if Tcl/Tk was
>>> found, you should see something like:
>>>
>>> configure: Using Tcl 8.5 in /usr/local
>>>
>>> if configure did not find Tcl/Tk, this can be because you don't have
>>> it installed on your system, or there can be other reasons.
>>>
>>> You can check if you have Tcl/Tk installed by running Tk with the wish
>>> command from your shell:
>>>
>>> bash-3.2$ wish
>>> % echo $tcl_version
>>> 8.5
>>> % exit
>>> bash-3.2$
>>>
>>> if you are able to run Tcl, print the Tcl version as I did above - it
>>> may be your Tcl version is not one that configure looks for.
>>>
>>> Cheers,
>>>
>>> Kish
>>>
>>>
>>> _______________________________________________
>>> ECLiPSe-CLP-Users mailing list
>>> ECL...@li...
>>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>>>
>>
>>
>>
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECL...@li...
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] How to compile using c interface in eclipse

[Kish S. <kis...@gm...>]

Hi Manu,

>Embedding and interfacing manual example not compiling in codeblocks Cygwin and throws multiple errors during build process.

It would be helpful if you included some details about your problem:
which exact program(s) you tried to compile, how you invoked gcc. amd
at least some of the errors you are getting.

However, I would guess your problem is likely related to changes in
the ECLiPSe C interface in version 7, which was outlined in the
'foreign language interfaces' section of the 7.9  release notes:

http://eclipseclp.org/relnotes/index.html

>In the C interface, many of the original ec_xxx(...) functions have been replaced by ecl_xxx(ec_eng_t*, ...) functions that take an additional argument which specifies the engine to which the operation applies. Old (engine-unaware) C code can be compiled by defining the macro >USES_NO_ENGINE_HANDLE before the corresponding include file, i.e.

>    #define USES_NO_ENGINE_HANDLE
>    #include "eclipse.h"

The embedding and interface manual has not been updated to describing
the new interface, and some, but not all, programs have the #define
line added.
If you were trying to compile one of the program without the added
#define, you will get errors - if this is your problem, then add the
line and recompile.
If this is not your problem, then give more details about your problem.

>Also unable to work with lib file

You need to give more details about what you are trying to do. Fpr
cp,[o;omg using the C interface on WIndows, you should only need the
eclipse.dll file.

One last point: your posting included what seems to be an unrelated
posting from Taku Koyahata. Did you have any rwason to include his
post?

Cheers,

Kish



On Fri, Jun 18, 2021 at 2:03 PM Manu goswami <man...@ho...> wrote:
>
> Hi Developers,
>
> Please inform how to compile using eclipse c interface.  Codeblocks + cygwin + gcc
>
> Embedding and interfacing manual example not compiling in codeblocks Cygwin and throws multiple errors during build process.
>
> Also unable to work with lib file
>
>
> Warm regards,
>
> Manu
> Get Outlook for iOS
> ________________________________
> From: koyahata <koy...@ko...>
> Sent: Wednesday, June 16, 2021 11:44:38 PM
> To: ecl...@li... <ecl...@li...>
> Subject: [eclipse-clp-users] How to build tkexdr.so and tkeclipse.so
>
> Dear ECLiPSe developers,
>
> Hi, I'm trying to install ECLiPSe into debian 10.9 from source code.
>
> I succeeded to build, then I did ./RUNME and added proper path into
> $PATH, but tkeclipse cannot be started.
> I found the reason: there are no "tkeclipse.so" and "tkexdr.so" in the
> directory $ECLIPSEDIR/lib/$ECLIPSEARCH .
>
> These files are not build with procedure below:
> 1. export ECLIPSEARCH=x86_64_linux
> 2. ./configure
> 3. make -f Makefile.$ECLIPSEARCH
>
> Are there any special procedure for building
> "tkeclipse.so" and "tkexdr.so"?
>
> Regards,
> Taku Koyahata
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so

[Kish S. <kis...@gm...>]

>Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.

I suspect that 8.6 will probably work with ECLiPSe. The reason it is
not in the configure is because we developed the Tcl/Tk interface a
long time ago, and have not tested it with 8.6, However, unless 8.6
made some drastic and incompatible changes from previous versions, it
should work.

So I suggest that instead of putting 8.5 into ECLiPSETHIRDPARTY, you
could just modify configure to include 8.6:

Change this line in configure:

    TCL_REQUIRED="8.5 8.4 8.3"

to

    TCL_REQUIRED="8.6 8.5 8.4 8.3"

and run configure and install ECLiPSe again. ILet us know if this
works, and we can either add 8.6 to  configure, pr if you do run into
problems, we can try to fix them so that ECLiPSe will work with 8.6.


Cheers,

Kish

>
>
> Thanks for replying,
>
> Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
> Because it seems difficult to downgrade my tcl8.6, I tried the
> procedures below:
> 1)make directory named /vol/Eclipse/thirdparty/
> 2)download
> https://eclipseclp.org/Distribution/Builds/7.0_54/x86_64_linux/tcltk.tgz
> into this directory
> 3)uncompressed it and rename this folder to tcltk8.5
> 4)do "export ECLIPSTHIRDPARTY=/vol/Eclipse/thirdparty/"
> 5)./configure can find proper tcltk library
>
> I posted whole of my building procedures into my blog
> http://www2.koyahatataku.com/blog/2021/06/22/debianlinux%e3%81%a7eclipse-clp%e3%82%92%e3%83%93%e3%83%ab%e3%83%89%e3%81%99%e3%82%8b/
>
> Regards,
> Taku Koyahata
>
> On 2021/06/17 22:37, Kish Shen wrote:
> >> Are there any special procedure for building
> >> "tkeclipse.so" and "tkexdr.so"?
> >
> > I suspect the reason tkeclipse was not built is because Tcl/Tk was not
> > found during configure.
> > Search the output produce during figure for 'Tcl' - if Tcl/Tk was
> > found, you should see something like:
> >
> > configure: Using Tcl 8.5 in /usr/local
> >
> > if configure did not find Tcl/Tk, this can be because you don't have
> > it installed on your system, or there can be other reasons.
> >
> > You can check if you have Tcl/Tk installed by running Tk with the wish
> > command from your shell:
> >
> > bash-3.2$ wish
> > % echo $tcl_version
> > 8.5
> > % exit
> > bash-3.2$
> >
> > if you are able to run Tcl, print the Tcl version as I did above - it
> > may be your Tcl version is not one that configure looks for.
> >
> > Cheers,
> >
> > Kish
> >
> >
> > _______________________________________________
> > ECLiPSe-CLP-Users mailing list
> > ECL...@li...
> > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> >
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so

[koyahata <koy...@ko...>]

Thanks for replying,

Tcl8.6 is already in my machine but ./configure need 8.3 ,8.4,or 8.5.
Because it seems difficult to downgrade my tcl8.6, I tried the 
procedures below:
1)make directory named /vol/Eclipse/thirdparty/
2)download 
https://eclipseclp.org/Distribution/Builds/7.0_54/x86_64_linux/tcltk.tgz 
into this directory
3)uncompressed it and rename this folder to tcltk8.5
4)do "export ECLIPSTHIRDPARTY=/vol/Eclipse/thirdparty/"
5)./configure can find proper tcltk library

I posted whole of my building procedures into my blog
http://www2.koyahatataku.com/blog/2021/06/22/debianlinux%e3%81%a7eclipse-clp%e3%82%92%e3%83%93%e3%83%ab%e3%83%89%e3%81%99%e3%82%8b/

Regards,
Taku Koyahata

On 2021/06/17 22:37, Kish Shen wrote:
>> Are there any special procedure for building
>> "tkeclipse.so" and "tkexdr.so"?
> 
> I suspect the reason tkeclipse was not built is because Tcl/Tk was not
> found during configure.
> Search the output produce during figure for 'Tcl' - if Tcl/Tk was
> found, you should see something like:
> 
> configure: Using Tcl 8.5 in /usr/local
> 
> if configure did not find Tcl/Tk, this can be because you don't have
> it installed on your system, or there can be other reasons.
> 
> You can check if you have Tcl/Tk installed by running Tk with the wish
> command from your shell:
> 
> bash-3.2$ wish
> % echo $tcl_version
> 8.5
> % exit
> bash-3.2$
> 
> if you are able to run Tcl, print the Tcl version as I did above - it
> may be your Tcl version is not one that configure looks for.
> 
> Cheers,
> 
> Kish
> 
> 
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
> 

[eclipse-clp-users] How to compile using c interface in eclipse

[Manu g. <man...@ho...>]

Hi Developers,

Please inform how to compile using eclipse c interface.  Codeblocks + cygwin + gcc

Embedding and interfacing manual example not compiling in codeblocks Cygwin and throws multiple errors during build process.

Also unable to work with lib file


Warm regards,

Manu
Get Outlook for iOS<https://aka.ms/o0ukef>
________________________________
From: koyahata <koy...@ko...>
Sent: Wednesday, June 16, 2021 11:44:38 PM
To: ecl...@li... <ecl...@li...>
Subject: [eclipse-clp-users] How to build tkexdr.so and tkeclipse.so

Dear ECLiPSe developers,

Hi, I'm trying to install ECLiPSe into debian 10.9 from source code.

I succeeded to build, then I did ./RUNME and added proper path into
$PATH, but tkeclipse cannot be started.
I found the reason: there are no "tkeclipse.so" and "tkexdr.so" in the
directory $ECLIPSEDIR/lib/$ECLIPSEARCH .

These files are not build with procedure below:
1. export ECLIPSEARCH=x86_64_linux
2. ./configure
3. make -f Makefile.$ECLIPSEARCH

Are there any special procedure for building
"tkeclipse.so" and "tkexdr.so"?

Regards,
Taku Koyahata


_______________________________________________
ECLiPSe-CLP-Users mailing list
ECL...@li...
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

Re: [eclipse-clp-users] X is p(a) +1. from Apt/Wallace book

[Kish S. <kis...@gm...>]

Hi Doug,

>How does this work?  I don't understand how p(a,1) becomes numeric.

I think maybe I did not fully understand your question in my previous reply.

p(a, 1) is numeric because the last argument is numeric - The leturn value of
the ast argument of p(a, 1), i.e. 1,  replaces p(1) in the original expression,

When ECLiPSe encounters p(a) when evaluating the expression, In place
of p(a), p(a, Z) is called, and Z replaces p(a). Of course, if p/2 is
not defined,
or if the last argument does not return a numeric value, you will get
a run-time error.

The same applies to the built-in operators, like +/2:

A is 3 + 4 is replaced by
+(3, 4, Z),  A  = Z.

You can see this when there is an error:

[eclipse 28]: A is 4 + X.
instantiation fault in +(4, X, _278)
Abort

Cheers,

Kish


On Thu, Jun 17, 2021 at 1:18 PM Doug Edmunds <dou...@gm...> wrote:
>
> In the Apt/Wallace book Constraint Log Programming Using Eclipse (2007),
> Ch 3 "Arithmetic in Prolog" on pages 45-46 there is this code:
> -------
> To save explicitly introducing such extra variables, ECLiPSe supports
> for is/2 a functional syntax. Let us suppose p/2 is a predicate whose
> last argument is numeric, viz.
>
> p(a, 1).
> p(b, 2).
>
> Then p/1 can be used as a function when it occurs on the right-hand side
> of is, for example:
>
> [eclipse 10]: X is p(a)+1.
>
> X = 2
> Yes (0.00s cpu)
>
> --------
>
> How does this work?  I don't understand how p(a,1) becomes numeric.
>
> Can you point me to some reference to "predicate whose last
> argument is numeric" in the manuals?
>
> Thanks.
>
> -DAE
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

[eclipse-clp-users] Fwd: How to build tkexdr.so and tkeclipse.so

[Kish S. <kis...@gm...>]

>Are there any special procedure for building
>"tkeclipse.so" and "tkexdr.so"?

I suspect the reason tkeclipse was not built is because Tcl/Tk was not
found during configure.
Search the output produce during figure for 'Tcl' - if Tcl/Tk was
found, you should see something like:

configure: Using Tcl 8.5 in /usr/local

if configure did not find Tcl/Tk, this can be because you don't have
it installed on your system, or there can be other reasons.

You can check if you have Tcl/Tk installed by running Tk with the wish
command from your shell:

bash-3.2$ wish
% echo $tcl_version
8.5
% exit
bash-3.2$

if you are able to run Tcl, print the Tcl version as I did above - it
may be your Tcl version is not one that configure looks for.

Cheers,

Kish

Re: [eclipse-clp-users] X is p(a) +1. from Apt/Wallace book

[Kish S. <kis...@gm...>]

Hi Doug,

This is how ECLiPSe evaluate expressions, and is discussed in the user manual:

http://eclipseclp.org/doc/userman/umsroot046.html

and more specifically in the 'User defined arithmetic function' section.

This functionality is also available in other contexts, e.g. for
constraint arithmetic expressions in IC/GFD.

THe reason ECLiPSe can do this is because ECLiPSe (and Prolog in
general) code are all valid data structures (terms) in the language,
and expressions are just terms that can be evaluated..'Normal'
arithmetic operators like +/2 are interpreted as functions, and
ECLiPSe just extend this to user defined functions.

Note that ECLiPSe does have built-in such as +/3:

[eclipse 5]: +(3,4,X).

X = 7

Cheers,

Kish



On Thu, Jun 17, 2021 at 1:18 PM Doug Edmunds <dou...@gm...> wrote:
>
> In the Apt/Wallace book Constraint Log Programming Using Eclipse (2007),
> Ch 3 "Arithmetic in Prolog" on pages 45-46 there is this code:
> -------
> To save explicitly introducing such extra variables, ECLiPSe supports
> for is/2 a functional syntax. Let us suppose p/2 is a predicate whose
> last argument is numeric, viz.
>
> p(a, 1).
> p(b, 2).
>
> Then p/1 can be used as a function when it occurs on the right-hand side
> of is, for example:
>
> [eclipse 10]: X is p(a)+1.
>
> X = 2
> Yes (0.00s cpu)
>
> --------
>
> How does this work?  I don't understand how p(a,1) becomes numeric.
>
> Can you point me to some reference to "predicate whose last
> argument is numeric" in the manuals?
>
> Thanks.
>
> -DAE
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECL...@li...
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users

[eclipse-clp-users] X is p(a) +1. from Apt/Wallace book

[Doug E. <dou...@gm...>]

In the Apt/Wallace book Constraint Log Programming Using Eclipse (2007),
Ch 3 "Arithmetic in Prolog" on pages 45-46 there is this code:
-------
To save explicitly introducing such extra variables, ECLiPSe supports 
for is/2 a functional syntax. Let us suppose p/2 is a predicate whose 
last argument is numeric, viz.

p(a, 1).
p(b, 2).

Then p/1 can be used as a function when it occurs on the right-hand side
of is, for example:

[eclipse 10]: X is p(a)+1.

X = 2
Yes (0.00s cpu)

--------

How does this work?  I don't understand how p(a,1) becomes numeric.

Can you point me to some reference to "predicate whose last
argument is numeric" in the manuals?

Thanks.

-DAE