+ firm_archops_init(def_params.arch_op_settings);
+
+#ifndef NDEBUG
+ /* integrated debugger extension */
+ firm_init_debugger();
+#endif
+
+#ifdef WITH_LIBCORE
+ /* Process command line and ini file. */
+
+ if(def_params.ini_file) {
+ FILE *f = fopen(def_params.ini_file, "rt");
+ if(f) {
+ lc_opt_from_file(def_params.ini_file, f, NULL);
+ fclose(f);
+ }
+ }
+
+ lc_opt_from_argv(firm_opt_get_root(), def_params.arg_prefix,
+ def_params.argc, def_params.argv, NULL);
+
+#endif
+}