February 2007 - PPL-devel - BUGSENG Mailman

ppl/Watchdog README.doc
by Roberto Bagnara 18 Feb '07

18 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-18 11:37:19 Added files: Watchdog : README.doc Log message: Explains where to find the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/README.doc?cvsroot=p…

1 0

ppl/interfaces/Prolog GNU/README.gprolog SWI/R ...
by Roberto Bagnara 18 Feb '07

18 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-18 11:36:43 Modified files: interfaces/Prolog/GNU: README.gprolog interfaces/Prolog/SWI: README.swiprolog interfaces/Prolog/YAP: README.yap Log message: Revised for clarity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/README.…

1 0

ppl ./ppl.spec.in ./ppl-0.9-docfiles.patch int ...
by Roberto Bagnara 17 Feb '07

17 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-17 18:56:36 Modified files: . : ppl.spec.in Added files: . : ppl-0.9-docfiles.patch interfaces/Prolog/GNU: README.gprolog interfaces/Prolog/SWI: README.swiprolog interfaces/Prolog/YAP: README.yap Log message: Make `swiprolog-devel' depend on `pl' (at leat 5.6); documentation added. The `yap' package has been renamed `yap-devel' and completed. The `gprolog' package has been renamed `gprolog-devel' and completed. The `ppl_lcdd' and `ppl_lpsol' programs are now in a new `utils' package. The `ppl-config' program is now in the `devel' package. Modified the configuration command so that the `glpk-devel' include files are found. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl-0.9-docfiles.patch?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/README.…

1 0

ppl/src Octagonal_Shape_incremental_strong_clo ...
by Barbara Quartieri 13 Feb '07

13 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-02-13 14:48:43 Modified files: src : Octagonal_Shape_incremental_strong_closure10.hh Log message: Corrected some errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment…

1 0

ppl DarwinPorts_Portfile
by Andrea Cimino 11 Feb '07

11 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: cimino(a)cs.unipr.it 2007-02-11 21:09:01 Modified files: . : DarwinPorts_Portfile Log message: Variant sections removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/DarwinPorts_Portfile.diff?cvs…

1 0

ppl DarwinPorts_Portfile
by Andrea Cimino 11 Feb '07

11 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: cimino(a)cs.unipr.it 2007-02-11 14:26:08 Modified files: . : DarwinPorts_Portfile Log message: Don't require the development snapshots of the Prolog systems, use the stable versions instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/DarwinPorts_Portfile.diff?cvs…

1 0

ppl ppl.spec.in
by Roberto Bagnara 10 Feb '07

10 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-10 22:14:13 Modified files: . : ppl.spec.in Log message: Summaries improved. Started splitting packages into "run-time" and "devel" packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl DarwinPorts_Portfile
by Andrea Cimino 10 Feb '07

10 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: cimino(a)cs.unipr.it 2007-02-10 20:57:07 Added files: . : DarwinPorts_Portfile Log message: Initial revision of a DarwinPort's Portfile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/DarwinPorts_Portfile?cvsroot=…

1 0

ppl ppl.spec.in
by Roberto Bagnara 10 Feb '07

10 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-10 18:14:32 Modified files: . : ppl.spec.in Log message: Do configure with the --disable-rpath option so as to avoid hardcoding the path to search libraries. Do not include libtool archive files. Packages reorganized: we now have `ppl' and `ppl-devel'; `ppl-c' has gone. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl ppl.spec.in
by Roberto Bagnara 10 Feb '07

10 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2007-02-10 15:40:03 Modified files: . : ppl.spec.in Log message: Added the `%%changelog' section. `Release' set to 2. `Packager' and `Vendor' tags removed. `Summary' fields are no longer ended with a dot. The value of the `License' tag is now `GPL'. Removed unused definition of `builddir'. The `Name', `Version' and `Release' tags are now directly defined. Commented out the efinitions of the `Require' and `Prefix' tags. Set the `BuildRequires' tag to `gmp-devel'. Exploit the features of `%%setup', `%%configure', `%%install', `%%post' and `%%postun'. Mixed use of spaces and tabs avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0