GNU bug report logs - #34523
Add tetrinet

Previous Next

Full log

View this message in rfc822 format

From: Ricardo Wurmus <rekado <at> elephly.net>
To: pkill9 <at> runbox.com
Cc: 34523 <at> debbugs.gnu.org
Subject: [bug#34523] Add tetrinet
Date: Mon, 18 Feb 2019 11:36:52 +0100

pkill9 <at> runbox.com writes:

> The license is written in the README as
>
> ```
> Distribution/license information
> --------------------------------
> This program is public domain, and may be modified and distributed without
> limitation.
> ```
>
> So I don't know what license to put it as, so I set it as 'expat'.

“expat” is not correct.  Use “public-domain” instead.

> +       #:phases (modify-phases %standard-phases
> +                  (delete 'configure)
> +                  (add-after 'unpack 'fix-install-dir
> +                    (lambda* (#:key outputs #:allow-other-keys)
> +                      (let ((out (assoc-ref outputs "out")))
> +                        (mkdir-p (string-append out "/bin"))
> +                        (substitute* "Makefile"
> +                          (("/usr/games") (string-append out "/bin")))))))))

Can this patching be avoided by passing a make flag instead?

--
Ricardo

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.