From: Arvid Norlander <anmaster@tele2.se>
Date: Tue, 18 Nov 2008 18:16:37 +0000 (-0500)
Subject: Make ick_datadir const char*
X-Git-Tag: 0.29~185
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=35198797e109ee5da580b5a5d100b2d6b53ee5d8;p=intercal.git

Make ick_datadir const char*
---

diff --git a/src/cesspool.c b/src/cesspool.c
index 43db0ba..097bd73 100644
--- a/src/cesspool.c
+++ b/src/cesspool.c
@@ -84,7 +84,7 @@ LICENSE TERMS
  * give it a sane value just in case it does. (This is referenced by
  * clc-cset.c, but due to the linking-in of the character sets
  * themselves the reference should never be used.) */
-/*@observer@*/ /*@dependent@*/ char* ick_datadir=".";
+/*@observer@*/ /*@dependent@*/ const char* ick_datadir=".";
 
 /**********************************************************************
  *
diff --git a/src/clc-cset.c b/src/clc-cset.c
index 133b595..5807438 100644
--- a/src/clc-cset.c
+++ b/src/clc-cset.c
@@ -93,7 +93,7 @@ static int ick_csetow=0; /* which cset to overwrite ick_next */
 
 /* For help finding files */
 /*@observer@*/ extern char* ick_globalargv0;
-/*@observer@*/ extern char* ick_datadir;
+/*@observer@*/ extern const char* ick_datadir;
 
 /*@-mustfreefresh@*/
 /* because Splint doesn't understand how findandfopen works */
diff --git a/src/convickt.c b/src/convickt.c
index 7c28b03..d12ca38 100644
--- a/src/convickt.c
+++ b/src/convickt.c
@@ -35,7 +35,7 @@ extern int ick_clc_cset_convert(const char* in, /*@partial@*/ char* out, const c
 /* For communication with clc_cset.c */
 /*@observer@*/ char* ick_globalargv0;
 /*@-redef@*/ /* it's never the case that both definitions are used at once */
-/*@observer@*/ /*@dependent@*/ char* ick_datadir;
+/*@observer@*/ /*@dependent@*/ const char* ick_datadir;
 /*@=redef@*/
 /* We want to read the latest versions of the character sets from disk. */
 /*@null@*/ char* ick_clc_cset_atari=0;