diff options
Diffstat (limited to 'games')
-rw-r--r-- | games/gturing/Makefile | 8 | ||||
-rw-r--r-- | games/gturing/files/patch-src_turing.h | 12 |
2 files changed, 13 insertions, 7 deletions
diff --git a/games/gturing/Makefile b/games/gturing/Makefile index 54faa4b82891..ed65b75fd5e6 100644 --- a/games/gturing/Makefile +++ b/games/gturing/Makefile @@ -31,12 +31,6 @@ EXAMPLES= 3ones2zeroes.tur add.tur bb3.tur dashnumbers.tur addbin.tur \ bb5.tur dec2bin.tur dec2bin_shift.tur bb2.tur bin2dec.tur \ bin2dec_shift.tur sort.tur subst.tur -.include <bsd.port.pre.mk> - -.if ${OSVERSION} >= 700042 -BROKEN= Broken with gcc 4.2 -.endif - post-patch: @${REINPLACE_CMD} -e 's|-D.*_DISABLE_DEPRECATED||g' \ ${WRKSRC}/configure @@ -53,4 +47,4 @@ post-install: .endfor .endif -.include <bsd.port.post.mk> +.include <bsd.port.mk> diff --git a/games/gturing/files/patch-src_turing.h b/games/gturing/files/patch-src_turing.h new file mode 100644 index 000000000000..b960e5760de4 --- /dev/null +++ b/games/gturing/files/patch-src_turing.h @@ -0,0 +1,12 @@ +--- src/turing.h.orig 2007-11-06 11:32:13.000000000 +0100 ++++ src/turing.h 2007-11-06 11:32:35.000000000 +0100 +@@ -56,9 +56,6 @@ + } + turing; + +-extern gchar states_fname[1024]; +-extern gchar tape_string[1024]; +- + extern turing *turing_new(void); + extern gchar *turing_states_to_string(turing_state *state); + extern gint turing_fread_states(turing *machine, gchar *filename); |