September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 16:48:39 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 16:42:38 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Fixed ocamlc compilation and link flags. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl configure.ac
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 14:08:54 Modified files: . : configure.ac Log message: Restore LIBS after checking for GLPK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Patricia Hill 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-07 14:00:08 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Include the Partially_Reduced_Product.* src files for INPUT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl Watchdog/doc/Makefile.am doc/Makefile.am i ...
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 12:02:10 Modified files: Watchdog/doc : Makefile.am doc : Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/XSB: Makefile.am Log message: `abs_srcdir' is automatically set by Automake: removed redundant definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl ./config.guess ./config.sub Watchdog/confi ...
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 12:01:34 Modified files: . : config.guess config.sub Watchdog : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.sub.diff?cvsr…

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 11:54:21 Modified files: interfaces/OCaml: Makefile.am Log message: Removed useless definition of `abs_srcdir'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl Watchdog/src/Makefile.am Watchdog/utils/Ma ...
by Roberto Bagnara 07 Sep '08

07 Sep '08

1 0

ppl/Watchdog/m4 libtool.m4 ltoptions.m4 ltsuga ...
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 11:51:36 Modified files: Watchdog/m4 : libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4 Log message: Updated from Libtool 2.2.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/libtool.m4.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltoptions.m4.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltsugar.m4.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/m4/ltversion.m4.diff…

1 0

ppl ./ltmain.sh Watchdog/ltmain.sh m4/libtool. ...
by Roberto Bagnara 07 Sep '08

07 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-07 11:50:29 Modified files: . : ltmain.sh Watchdog : ltmain.sh m4 : libtool.m4 ltoptions.m4 ltsugar.m4 ltversion.m4 Log message: Updated from Libtool 2.2.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ltmain.sh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/libtool.m4.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltoptions.m4.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltsugar.m4.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ltversion.m4.diff?cvsroot=…

1 0