eclipse-clp-users — ECLiPSe Users List

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

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

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

Dear ECLiPSe developers,

Hi, I'm trying to install ECLiPSe 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"?

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

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

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] Compiling with Java >= 8

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

Hello,

I am not sure how to submit pull requests with sourceforge, so here it goes. For JDK >= 8 the “javah” has been removed in favour of "javac -h”, so the last rule in JavaInterface/Makefile.in should probably read:

com_parctechnologies_eclipse_NativeEclipse.h : ./src/com/parctechnologies/eclipse/NativeEclipse.java 
	"$(JAVA_BIN)/javac" ./src/com/parctechnologies/eclipse/NativeEclipse.java -h .

Thanks,
Vasily

Re: [eclipse-clp-users] Predicate search/6 over Real Numbers

[<ms...@an...>]

On Sat, 17 Apr 2021, Amine Marref wrote:
> In the page search/6, it says "A generic search routine for finite domains
> or IC", then in the page library(ic) it says "The IC (Interval Constraint)
> library is a hybrid integer/real interval arithmetic constraint solver";
> aren't these "ICs" the same? That's what made me think that search/6 works
> for reals.

The solver library as a whole handles integers and real intervals, but
search/6 in particular only seems to be designed to work on variables with
finite domains.

> Incidentally, is there a way to control how values are tried in locate/4?
> How would I make the solver favorise using the largest values from the
> domain?

Probably the easiest thing would be to invert your variables so that the
values you want to try first are less than the values you want to try
later.  Just multiply each variable by -1.  But you might also consider
writing your own replacement for locate.  I don't think it's a very
complicated algorithm, and then you could try different subranges in
whatever order you want.

> Also, when you said locate/4 and friends, did you mean locate/3 and
> locate/2, or are there other friends as well?

I meant locate/2, locate/3, locate/4, but also squash/3.

-- 
Matthew Skala
ms...@an...                 People before tribes.
https://ansuz.sooke.bc.ca/

Re: [eclipse-clp-users] Predicate search/6 over Real Numbers

[Amine M. <ami...@gm...>]

Thank you Matthew,

In the page search/6 <https://eclipseclp.org/doc/bips/lib/ic/search-6.html>,
it says "A generic *search* routine for finite domains or *IC*", then in
the page library(ic)
<https://eclipseclp.org/doc/bips/lib/ic/index.html#desc> it says "The *IC*
(Interval Constraint) library is a *hybrid integer/real* interval
arithmetic constraint solver"; aren't these "ICs" the same? That's what
made me think that search/6
<https://eclipseclp.org/doc/bips/lib/ic/search-6.html> works for reals.

Incidentally, is there a way to control how values are tried in locate/4
<https://eclipseclp.org/doc/bips/lib/ic/locate-4.html>? How would I make
the solver favorise using the largest values from the domain?
Also, when you said locate/4
<https://eclipseclp.org/doc/bips/lib/ic/locate-4.html> and friends, did you
mean locate/3 <https://eclipseclp.org/doc/bips/lib/ic/locate-3.html> and
locate/2 <https://eclipseclp.org/doc/bips/lib/ic/locate-2.html>, or are
there other friends as well?

Cheers.

On Sat, Apr 17, 2021 at 9:54 PM <ms...@an...> wrote:

> On Sat, 17 Apr 2021, Amine Marref wrote:
> > My understanding from this page is that search/6 also works for real
> values;
> > why is search/6 complaining about integer bounds?
>
> I don't think search/6 works for real values.  The page you linked to says
> "It can currently be used with either the finite domains (if loaded via
> lib(fd_search)), integer IC finite domains, and GFD integer finite domains
> (if loaded via lib(gfd_search))."
>
> Reals aren't on that list, and since search/6 depends on indomain/2 -
> which only works on finite domain variables - it's reasonable to guess it
> wouldn't work on reals.  Maybe at the absolute outside you could implement
> your own replacement for indomain/2 and use that as argument 4 of search/6
> to do a search on real-valued variables.  But you may also get better
> results with locate/4 and friends, which are meant to work with reals.
>
> --
> Matthew Skala
> ms...@an...                 People before tribes.
> https://ansuz.sooke.bc.ca/
>


-- 
marref.org