[m-dev.] Debian package of Mercury 0.7

[Tyson Richard DOWD]

David Matthew OVERTON wrote:
> > 
> > There are a few more things that need to be done before I can upload it
> > 	- compile using libc6 (ugh)
> > 	- install README.Linux in /usr/doc (probably a few other files
> > 	  too).
> > 	- ask and then wait for them to give me an account on master.
> 
> One other thing I noticed is missing: the release notes that are installed
> in /usr/doc/mercury/RELEASE_NOTES.gz mention that the distribution
> contains ``some extra libraries'' (for CGI, Tk, OpenGL and complex
> numbers), but this stuff isn't included in the Debian package.

Yes, and it probably won't be, because the extras have different
copyrights on them (in fact, "maze" and "fft" don't have copyright
notices, so they certainly can't go in the main debian distribution ;-).

A couple of us discussed this in the office the other day, and decided
that perhaps it would be best to have a mercury-extras package, that
would install these programs (probably to /usr/doc/mercury-extras).
(The clpr stuff has a particularly restrictive looking copyright,
so this will probably have to be done in future releases anyway).

This also involves creating some more tar files.

So here's what I propose:
	- split mercury-0.7.tar.gz into 
	    - mercury-0.7-base.tar.gz		(compiler, libs, samples)
	    - mercury-0.7-extras.tar.gz		(extras hierarchy)
	- build two debian packages for these.

I've also just noticed the samples don't have copyright notices, we
should probably fix that (at least cover them by the top-level README,
or add notices to each file).

-- 
       Tyson Dowd           #          Another great idea from the 
                            #            people who brought you
      trd at .cs.mu.oz.au      #               Beer Milkshakes!
http://www.cs.mu.oz.au/~trd #	         Confidence --- Red Dwarf