diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2020-09-12 09:34:45 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-12 09:34:45 +0000 |
commit | b6236284019a7c7abeb0226da2401cd40c51ac1d (patch) | |
tree | 2ab74d448a8b44e04305d4de42f9c9665dfec0f1 /pkgs/development/libraries/allegro | |
parent | ffdb3d65e475f96dc7f60d367e44a94174c60c7a (diff) | |
parent | 309fb9c03b85e8849869029e8787f70d342f9c0e (diff) |
Merge pull request #97696 from WhittlesJr/allegro-patch
allegro: Add patch to fix fatal build error
Diffstat (limited to 'pkgs/development/libraries/allegro')
-rw-r--r-- | pkgs/development/libraries/allegro/default.nix | 1 | ||||
-rw-r--r-- | pkgs/development/libraries/allegro/encoding.patch | 10 |
2 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/development/libraries/allegro/default.nix b/pkgs/development/libraries/allegro/default.nix index 66611026c092..99d75225036e 100644 --- a/pkgs/development/libraries/allegro/default.nix +++ b/pkgs/development/libraries/allegro/default.nix @@ -14,6 +14,7 @@ stdenv.mkDerivation rec { patches = [ ./nix-unstable-sandbox-fix.patch + ./encoding.patch ]; buildInputs = [ diff --git a/pkgs/development/libraries/allegro/encoding.patch b/pkgs/development/libraries/allegro/encoding.patch new file mode 100644 index 000000000000..1dca94752801 --- /dev/null +++ b/pkgs/development/libraries/allegro/encoding.patch @@ -0,0 +1,10 @@ +--- allegro-4.4.3/docs/src/allegro._tx.orig 2019-02-02 20:28:46.000000000 +0100 ++++ allegro-4.4.3/docs/src/allegro._tx 2019-11-04 11:12:39.352699777 +0100 +@@ -23,6 +23,7 @@ + @man_shortdesc_force1=allegro + @man_shortdesc_force2=Allegro game programming library. + @$\input texinfo ++@$@documentencoding ISO-8859-1 + @$@setfilename allegro.inf + @$@settitle Allegro Manual + @$@setchapternewpage odd
\ No newline at end of file |