Generate temporary hardware.ini from configuration settings.

This patch generates a temporary hardware.ini from the hardware
configuration. The idea is to move as much hw config info as possible
to a single file that the core can read.

Other patches will change how various config info is passed to the
core, from command-line options to the generated hardware.ini.

1 files changed, 8 insertions, 11 deletions

diff --git a/android/utils/ini.h b/android/utils/ini.h
index 83d2027..77d760f 100644
--- a/android/utils/ini.h
+++ b/android/utils/ini.h
@@ -43,17 +43,6 @@ void      iniFile_free( IniFile*  f );
 /* returns the number of (key.value) pairs in an IniFile */
 int       iniFile_getPairCount( IniFile*  f );
 
-/* return a specific (key,value) pair from an IniFile.
- * if the index is not correct, both '*pKey' and '*pValue' will be
- * set to NULL.
- *
- * you should probably use iniFile_getValue() and its variants instead
- */
-void      iniFile_getPair( IniFile*     f,
-                           int          index,
-                           const char* *pKey,
-                           const char* *pValue );
-
 /* returns the value of a given key from an IniFile.
  * NULL if the key is not assigned in the corresponding configuration file
  */
@@ -96,6 +85,14 @@ int     iniFile_getBoolean( IniFile*  f, const char*  key, const char*  defaultV
  */
 int64_t  iniFile_getDiskSize( IniFile*  f, const char*  key, const char*  defaultValue );
 
+/* These functions are used to set values in an IniFile */
+void iniFile_setValue( IniFile* f, const char* key, const char* value );
+void iniFile_setInteger( IniFile* f, const char* key, int value );
+void iniFile_setInt64( IniFile* f, const char* key, int64_t value );
+void iniFile_setDouble( IniFile* f, const char* key, double value );
+void iniFile_setBoolean( IniFile* f, const char* key, int value );
+void iniFile_setDiskSize( IniFile* f, const char* key, int64_t size );
+
 /* */
 
 #endif /* _ANDROID_UTILS_INI_H */