[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#807637: [sponsor] inform6-library/6.12-1



On 15-Apr-2016, Stephen Kitt wrote:
> On Fri, 15 Apr 2016 21:53:39 +1000, Ben Finney <ben+debian@benfinney.id.au>
> wrote:
> > http://mentors.debian.net/debian/pool/main/i/inform6-library/inform6-library_6.12-1.dsc
> 
> This looks good, the only potential issue I see is that the license
> for infglk.h isn't clear, and its creation date is wrong (1000802).

Oof, I'd missed that. Thank you for spotting it.

> I had a quick poke around but couldn't find the glk2inf.pl tool
> which was used to generate it...

The file ‘infglk.h’ has been updated again in ‘inform6lib’ since
version 6.12, declaring that it uses a version from ‘glk-dev’. The
file is a bundled inclusion from another code base; definitely
non-source form.

The ‘glk-dev’ code base is apparently a tool kit for Glulx
<URL:https://github.com/erkyrath/glk-dev>. It is active, but it has no
tagged releases, no change log. It is declared to be “in the public
domain”.


I see two options:

* I can look at ‘glk-dev’ and maybe package that too, as a build
  dependency for ‘inform6lib’. This would delay the ‘inform6lib’
  inclusion, by an unknown interval.

* I could patch out Glulx support in this initial release of the
  package, while chasing the corresponding source and external
  dependencies needed for possible Glulx support in a future release.

Do you have an opinion on that choice?

-- 
 \     “If you can't annoy somebody there is little point in writing.” |
  `\                                                    —Kingsley Amis |
_o__)                                                                  |
Ben Finney <ben@benfinney.id.au>

Attachment: signature.asc
Description: PGP signature


Reply to: