// settings.h: Header file\r
//\r
// JPM = Jean-Paul Mari <djipi.mari@gmail.com>\r
+// RG = Richard Goedeken\r
//\r
// Who When What\r
// --- ---------- ------------------------------------------------------------\r
// JPM 06/19/2016 Soft debugger support\r
-// JPM Sept. / 2018 Added the new Models and BIOS handler, and a screenshot settings\r
+// JPM Sept./2018 Added the new Models and BIOS handler, and a screenshot settings\r
+// JPM 10/10/2018 Added search paths in settings\r
+// JPM 04/06/2019 Added ELF sections check\r
+// RG Jan./2021 Linux build fix\r
//\r
\r
#ifndef __SETTINGS_H__\r
#define MAX_PATH _MAX_PATH // Urgh.\r
#endif\r
#endif\r
+#include <stdlib.h>\r
#include <stdint.h>\r
\r
#define MaxMemory1BrowserWindow 4\r
uint32_t frameSkip;\r
uint32_t renderType;\r
uint32_t refresh;\r
+ bool allowM68KExceptionCatch; // Allow M68K exception catch\r
bool allowWritesToROM; // Allow writing to ROM cartdridge\r
uint32_t biosType; // Bios type used\r
uint32_t jaguarModel; // Jaguar model\r
bool displayHWlabels;\r
bool useFastBlitter;\r
bool displayFullSourceFilename;\r
+ bool ELFSectionsCheck;\r
size_t nbrmemory1browserwindow; // Number of memory browser windows\r
size_t DRAM_size; // DRAM size\r
\r
char debuggerROMPath[MAX_PATH];\r
char absROMPath[MAX_PATH];\r
char screenshotPath[MAX_PATH];\r
+ char sourcefilesearchPaths[4096];\r
};\r
\r
// Render types\r