dev-games/xglk/files/xglk-0.4.11-garglk-extensions.patch

   1 --- xglk/xg_fileref.c~  1999-08-29 21:37:42.000000000 +0100
   2 +++ xglk/xg_fileref.c   2007-12-18 15:41:41.000000000 +0000
   3 @@ -344,6 +344,11 @@
   4    unlink(fref->filename);
   5  }
   6
   7 +char* garglk_fileref_get_name(fileref_t *fref)
   8 +{
   9 +    return fref->filename;
  10 +}
  11 +
  12  /* This should only be called from startup code. */
  13  void glkunix_set_base_file(char *filename)
  14  {
  15 --- xglk/xg_misc.c~     2007-12-18 15:40:56.000000000 +0000
  16 +++ xglk/xg_misc.c      2007-12-18 15:42:00.000000000 +0000
  17 @@ -212,4 +212,20 @@
  18    return char_toupper_table[ch];
  19  }
  20
  21 +void garglk_set_program_name(const char *name)
  22 +{
  23 +}
  24 +
  25 +void garglk_set_program_info(const char *info)
  26 +{
  27 +}
  28 +
  29 +void garglk_set_story_name(const char *name)
  30 +{
  31 +}
  32 +
  33 +void garglk_set_config(const char *name)
  34 +{
  35 +}
  36 +
  37