June 2002 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox ppl.sty
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 09:56:05 Modified files: doc : definitions.dox ppl.sty Log message: Better explaning affine transformations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-11 09:19:04 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Grammar for boxes and description of ppl_Polyhedron_get_bounding_box improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/doc definitions.dox
by Patricia Hill 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-11 08:41:27 Modified files: doc : definitions.dox Log message: Added a paragraph on topologies and topological compatibility. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Bugs .cvsignore
by Roberto Bagnara 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-11 05:41:52 Added files: htdocs/Bugs : .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/.cvsignore.diff…

1 0

w3ppl/htdocs Makefile templates/choicebar.tmpl ...
by Roberto Bagnara 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-11 05:40:07 Modified files: htdocs : Makefile htdocs/templates: choicebar.tmpl choicestrip.tmpl Log message: New page about bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Makefile.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/choicebar.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/choicestri…

1 0

w3ppl/htdocs/Documentation bibliography.raw
by Roberto Bagnara 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-11 05:39:43 Modified files: htdocs/Documentation: bibliography.raw Log message: Regenerated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

Re: [SWIPL] plld and libtool
by Jan Wielemaker 10 Jun '02

10 Jun '02

Roberto, > has anyone any experience of using libtool with plld? > To be more specific, I am using libtool to build a library for which I wrote > a SWI-Prolog interface. I am now using an automake rule like > > ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o > plld -pl-options,-g,main., -o $@ $+ -L$(top_builddir)/src/.libs -lppl > > but this has the drawback implied by directly referring to the contents of the > .libs directory. What I would like to say is something like > > ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o > libtool --mode=link plld -pl-options,-g,main., -o $@ $+ $(top_builddir)/src/libppl.la > > so that the right thing happens before and after `make install', but this fails horribly. > Any idea how I could achieve that effect, yet retaining the hope that things will continue to > work also in future releases of SWI-Prolog? > Thanks a lot Actually, libtool and plld for a large part are doing the same thing: provide cross-platform support for linking, notably involving shared-objects/DLLs. In addition, plld provides support for generation mixed Prolog/C executables. I think the correct way is to add libtool compatibility options to plld so it can provide the mixed Prolog/C linking, while using the normal libtool facilities for creating the executable without the Prolog part. My knowledge of libtool is very limited. I'm more than happy to include this type of support on your directions though. Regards --- Jan

1 0

plld and libtool
by Roberto Bagnara 10 Jun '02

10 Jun '02

Hi there, has anyone any experience of using libtool with plld? To be more specific, I am using libtool to build a library for which I wrote a SWI-Prolog interface. I am now using an automake rule like ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o plld -pl-options,-g,main., -o $@ $+ -L$(top_builddir)/src/.libs -lppl but this has the drawback implied by directly referring to the contents of the .libs directory. What I would like to say is something like ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o libtool --mode=link plld -pl-options,-g,main., -o $@ $+ $(top_builddir)/src/libppl.la so that the right thing happens before and after `make install', but this fails horribly. Any idea how I could achieve that effect, yet retaining the hope that things will continue to work also in future releases of SWI-Prolog? Thanks a lot Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 19:54:07 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Fix packaging problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/tests boundingbox1.cc
by Roberto Bagnara 10 Jun '02

10 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-10 19:53:53 Modified files: tests : boundingbox1.cc Log message: Updated so as to abide by the new interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0