From 332873db834d641f4a28a5452cd7d32c373902a7 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 7 Jan 2023 18:54:26 +0000
Subject: [PATCH] Add more functions to nullfe.c

The null get_random_seed required a little care.  It's not OK for it to
return NULL and zero because NULL isn't a valid argument to memcpy()
even with a length of zero (thank you UBSan).  So we return a single
zero byte instead.
---
 nullfe.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/nullfe.c b/nullfe.c
index f55aec7..ee8b4ec 100644
--- a/nullfe.c
+++ b/nullfe.c
@@ -9,6 +9,13 @@
 #include "puzzles.h"
 
 void frontend_default_colour(frontend *fe, float *output) {}
+void get_random_seed(void **randseed, int *randseedsize)
+{ char *c = snewn(1, char); *c = 0; *randseed = c; *randseedsize = 1; }
+void deactivate_timer(frontend *fe) {}
+void activate_timer(frontend *fe) {}
+drawing *drawing_new(const drawing_api *api, midend *me, void *handle)
+{ return NULL; }
+void drawing_free(drawing *dr) {}
 void draw_text(drawing *dr, int x, int y, int fonttype, int fontsize,
                int align, int colour, const char *text) {}
 void draw_rect(drawing *dr, int x, int y, int w, int h, int colour) {}
@@ -49,6 +56,8 @@ struct preset_menu *preset_menu_add_submenu(struct preset_menu *parent,
                                             char *title) {return NULL;}
 void preset_menu_add_preset(struct preset_menu *parent,
                             char *title, game_params *params) {}
+void document_add_puzzle(document *doc, const game *game, game_params *par,
+			 game_state *st, game_state *st2) {}
 
 void fatal(const char *fmt, ...)
 {