March 2005 - PPL-devel - BUGSENG Mailman

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 29 Mar '05

29 Mar '05

1 0

make distclean purges gpl.txt and fdl.txt
by Michael Tautschnig 29 Mar '05

29 Mar '05

Hello! I just tried the debian-packaging-rules and found, that when it does the initial distclean, gpl.txt and fdl.txt get lost. IMHO this happens due to them being incorporated in DIST_DOCS in doc/Makefile.in, which is added to CLEANFILES. Furthermore, the following changes to debian/rules were required to succeed: --- debian/rules 9 Mar 2005 10:38:51 -0000 1.1 +++ debian/rules 28 Mar 2005 11:54:01 -0000 @@ -28,11 +28,12 @@ CFLAGS += -O2 endif -config.status: configure +config.status: dh_testdir # Add here commands to configure the package. # FIX are all of these required? - aclocal -I m4 && autoheader && automake && autoconf && CFLAGS="$(CFLAGS)" ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info + aclocal-1.9 -I m4 && autoheader && automake-1.9 && autoconf && CFLAGS="$(CFLAGS)" ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info + cd Watchdog ; aclocal-1.9 && autoheader && automake-1.9 && autoconf && CFLAGS="$(CFLAGS)" ./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info ; cd .. ## Architecture build: build-arch build-indep Regards, Michael

3 4

RFC: packaging the PPL for RedHat and Debian
by Roberto Bagnara 29 Mar '05

29 Mar '05

I would like to receive some advice about the packaging of the PPL, both for RedHat/Fedora and for Debian. Things that are not clear to me is 1) how many packages should we have and what should they contain, and 2) how should the packages be named. For RedHat, we currently have a base package called `ppl' containing the core library, plus the documentation and the ppl_lcdd program. Then we have the C, GNU Prolog, SWI Prolog, SICStus Prolog and YAP Prolog interfaces in the `ppl-c', `ppl-gprolog', `ppl-swi', `ppl-sicstus' and `ppl-yap' packages, respectively. The Parma Watchdog Library is currently included in the PPL and has a package called `ppl-pwl'. Finally, debug information if in `ppl-debuginfo'. Michael has suggested that we should name the package `libppl1' and I think he will explain us whether this is an important convention of Debian or just a matter of personal taste. I do not think that, for the PPL, sticking the number after the name is a great idea: our library is so special-purpose that coexistence on one system of multiple incompatible versions is quite unlikely. In the unlikely case this proves to be necessary we will see what to do: e.g., if we have many users depending on PPL 2.45 at the time when we release a backward-incompatible PPL 3.0, we will generate a `libppl2' or `ppl2'. I guess that, with the proposal of naming the package `libppl' instead of `ppl', goes the suggestion that programs like `ppl_lcdd' should not go in that package. The question is now how many packages should we have. Another issue concerns documentation: should it go in the base package, in the `ppl-devel' package, or in a `ppl-doc' package? Should static libraries go to the devel package rather than the base one? Should we provide versions enabled for profiling? By the way: it seems that in Debian development packages use "dev" instead of "devel". Is this correct? I would encourage you to look at %files `ppl.spec.in' in CVS head and come up with proposals on how to package the PPL both on RedHat and on Debian. If you feel you are qualified only on one of these packaging systems, please feel free to disregard the other one (even though at the end I would like to enforce some sort of consistency between the two). All the best, 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

3 27

ppl/doc README.doc
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 16:40:55 Modified files: doc : README.doc Log message: Revert accidental previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/doc Makefile.am
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 16:38:41 Modified files: doc : Makefile.am Log message: Preserve text licences across the clean rules by making CLEANFILES and ALL_TARGETS only refer to files that can be built. Take duplicate text files out of EXTRA_DIST. Take out the dist-hook rule. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/doc README.doc
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 16:37:20 Modified files: doc : README.doc Log message: Preserve text licences across the clean rules by making CLEANFILES and ALL_TARGETS only refer to files that can be built. Take duplicate text files out of EXTRA_DIST. Take out the dist-hook rule. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=p…

1 0

ppl/debian rules
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 16:29:10 Modified files: debian : rules Log message: For the config.status rule add a Watchdog configure command and take out the dependency on configure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl…

1 0

ppl/debian rules
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 12:01:00 Modified files: debian : rules Log message: Add configure flags assignment suggested in Debian autotools-dev README. Change DOC_DIR to libppl-dev (user manual moved to package libppl-dev). Update comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl…

1 0

ppl/debian libppl.doc-base
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 11:50:53 Removed files: debian : libppl.doc-base Log message: Moved to libppl-dev.doc-base.user (user manual moved to package libppl-dev). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.doc-base.diff?c…

1 0

ppl/debian libppl-dev.doc-base.user
by Matthew Mundell 29 Mar '05

29 Mar '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-03-29 11:47:49 Added files: debian : libppl-dev.doc-base.user Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.doc-base.us…

1 0