[PPL-devel] Re: RFC: packaging the PPL for RedHat and Debian

[Roberto Bagnara]

Michael Tautschnig wrote:
>> So Matthew, what do we miss to make this Debian packaging system
>> happy?
> 
> 
> Well, my name is not Matthew - but I suggest
> 
> - debian/docs should probably contain BUGS README TODO and CREDITS

TODO is for internal use only.

In contrast, you are not mentioning

ChangeLog
NEWS
README.configure
doc/README.doc

Is the omission intended?  In other words, what is the exact semantics
of the `debian/docs' file?

> - debian/rules is still missing

I am sure one does not start from scratch writing one.
Does Debian provide a standard starting point?
I mean: we have a "configure, make, make install"
build system afterall.
Cheers,

     Roberto

P.S. I am not CCing Matthew or Andrea because they already
      are on ppl-devel.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it